Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Inferred Object Property Hierarchy Provider Does Check for Consistent Ontology #328

Closed
csnyulas opened this issue Feb 17, 2016 · 0 comments
Closed

Inferred Object Property Hierarchy Provider Does Check for Consistent Ontology #328

csnyulas opened this issue Feb 17, 2016 · 0 comments

Comments

@csnyulas
Copy link
Member

While testing Protege 5.0.0. beta-22, I created an inconsistent ontology, and ran the HermiT reasoner (v. 1.3.8.413) on it. While the message notifying me about the inconsistency did pop up, and I even had the possibility to get a nice explanation for the underlying reason for the inconsistency, I got the following exception recorded in the log:

Level:       INFO
Time:        1455689202971
Message:     ------------------------------- Running Reasoner -------------------------------

Level:       INFO
Time:        1455689203230
Message:     Pre-computing inferences:

Level:       INFO
Time:        1455689203230
Message:         - class hierarchy

Level:       INFO
Time:        1455689203230
Message:         - object property hierarchy

Level:       INFO
Time:        1455689203231
Message:         - data property hierarchy

Level:       INFO
Time:        1455689203231
Message:         - class assertions

Level:       INFO
Time:        1455689203231
Message:         - object property assertions

Level:       INFO
Time:        1455689203232
Message:         - same individuals

Level:       INFO
Time:        1455689207493
Message:     --------------------------- Computing Justifications ---------------------------

Level:       INFO
Time:        1455689207493
Message:     [Explanation]  Computing justifications for SubClassOf(owl:Thing owl:Nothing)

Level:       INFO
Time:        1455689208206
Message:     [Explanation]  Explanation 1 found

Level:       INFO
Time:        1455689208357
Message:     [Explanation]  A total of 1 explanations have been computed

Level:       INFO
Time:        1455689208359
Message:     

Level:       INFO
Time:        1455689208433
Message:     

Level:       ERROR
Time:        1455689224059
Message:     org.protege.editor.owl.model.hierarchy.property.InferredObjectPropertyHierarchyProvider: Listener org.protege.editor.owl.ui.tree.OWLObjectTree$1@f9d955 has thrown an exception.  Removing bad listener.

