Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] How to check the inconsistence

Yu Lin linikujp at yahoo.co.jp
Wed Oct 20 16:31:13 PDT 2010


Hi, Dear all,

I am using protege 4.1 version, and HermiT reasoner 1.3.1

The program shows the following inconsistence log:

Error 221 Logged at Thu Oct 21 08:14:13 JST 2010
InconsistentOntologyException: Inconsistent ontology
   
org.semanticweb.HermiT.Reasoner.throwInconsistentOntologyExceptionIfNecessary(Unknown


Source)
   
org.semanticweb.HermiT.Reasoner.checkPreConditions(Unknown
Source)
    org.semanticweb.HermiT.Reasoner.isSatisfiable(Unknown
Source)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer$1.run(OWLCellRenderer.java:766)
   
org.protege.editor.owl.model.inference.ReasonerPreferences.executeTask

(ReasonerPreferences.java:181)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer.renderToken

(OWLCellRenderer.java:763)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer.highlightText

(OWLCellRenderer.java:721)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer.prepareTextPane

(OWLCellRenderer.java:698)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer.prepareRenderer

(OWLCellRenderer.java:469)
   
org.protege.editor.owl.ui.renderer.OWLCellRenderer.getTreeCellRendererComponent

(OWLCellRenderer.java:361)
   
org.protege.editor.owl.ui.tree.OWLObjectTreeCellRenderer.getTreeCellRendererComponent

(OWLObjectTreeCellRenderer.java:34)
    javax.swing.plaf.basic.BasicTreeUI.paintRow(Unknown
Source)
    javax.swing.plaf.basic.BasicTreeUI.paint(Unknown
Source)
    javax.swing.plaf.ComponentUI.update(Unknown Source)
    javax.swing.JComponent.paintComponent(Unknown Source)
   
org.protege.editor.owl.ui.tree.OWLObjectTree.paintComponent(OWLObjectTree.java:666)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JViewport.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JSplitPane.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JSplitPane.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
    javax.swing.JLayeredPane.paint(Unknown Source)
    javax.swing.JComponent.paintChildren(Unknown Source)
    javax.swing.JComponent.paint(Unknown Source)
   
javax.swing.JComponent.paintWithOffscreenBuffer(Unknown
Source)
    javax.swing.JComponent.paintDoubleBuffered(Unknown
Source)
    javax.swing.JComponent._paintImmediately(Unknown
Source)
    javax.swing.JComponent.paintImmediately(Unknown
Source)
    javax.swing.RepaintManager.paintDirtyRegions(Unknown
Source)
   
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown
Source)
    java.awt.event.InvocationEvent.dispatch(Unknown
Source)
    java.awt.EventQueue.dispatchEvent(Unknown Source)
   
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
   
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
    java.awt.EventDispatchThread.pumpEvents(Unknown
Source)
    java.awt.EventDispatchThread.pumpEvents(Unknown
Source)
    java.awt.EventDispatchThread.run(Unknown Source)
------------------------------------------------------------------------------------------

---------

I had no idea of what are these codes talking about. 
Could anyone please tell me how to find a clue for solving
the problem?

The previous version of protege can give intructions on
which terms or porperties are inconsistent with each
other. Unfortunately, in Protege 4 this function has been
deleted. :(


Thank you very much.

Yours sincerely,
Aisyah Yu Lin



More information about the protege-discussion mailing list