OWLAPI 4.1x + 限制 + 示例

Question

您好，我正在关注http://owlapi.sourceforge.net/owled2011_tutorial.pdf 以了解并尝试解析 OWL2/RDF 中的本体。我想知道如何获得类中提供的限制，教程中的代码示例以及 github 代码https://github.com/owlcs/owlapi/blob/version4/contract/src/test/java/uk/ac/manchester/owl/owlapi/tutorialowled2011/TutorialSnippetsTestCase.java 中的代码似乎没有显示一个工作示例。 PDF 似乎有较旧的逻辑，并且 github 中的示例似乎已经注释掉了代码。任何想法我都能够获取并打印一个类的属性 - 我将如何为复杂的属性执行此操作，即如果我在类中有以下类型的限制：

<rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="AAA"/>
            <owl:someValuesFrom>
                <owl:Class>
                    <owl:intersectionOf rdf:parseType="Collection">
                        <owl:Restriction>
                            <owl:onProperty rdf:resource="BBB"/>
                            <owl:someValuesFrom rdf:resource="111"/>
                        </owl:Restriction>
                        <owl:Restriction>
                            <owl:onProperty rdf:resource="CCC"/>
                            <owl:hasValue rdf:datatype="xsd;string">SOME VALUE</owl:hasValue>
                        </owl:Restriction>
                    </owl:intersectionOf>
                </owl:Class>
            </owl:someValuesFrom>
        </owl:Restriction>
    </rdfs:subClassOf>

我将如何以编程方式解析它。我正在尝试查看应该查看 API 的哪些方法/类，因为我不熟悉 OWL 和链接数据中的行话。

Answer 1

从一个类的 IRI 开始，例如“http://example.com/startpoint”，你会：

• 获取OWLClass 实例：OWLClass c = owldatafactory.getOWLClass(IRI.create("http://example.com/startpoint"));
• 从声明的本体中检索该类的所有超类：Collection<OWLSubClassOfAxiom> axioms = ontology.getSubClassAxiomsForSubClass(c);
• 对于每个公理，访问超类：for(OWLSubClassOfAxiom ax:axioms){ OWLClassExpression levelOne = ax.getSuperClass();

在您的示例中，这就是 someValuesFrom 对 AAA 的限制。

为了探索任何深度级别的限制，您需要编写一个OWLClassExpressionVisitor（例如，通过扩展OWLClassExpressionVisitorAdapter 类）。在您链接的示例中，一个这样的类是RestrictionVisitor extends OWLClassExpressionVisitorAdapter。

如果我正确理解了您的描述，那么您就是在“类的属性”之后 - 通常的含义是输入类是域的一部分的属性。在此示例中，唯一的此类属性是 AAA，因此您无需更深入地访问即可找到它们。这个定义的复杂之处在于AAA 的范围，它由另外两个类表达式组成。