sparql - 本体 : Inferred superclass of individual

Question

我正在使用具有以下简单本体的 Protege 4.3(也尝试过 5-beta):

Class: Person


Class: Man

    SubClassOf: 
        Person


Individual: John

    Types: 
        Man

接下来，我启动 Reasoner Hermit 1.3.8，但未将 John 推断为一个人。此外，以下 SPARQL 不返回任何内容:

PREFIX this: <http://www.semanticweb.org/ontologies/2015/6/untitled-ontology-18#>

SELECT ?subject
    WHERE { ?subject a this:Person }

你对我理解错误的地方有什么建议吗？

Answer 1

关于子类 Man 到父类(super class) Person 的“缺​​失”推理:

Protégé 不会在其父类(super class)中显示子类的个体，即使推理器处于事件状态也是如此。但是，正如您已经看到的那样，推理是有效的。以下两个示例都将 John 作为 Person 类的个体返回:

SPARQL + Reasoner(Snap SPARQL 插件 4.2.0 + HermiT 1.3.8.413)

PREFIX this: <urn:absolute:test#>

SELECT ?subject
    WHERE { ?subject a this:Person }

DL-Query + Reasoner(DL-Query 4.0.1 + HermiT 1.3.8.413)

Person

另一种使其显而易见的方法是导出包含所有推断公理的本体("file"->“将推断公理导出为本体...”)。生成的本体包含 John 的两个类断言，一个是Man，一个是Person。

我假设在处理可能包含许多人的更大本体时，此行为可使 GUI 可用。从 Protégé 5.1.0 开始，似乎没有办法改变这种行为。