Inconsistent ontology: explanation

[matentzn]

You can get a nice explanation for the inconsistent ontology by doing:

sh run.sh robot explain --input swo-edit.owl --reasoner ELK -M inconsistency --explanation inconsistent_explanation.md

Thing SubClassOf Nothing

• symbol SubClassOf information content entity
• continuant DisjointWith occurrent
• generically dependent continuant SubClassOf continuant
• version number SubClassOf symbol
• followed by Domain occurrent
• directly followed by SubPropertyOf: followed by
• information content entity SubClassOf generically dependent continuant
• Microsoft 2002 version Type version number
• Microsoft 2002 version directly followed by Microsoft 2003 version

Axiom Impact

Axioms used 1 times

• generically dependent continuant SubClassOf continuant [obi_import.owl,iao_import.owl]
• symbol SubClassOf information content entity [obi_import.owl,iao_import.owl]
• information content entity SubClassOf generically dependent continuant [omo_import.owl,obi_import.owl,iao_import.owl]
• version number SubClassOf symbol [obi_import.owl,iao_import.owl]
• continuant DisjointWith occurrent [bfo_import.owl,obi_import.owl,iao_import.owl]
• Microsoft 2002 version Type version number [swo.owl]
• Microsoft 2002 version directly followed by Microsoft 2003 version [swo.owl]
• directly followed by SubPropertyOf: followed by [swo.owl]
• followed by Domain occurrent [obi_import.owl]

Ontologies used:

• iao_import.owl (http://purl.obolibrary.org/obo/swo/imports/iao_import.owl)
• swo.owl (http://purl.obolibrary.org/obo/swo.owl)
• omo_import.owl (http://purl.obolibrary.org/obo/swo/imports/omo_import.owl)
• bfo_import.owl (http://purl.obolibrary.org/obo/swo/imports/bfo_import.owl)
• obi_import.owl (http://purl.obolibrary.org/obo/swo/imports/obi_import.owl)