Skip to content

Uncaught ConcurrentModificationException

  • Protege 5.2.0
  • Debugger 0.1.3.BETA
  • families.owl
  • Select HermiT Reasoner 1.3.8.413 org.semanticweb.hermit-1.3.8.413.jar
  • Default Preferences
  • Move all correct axioms to the possibly faulty axioms
  • Start Session Answer first query the following way: Unbenannt

get the following exception (uncaught)

Uncaught Exception in thread 'Thread-55' java.util.ConcurrentModificationException: null at java.util.HashMap$HashIterator.nextNode(HashMap.java:1429) ~[na:1.8.0 _40] at java.util.HashMap$KeyIterator.next(HashMap.java:1453) ~[na:1.8.0_40] at org.semanticweb.HermiT.hierarchy.InstanceManager.readOffPropertyInsta nces(InstanceManager.java:716) ~[na:na] at org.semanticweb.HermiT.hierarchy.InstanceManager.readOffPropertyInsta ncesByIndividual(InstanceManager.java:573) ~[na:na] at org.semanticweb.HermiT.hierarchy.InstanceManager.initializeKnowAndPos siblePropertyInstances(InstanceManager.java:549) ~[na:na] at org.semanticweb.HermiT.Reasoner.initialisePropertiesInstanceManager(R easoner.java:668) ~[na:na] at org.semanticweb.HermiT.Reasoner.hasObjectPropertyRelationship(Reasone r.java:1890) ~[na:na] at org.semanticweb.HermiT.EntailmentChecker.visit(EntailmentChecker.java :246) ~[na:na] at org.semanticweb.HermiT.EntailmentChecker.visit(EntailmentChecker.java :95) ~[na:na] at uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyAssertionAxiomImpl.ac cept(OWLObjectPropertyAssertionAxiomImpl.java:125) ~[na:na] at org.semanticweb.HermiT.EntailmentChecker.entails(EntailmentChecker.ja va:119) ~[na:na] at org.semanticweb.HermiT.Reasoner.isEntailed(Reasoner.java:740) ~[na:na ] at org.exquisite.core.solver.ExquisiteOWLReasoner.isEntailed(ExquisiteOW LReasoner.java:323) ~[na:na] at org.exquisite.core.solver.AbstractSolver.isConsistent(AbstractSolver. java:61) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.verifyConsistency(Quick XPlain.java:80) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.quickXPlain(QuickXPlain .java:53) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.quickXPlain(QuickXPlain .java:63) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.quickXPlain(QuickXPlain .java:63) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.quickXPlain(QuickXPlain .java:63) ~[na:na] at org.exquisite.core.conflictsearch.QuickXPlain.findConflicts(QuickXPla in.java:42) ~[na:na] at org.exquisite.core.engines.HSTreeEngine.computeLabel(HSTreeEngine.jav a:175) ~[na:na] at org.exquisite.core.engines.HSTreeEngine.label(HSTreeEngine.java:153) ~[na:na] at org.exquisite.core.engines.HSTreeEngine.calculateDiagnoses(HSTreeEngi ne.java:129) ~[na:na] at org.exquisite.protege.Debugger.doCalculateDiagnoses(Debugger.java:587 ) ~[na:na] at org.exquisite.protege.Debugger.doCalculateDiagnosesAndGetQuery(Debugg er.java:610) ~[na:na] at org.exquisite.protege.Debugger.doCommitAndGetNewQuery(Debugger.java:5

  1. ~[na:na] at org.exquisite.protege.Debugger.lambda$doCommitAndGetNewQueryAsync$2(D ebugger.java:514) ~[na:na] at org.exquisite.protege.Debugger$$Lambda$258/1358448634.run(Unknown Sou rce) ~[na:na] at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_40]