Reasoning error when using HermiT on Protege
alcideslopes opened this issue · 0 comments
AgrO term
http://purl.obolibrary.org/obo/AGRO_00000325
Bug/Typo/Error description
The HermiT Reasoner is prompting the following error in Protege:
ERROR 16:06:39 An error occurred during reasoning: Non-simple property '<http://purl.obolibrary.org/obo/RO_0000057>' or its inverse appears in the cardinality restriction 'ObjectMinCardinality(2 <http://purl.obolibrary.org/obo/RO_0000057> <http://purl.obolibrary.org/obo/AGRO_00000325>)'.. java.lang.IllegalArgumentException: Non-simple property '<http://purl.obolibrary.org/obo/RO_0000057>' or its inverse appears in the cardinality restriction 'ObjectMinCardinality(2 <http://purl.obolibrary.org/obo/RO_0000057> <http://purl.obolibrary.org/obo/AGRO_00000325>)'. 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.<init>(Reasoner.java:202) ~[na:na] at org.semanticweb.HermiT.Reasoner.<init>(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]