Annotations on inferred axioms

[ykazakov]

Protege 5.0.0 displays an annotation editing button "@" also for inferred axioms, e.g., that InterestingPizza ins a sub-class of Pizza in the screenshot below.

However, an attempt to add an annotation to such records results in NPE for me (see below).
I think that the reason is that the ontology is null for the inferred axioms.
(this seems to be how Protege detects if an axiom is inferred in AbstractOWLFrameSectionRow)

A fix should probably be either:

• Do not display the button "@" for inferred axioms or,
• Add the annotations for the inferred axioms to the active ontology (where they were inferred). Who knows, perhaps somebody wants to keep track of the inferred axioms this way?

Level: ERROR Time: 1467101738961 Message: Uncaught Exception in thread 'AWT-EventQueue-0' java.lang.NullPointerException StackTrace: org.semanticweb.owlapi.util.OWLAPIPreconditions.checkNotNull(OWLAPIPreconditions.java:98) org.semanticweb.owlapi.model.OWLOntologyChange.<init>(OWLOntologyChange.java:41) org.semanticweb.owlapi.model.OWLAxiomChange.<init>(OWLAxiomChange.java:39) org.semanticweb.owlapi.model.RemoveAxiom.<init>(RemoveAxiom.java:38) org.protege.editor.owl.ui.axiom.AxiomAnnotationsList.getAddChanges(AxiomAnnotationsList.java:47) org.protege.editor.owl.ui.list.AbstractAnnotationsList.handleAdd(AbstractAnnotationsList.java:103) org.protege.editor.core.ui.list.MList.lambda$new$5(MList.java:43) org.protege.editor.core.ui.list.MList.handleMouseClick(MList.java:206) org.protege.editor.core.ui.list.MList.access$200(MList.java:21) org.protege.editor.core.ui.list.MList$3.mouseReleased(MList.java:104) java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:290) java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289) java.awt.Component.processMouseEvent(Component.java:6535) javax.swing.JComponent.processMouseEvent(JComponent.java:3324) java.awt.Component.processEvent(Component.java:6300) java.awt.Container.processEvent(Container.java:2236) java.awt.Component.dispatchEventImpl(Component.java:4891) java.awt.Container.dispatchEventImpl(Container.java:2294) java.awt.Component.dispatchEvent(Component.java:4713) java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4888) java.awt.LightweightDispatcher.processMouseEvent(Container.java:4525) java.awt.LightweightDispatcher.dispatchEvent(Container.java:4466) java.awt.Container.dispatchEventImpl(Container.java:2280) 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.pumpEventsForFilter(EventDispatchThread.java:109) java.awt.WaitDispatchSupport$2.run(WaitDispatchSupport.java:184) java.awt.WaitDispatchSupport$4.run(WaitDispatchSupport.java:229) java.awt.WaitDispatchSupport$4.run(WaitDispatchSupport.java:227) java.security.AccessController.doPrivileged(Native Method) java.awt.WaitDispatchSupport.enter(WaitDispatchSupport.java:227) java.awt.Dialog.show(Dialog.java:1084) java.awt.Component.show(Component.java:1673) java.awt.Component.setVisible(Component.java:1625) java.awt.Window.setVisible(Window.java:1014) java.awt.Dialog.setVisible(Dialog.java:1005) org.protege.editor.core.ui.util.JOptionPaneEx.showConfirmDialog(JOptionPaneEx.java:38) org.protege.editor.owl.ui.UIHelper.showDialog(UIHelper.java:141) org.protege.editor.owl.ui.framelist.OWLFrameList.invokeAxiomAnnotationHandler(OWLFrameList.java:523) org.protege.editor.owl.ui.framelist.OWLFrameList.lambda$new$46(OWLFrameList.java:139) org.protege.editor.core.ui.list.MList.handleMouseClick(MList.java:206) org.protege.editor.core.ui.list.MList.access$200(MList.java:21) org.protege.editor.core.ui.list.MList$3.mouseReleased(MList.java:104) java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:290) java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289) java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289) java.awt.Component.processMouseEvent(Component.java:6535) javax.swing.JComponent.processMouseEvent(JComponent.java:3324) java.awt.Component.processEvent(Component.java:6300) java.awt.Container.processEvent(Container.java:2236) java.awt.Component.dispatchEventImpl(Component.java:4891) java.awt.Container.dispatchEventImpl(Container.java:2294) java.awt.Component.dispatchEvent(Component.java:4713) java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4888) java.awt.LightweightDispatcher.processMouseEvent(Container.java:4525) java.awt.LightweightDispatcher.dispatchEvent(Container.java:4466) java.awt.Container.dispatchEventImpl(Container.java:2280) 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)