Question

我在Protege 5.0.0中构建了一个小本体。当我运行Hermit 1.3.8.3推理器时，它输出状态为：

Initializing the reasoner by performing the following steps:
class hierarchy
object property hierarchy
data property hierarchy
class assertions
object property assertions
same individuals
HermiT 1.3.8.3 classified in 97ms

另一方面，当我在相同的本体上运行Fact ++时，似乎本体论是不一致的。输出是：

Initializing the reasoner by performing the following steps:
class hierarchy
object property hierarchy
data property hierarchy
class assertions
object property assertions
same individuals  
Error logged
java.io.IOException: invalid url
at javax.swing.JEditorPane.setPage(JEditorPane.java:418)
at org.protege.editor.owl.ui.explanation.io.IntroductoryPanel.createCenterPanel(IntroductoryPanel.java:42)
at org.protege.editor.owl.ui.explanation.io.IntroductoryPanel.<init>(IntroductoryPanel.java:33)
at org.protege.editor.owl.ui.explanation.io.InconsistentOntologyManager.explain(InconsistentOntologyManager.java:37)
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.installRunningReasoner(OWLReasonerManagerImpl.java:436)
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:375)
at java.lang.Thread.run(Thread.java:745)

我应该依赖哪些推荐者。事实++正在抛出异常＆＃34;无效的网址＆＃34;。我该如何解决这个问题？

更新＃1 抱歉，我无法找到发生上述情况的猫头鹰文件。但是，今天同样的事情发生在Hermit抛出Exception但FACT正常工作的另一个文件中：链接到文件是：Link。
隐士抛出的例外是：

 Error 7 Logged at Tue Feb 24 10:27:06 IST 2015
 IOException: invalid url
 javax.swing.JEditorPane.setPage(JEditorPane.java:418)
 org.protege.editor.owl.ui.explanation.io.IntroductoryPanel.createCenterPanel(IntroductoryPanel.java:42)
    org.protege.editor.owl.ui.explanation.io.IntroductoryPanel.<init>(IntroductoryPanel.java:33)
    org.protege.editor.owl.ui.explanation.io.InconsistentOntologyManager.explain(InconsistentOntologyManager.java:37)
    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.installRunningReasoner(OWLReasonerManagerImpl.java:436)
    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:375)
    java.lang.Thread.run(Thread.java:745)

Answer 1

（这对应于 UPDATE 1 中链接的本体）

根据OWL 2 DL标准，本体是不一致的，FaCT ++在那里是正确的。本体不一致的原因如下。

1）本体中有一个数据属性measures，描述为（只剩下相关位）：

<rdf:Description rdf:about="http://www.example.com/tempsensor#measures">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
</rdf:Description>

2）在本体中到处使用此属性是：

<rdf:Description rdf:about="http://www.example.com/tempsensor#ind20">
    <measures rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">24</measures>
    <rdf:type rdf:resource="http://www.example.com/tempsensor#TempSensor"/>
</rdf:Description>

请注意，属性的范围设置为float，但实际个体中使用的值为integer。根据OWL 2规范（Floating-Point Numbers），float和integer是不相交的数据类型。

似乎出于实际原因，HermiT放宽了正式的数据类型限制，而FaCT ++仍然接近标准。

Answer 2

FaCT ++不会抛出IOExceptions，也不会尝试检查IRI的有效性。 Error logged消息让我觉得Protege已经发现某种异常 - 可能是一个不一致的本体异常，但很难从这条消息中看出来。你在Protege中得到任何其他输出吗？可能会在左上角，红色三角形下报告推理错误，而不仅仅是在控制台中。

编辑：这些是引发异常的行：

    URL help = getClass().getResource("InconsistentOntologyHelp.html");
    tp.setPage(help);
    Font font = UIManager.getFont("TextArea.font");

问题似乎是帮助URL不正确 - 在这种情况下可能意味着不存在。不一致的解释似乎无法正常工作。

正如德米特里·萨科夫所指出的那样，有一个问题揭示出来：FaCT ++和HermiT对于本体是否一致或不一致存在分歧。这是一个单独的问题，因为你看到的例外是在Protege代码中生成的，但仍然是一个担心 - 感谢提供一个例子。我将在reasoners＆＃39;上打开一个问题。要调试和修复的页面。

Protege 5.0.0中的reasoners之间的区别

2 个答案: