Galigator
ArrayIndexOutOfBounds - Classifying an anonymous class expression
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))
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
