search

OPC-ontology / OPC

OPC: A formal ontology in the domain of process chemistry
2 stars 0 forks source link

Unable to reason with HermiT reasoner #11

Closed schaferw closed 3 years ago

schaferw commented 3 years ago

@yongqunh Issue with imported BFO terms:

ERROR 08:55:57 An error occurred during reasoning: Non-simple property 'BFO_0000051' or its inverse appears in the cardinality restriction 'BFO_0000051 min 2 OPC_0000139'.. java.lang.IllegalArgumentException: Non-simple property 'BFO_0000051' or its inverse appears in the cardinality restriction 'BFO_0000051 min 2 OPC_0000139'. at org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager.rewriteAxioms(ObjectPropertyInclusionManager.java:125) ~[na:na] at org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:161) ~[na:na] at org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:211) ~[na:na] at org.semanticweb.HermiT.Reasoner.(Reasoner.java:202) ~[na:na] at org.semanticweb.HermiT.Reasoner.(Reasoner.java:176) ~[na:na] at org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) ~[na:na] at org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) ~[na:na] at org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) ~[na:na] at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) ~[na:na] at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_121]

schaferw commented 3 years ago

issue with crystalline thermodynamic phase. Asserted 'has part' two thermodynamic phases and was a subclass of thermodynamic phase which can only have one be one thermodynamic phase.

Removed the incorrect assertion and was able to enable reasoning.