1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiPUB_SYNCFILES = dol-rdf.omn dol-rdf.owl dol-xml.rnc schemas.xml test.dox README
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# TODO consistency check of an OWL ontology with Hets
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# $ hets -I -i owl file.omn
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# > nodes // this needs to be automated
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# > dg basic NODE-NAME
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# > cons-checker Pellet // or Fact
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# > check-consistency
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# 1. expand some OWL entailments
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# 2. remove leading whilespace
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# 3. filter out any triples with subjects from namespaces that are not part of the dataset:
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# * blank nodes: not used in the subgraph that we are interested in
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# * local N3 rules
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski# * OWL, RDFS, and annotation vocabularies
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski cwm --rdf $< $(OWL) $(RDFS) --n3 $(LIB)/some-owl-inferences.n3 annotate-owl-inverses.n3 --think --ntriples $(CWM_DEFAULT_ARGS) \
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski | grep -E '^(_:|<http://purl\.net/dol/1\.0)' \