对象属性是否有效？

Question

我正在使用 OWL-API 5 来加载我的本体中的所有对象属性公理，如下所示：

File ontology = new File("examples/ontology.owl");
File individual = new File("examples/individuals.owl");
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();

IRI documentIRI = IRI.create(ontology);
IRI ontologyIRI = IRI.create("http://www.semanticweb.org/2020/0/test");

SimpleIRIMapper mapper = new SimpleIRIMapper(ontologyIRI, documentIRI);
manager.getIRIMappers().add(mapper);

OWLOntology kb = manager.loadOntologyFromOntologyDocument(individual);

Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAxioms = kb.axioms(AxiomType.OBJECT_PROPERTY_ASSERTION);
objectPropertyAxioms.forEach(axiom -> {
    System.out.println("Found object property axiom " + axiom);

    OWLIndividual object = axiom.getObject();
    OWLIndividual subject = axiom.getSubject();
    OWLObjectPropertyExpression property = axiom.getProperty();
});

返回：

Found object property axiom ObjectPropertyAssertion(<http://www.semanticweb.org/2020/0/test#Q> <http://www.semanticweb.org/2020/0/test#x> <http://www.semanticweb.org/2020/0/test#y>)

现在，我想确定该属性是否正常工作。这是我迄今为止尝试过的：

if (EntitySearcher.isFunctional(property, kb)) {
    LOGGER.debug("Property " + property + " is declared as functional");
} else {
    LOGGER.debug("Property " + property + " is NOT declared as functional");
}

返回：

Property <http://www.semanticweb.org/2020/0/test#Q> is NOT declared as functional

我认为EntitySearcher.isFunctional(p,o) 正在寻找使指定对象属性起作用的functional object property axioms，这在我的本体中似乎不存在（即ontology.axioms(AxiomType.FUNCTIONAL_OBJECT_PROPERTY) 不返回任何内容）。

---

这就是我的本体中的内容：

<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/2020/0/test#" xml:base="http://www.semanticweb.org/2020/0/test" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xml="http://www.w3.org/XML/1998/namespace" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/2020/0/test"/>

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/2020/0/test#Q">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    </owl:ObjectProperty>
</rdf:RDF>

个人：

<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/2020/0/test#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xml="http://www.w3.org/XML/1998/namespace" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="">
        <owl:imports rdf:resource="http://www.semanticweb.org/2020/0/test"/>
    </owl:Ontology>

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/2020/0/test#x">
        <Q rdf:resource="http://www.semanticweb.org/2020/0/test#y"/>
    </owl:NamedIndividual>

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/2020/0/test#y"/>
</rdf:RDF>

（这两个文件都是使用 Protegé 5.5.0 创建的）。有什么建议么？谢谢。

Answer 1

要回答关于EntitySearcher::isFunctional 的隐含问题，是的，它会检查输入中接收到的属性是否存在函数属性公理。

我相信你的本体有足够的信息。

提供一个完整的例子：

<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/2020/0/test#" xml:base="http://www.semanticweb.org/2020/0/test" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xml="http://www.w3.org/XML/1998/namespace" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:test="http://www.semanticweb.org/owlapi/test#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/2020/0/test"/>
    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/owlapi/test#Q">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    </owl:ObjectProperty>
    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/owlapi/test#x">
        <test:Q rdf:resource="http://www.semanticweb.org/owlapi/test#y"/>
    </owl:NamedIndividual>
    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/owlapi/test#y"/>
</rdf:RDF>

使用此本体，EntitySearcher 在检查功能属性时返回 true。

编辑：在您更新的问题中，您使用的是kb.axioms(AxiomType)，您需要告诉它包含导入。