Skip to content

inconsistent ontology - propertyChainError when running reasoner #1

@n28div

Description

@n28div

The property "isAnnotatorOf" is malformed.
The intended meaning is to link the annotator of a MusicAnnotation to each MusicObservation linked with it.

It should be converted to
:isAnnotatorOf o :includesMusicObservation SubPropertyOf :isAnnotatorOf (the chain is moved to :isAnnotatorOf). To avoid inconsistencies, the domain axioms on :hasAnnotator, the range axiom on :isAnnotatorOf and the disjointness axioms on both properties needs to be removed.

For reference, the error using Hermit is

ERROR  16:13:14  An error occurred during reasoning: The given property hierarchy is not regular.
There is a cyclic dependency involving property <http://purl.org/andreapoltronieri/music-annotation-pattern/isAnnotatorOf>.
java.lang.IllegalArgumentException: The given property hierarchy is not regular.
There is a cyclic dependency involving property <http://purl.org/andreapoltronieri/music-annotation-pattern/isAnnotatorOf>
	at org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager.checkForRegularity(ObjectPropertyInclusionManager.java:665) ~[na:na]
	at org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager.createAutomata(ObjectPropertyInclusionManager.java:196) ~[na:na]
	at org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager.<init>(ObjectPropertyInclusionManager.java:58) ~[na:na]
	at org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:156) ~[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]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions