When doing some subsumption tests with the attached ontology (exchangemodel.owl - taken from an available dataset for competency questions - I attach it as .txt as github does not allow to upload .owl files apparently),
ObjectExactCardinality(1 http://www.demcare.eu/ontologies/exchangemodel.owl#providedBy ObjectUnionOf(http://www.demcare.eu/ontologies/event.owl#Person http://www.demcare.eu/ontologies/exchangemodel.owl#ProcessingComponent http://www.demcare.eu/ontologies/exchangemodel.owl#Sensor))
exchangemodel-MERGED.owl.txt
it raises the following exception:
va.lang.ArrayIndexOutOfBoundsException: Index 2 out of bounds for length 2
at openllet.core.tableau.branch.DisjunctionBranch.tryBranch(DisjunctionBranch.java:164)
at openllet.core.tableau.branch.Branch.tryNext(Branch.java:130)
at openllet.core.tableau.completion.rule.ChooseRule.apply(ChooseRule.java:80)
at openllet.core.tableau.completion.rule.ChooseRule.apply(ChooseRule.java:53)
at openllet.core.tableau.completion.rule.AbstractTableauRule.apply(AbstractTableauRule.java:106)
at openllet.core.tableau.completion.SROIQStrategy.complete(SROIQStrategy.java:150)
at openllet.core.boxes.abox.ABoxImpl.lambda$isConsistent$12(ABoxImpl.java:1417)
at openllet.core.utils.Timers.execute(Timers.java:118)
at openllet.core.boxes.abox.ABoxImpl.isConsistent(ABoxImpl.java:1417)
at openllet.core.boxes.abox.ABoxImpl.isSatisfiable(ABoxImpl.java:621)
at openllet.core.boxes.abox.ABoxImpl.isSubClassOf(ABoxImpl.java:566)
at openllet.core.knowledge.ClassesBase.isSubClassOf(ClassesBase.java:60)
at openllet.core.KnowledgeBaseImplFullSync.isSubClassOf(KnowledgeBaseImplFullSync.java:727)
at openllet.owlapi.EntailmentChecker.visit(EntailmentChecker.java:190)
at org.semanticweb.owlapi.model.OWLSubClassOfAxiom.accept(OWLSubClassOfAxiom.java:92)
at openllet.owlapi.EntailmentChecker.isEntailed(EntailmentChecker.java:122)
at openllet.owlapi.EntailmentChecker.lambda$isEntailed$0(EntailmentChecker.java:131)
at java.base/java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:178)
at java.base/java.util.Collections$2.tryAdvance(Collections.java:4853)
at java.base/java.util.stream.ReferencePipeline.forEachWithCancel(ReferencePipeline.java:129)
at java.base/java.util.stream.AbstractPipeline.copyIntoWithCancel(AbstractPipeline.java:527)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:513)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
at java.base/java.util.stream.FindOps$FindOp.evaluateSequential(FindOps.java:150)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.findAny(ReferencePipeline.java:652)
at openllet.owlapi.EntailmentChecker.isEntailed(EntailmentChecker.java:131)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1061)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1072)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1046
When doing some subsumption tests with the attached ontology (exchangemodel.owl - taken from an available dataset for competency questions - I attach it as .txt as github does not allow to upload .owl files apparently),
ObjectExactCardinality(1 http://www.demcare.eu/ontologies/exchangemodel.owl#providedBy ObjectUnionOf(http://www.demcare.eu/ontologies/event.owl#Person http://www.demcare.eu/ontologies/exchangemodel.owl#ProcessingComponent http://www.demcare.eu/ontologies/exchangemodel.owl#Sensor))
exchangemodel-MERGED.owl.txt
it raises the following exception:
va.lang.ArrayIndexOutOfBoundsException: Index 2 out of bounds for length 2
at openllet.core.tableau.branch.DisjunctionBranch.tryBranch(DisjunctionBranch.java:164)
at openllet.core.tableau.branch.Branch.tryNext(Branch.java:130)
at openllet.core.tableau.completion.rule.ChooseRule.apply(ChooseRule.java:80)
at openllet.core.tableau.completion.rule.ChooseRule.apply(ChooseRule.java:53)
at openllet.core.tableau.completion.rule.AbstractTableauRule.apply(AbstractTableauRule.java:106)
at openllet.core.tableau.completion.SROIQStrategy.complete(SROIQStrategy.java:150)
at openllet.core.boxes.abox.ABoxImpl.lambda$isConsistent$12(ABoxImpl.java:1417)
at openllet.core.utils.Timers.execute(Timers.java:118)
at openllet.core.boxes.abox.ABoxImpl.isConsistent(ABoxImpl.java:1417)
at openllet.core.boxes.abox.ABoxImpl.isSatisfiable(ABoxImpl.java:621)
at openllet.core.boxes.abox.ABoxImpl.isSubClassOf(ABoxImpl.java:566)
at openllet.core.knowledge.ClassesBase.isSubClassOf(ClassesBase.java:60)
at openllet.core.KnowledgeBaseImplFullSync.isSubClassOf(KnowledgeBaseImplFullSync.java:727)
at openllet.owlapi.EntailmentChecker.visit(EntailmentChecker.java:190)
at org.semanticweb.owlapi.model.OWLSubClassOfAxiom.accept(OWLSubClassOfAxiom.java:92)
at openllet.owlapi.EntailmentChecker.isEntailed(EntailmentChecker.java:122)
at openllet.owlapi.EntailmentChecker.lambda$isEntailed$0(EntailmentChecker.java:131)
at java.base/java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:178)
at java.base/java.util.Collections$2.tryAdvance(Collections.java:4853)
at java.base/java.util.stream.ReferencePipeline.forEachWithCancel(ReferencePipeline.java:129)
at java.base/java.util.stream.AbstractPipeline.copyIntoWithCancel(AbstractPipeline.java:527)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:513)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
at java.base/java.util.stream.FindOps$FindOp.evaluateSequential(FindOps.java:150)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.findAny(ReferencePipeline.java:652)
at openllet.owlapi.EntailmentChecker.isEntailed(EntailmentChecker.java:131)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1061)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1072)
at openllet.owlapi.PelletReasoner.isEntailed(PelletReasoner.java:1046