Level:       WARN
Time:        1455689224066
Message:     BADLY BEHAVING LISTENER: org.semanticweb.owlapi.reasoner.InconsistentOntologyException: Inconsistent ontology has been removed
java.lang.RuntimeException
StackTrace:  
    org.protege.editor.owl.model.hierarchy.AbstractOWLObjectHierarchyProvider.fireNodeChanged(AbstractOWLObjectHierarchyProvider.java:246)
    org.protege.editor.owl.model.hierarchy.AbstractOWLPropertyHierarchyProvider.handleChanges(AbstractOWLPropertyHierarchyProvider.java:85)
    org.semanticweb.owlapi.model.DefaultChangeBroadcastStrategy.broadcastChanges(DefaultChangeBroadcastStrategy.java:38)
    uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.broadcastChanges(OWLOntologyManagerImpl.java:1443)
    uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.applyChanges(OWLOntologyManagerImpl.java:605)
    org.protege.editor.owl.model.OWLModelManagerImpl.applyChanges(OWLModelManagerImpl.java:724)
    org.protege.editor.owl.ui.frame.AbstractOWLFrameSectionRow.handleEditingFinished(AbstractOWLFrameSectionRow.java:106)
    org.protege.editor.owl.ui.framelist.OWLFrameList.lambda$handleEdit$48(OWLFrameList.java:362)
    org.protege.editor.owl.ui.framelist.OWLFrameList$6.componentHidden(OWLFrameList.java:444)
    java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:190)
    java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
    java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
    java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
    java.awt.Component.processComponentEvent(Component.java:6370)
    java.awt.Component.processEvent(Component.java:6315)
    java.awt.Container.processEvent(Container.java:2236)
    java.awt.Window.processEvent(Window.java:2029)
    java.awt.Component.dispatchEventImpl(Component.java:4891)
    java.awt.Container.dispatchEventImpl(Container.java:2294)
    java.awt.Window.dispatchEventImpl(Window.java:2750)
    java.awt.Component.dispatchEvent(Component.java:4713)
    java.awt.EventQueue.dispatchEventImpl(EventQueue.java:758)
    java.awt.EventQueue.access$500(EventQueue.java:97)
    java.awt.EventQueue$3.run(EventQueue.java:709)
    java.awt.EventQueue$3.run(EventQueue.java:703)
    java.security.AccessController.doPrivileged(Native Method)
    java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
    java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
    java.awt.EventQueue$4.run(EventQueue.java:731)
    java.awt.EventQueue$4.run(EventQueue.java:729)
    java.security.AccessController.doPrivileged(Native Method)
    java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
    java.awt.EventQueue.dispatchEvent(EventQueue.java:728)
    java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
    java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
    java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
    java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
    java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
    java.awt.EventDispatchThread.run(EventDispatchThread.java:82)
          Caused by:
        org.semanticweb.HermiT.Reasoner.throwInconsistentOntologyExceptionIfNecessary(Reasoner.java:2225)
        org.semanticweb.HermiT.Reasoner.checkPreConditions(Reasoner.java:2217)
        org.semanticweb.HermiT.Reasoner.getHierarchyNode(Reasoner.java:1387)
        org.semanticweb.HermiT.Reasoner.getEquivalentObjectProperties(Reasoner.java:1151)
        org.protege.editor.owl.model.hierarchy.property.InferredObjectPropertyHierarchyProvider.getEquivalents(InferredObjectPropertyHierarchyProvider.java:75)
        org.protege.editor.owl.model.hierarchy.property.InferredObjectPropertyHierarchyProvider.getEquivalents(InferredObjectPropertyHierarchyProvider.java:22)
        org.protege.editor.owl.ui.tree.OWLObjectTree.createTreeNode(OWLObjectTree.java:386)
        org.protege.editor.owl.ui.tree.OWLObjectTree.updateNode(OWLObjectTree.java:243)
        org.protege.editor.owl.ui.tree.OWLObjectTree.access$000(OWLObjectTree.java:48)
        org.protege.editor.owl.ui.tree.OWLObjectTree$1.nodeChanged(OWLObjectTree.java:99)
        org.protege.editor.owl.model.hierarchy.AbstractOWLObjectHierarchyProvider.fireNodeChanged(AbstractOWLObjectHierarchyProvider.java:239)
        org.protege.editor.owl.model.hierarchy.AbstractOWLPropertyHierarchyProvider.handleChanges(AbstractOWLPropertyHierarchyProvider.java:85)
        org.semanticweb.owlapi.model.DefaultChangeBroadcastStrategy.broadcastChanges(DefaultChangeBroadcastStrategy.java:38)
        uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.broadcastChanges(OWLOntologyManagerImpl.java:1443)
        uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.applyChanges(OWLOntologyManagerImpl.java:605)
        org.protege.editor.owl.model.OWLModelManagerImpl.applyChanges(OWLModelManagerImpl.java:724)
        org.protege.editor.owl.ui.frame.AbstractOWLFrameSectionRow.handleEditingFinished(AbstractOWLFrameSectionRow.java:106)
        org.protege.editor.owl.ui.framelist.OWLFrameList.lambda$handleEdit$48(OWLFrameList.java:362)
        org.protege.editor.owl.ui.framelist.OWLFrameList$6.componentHidden(OWLFrameList.java:444)
        java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:190)
        java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
        java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
        java.awt.AWTEventMulticaster.componentHidden(AWTEventMulticaster.java:189)
        java.awt.Component.processComponentEvent(Component.java:6370)
        java.awt.Component.processEvent(Component.java:6315)
        java.awt.Container.processEvent(Container.java:2236)
        java.awt.Window.processEvent(Window.java:2029)
        java.awt.Component.dispatchEventImpl(Component.java:4891)
        java.awt.Container.dispatchEventImpl(Container.java:2294)
        java.awt.Window.dispatchEventImpl(Window.java:2750)
        java.awt.Component.dispatchEvent(Component.java:4713)
        java.awt.EventQueue.dispatchEventImpl(EventQueue.java:758)
        java.awt.EventQueue.access$500(EventQueue.java:97)
        java.awt.EventQueue$3.run(EventQueue.java:709)
        java.awt.EventQueue$3.run(EventQueue.java:703)
        java.security.AccessController.doPrivileged(Native Method)
        java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
        java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
        java.awt.EventQueue$4.run(EventQueue.java:731)
        java.awt.EventQueue$4.run(EventQueue.java:729)
        java.security.AccessController.doPrivileged(Native Method)
        java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
        java.awt.EventQueue.dispatchEvent(EventQueue.java:728)
        java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
        java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
        java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
        java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
        java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
        java.awt.EventDispatchThread.run(EventDispatchThread.java:82)
@matthewhorridge matthewhorridge changed the title Badly behaving listener Inferred Object Property Hierarchy Provider Does Check for Consistent Ontology Feb 17, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@csnyulas