使用 Java 推理器推断非平凡的 OWL 超类（或子类）断言

Question

我想在 OWL 中表达以下 DL 断言

A ⊑ B
A ⊑ ∃R

意味着A 是B 的子概念，A 的所有实例都必须与R 有关系。

我用下面的 OWL 本体来表达它：

Prefix(:=<http://example.org/my-ontology#>)

Ontology(<http://example.org/my-ontology>
    Declaration(Class(:A))
    Declaration(Class(:B))

    Declaration(ObjectProperty(:R))

    SubClassOf(:A :B)
    SubClassOf(:A ObjectSomeValuesFrom(:R owl:Thing))
)

我正在使用 HermiT 推理器来检索:A 的所有超类，方式如下：

OWLOntology ontology = TestUtils.ontology;
OWLReasonerFactory reasonerFactory = new StructuralReasonerFactory();
ConsoleProgressMonitor progressMonitor = new ConsoleProgressMonitor();
OWLReasonerConfiguration config = new SimpleConfiguration(progressMonitor);
OWLReasoner reasoner = reasonerFactory.createReasoner(ontology, config);
reasoner.precomputeInferences();

for (OWLClass owlClass : ontology.getClassesInSignature()) {
    if (owlClass.toStringID().contains("#A")) {
        System.out.println("Class=>" + owlClass.toStringID() + "\nSuperClass[");
        System.out.println("\t" + reasoner.getSuperClasses(owlClass, false));
        System.out.println("]");
    }
}

但这只是打印：

Class=>http://example.org/my-ontology#A
SuperClass[
    Nodeset[Node( <http://example.org/my-ontology#B> ), Node( owl:Thing )]
]

如何获取SubClassOf(:A ObjectSomeValuesFrom(:R owl:Thing))的信息？

附：我不能只列出本体中的包含断言，但我必须使用推理器（不一定是 HermiT）来推断它们。

Answer 1

从本体得出的推论是无限的。例如，请参阅this paper。

出于这个原因，推理器通常将推理限制在命名类。 \exists R 不是命名类，因此不会作为推理返回。

要获得所需的推理，您需要通过添加例如为\exists R 命名

C \equiv \exists R

然后推理器将能够推断出A 是C 的子类。