Hermit Inference 得到一个 class 的所有个体

Question

我正在使用 Maven 的 HermiT » 1.3.8.1 和 Maven 的 OWL API 5.0.2。我尝试了将近 2 天的时间来得出推论。我检查了所有示例，但对我没有用。这么多版本的reasoners和APIS，真的很郁闷。 `

OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
        File file = new File(PATH_MODEL_ALL_OWL);
        OWLOntology ontology = manager.loadOntologyFromOntologyDocument(file);

        OWLReasonerFactory reasonerFactory = new StructuralReasonerFactory();
        OWLReasonerConfiguration config = new SimpleConfiguration();
        OWLReasoner reasoner = reasonerFactory.createReasoner(ontology, config);
        reasoner.precompute();
    private void printIndividualsByclass(OWLOntology ontology, OWLReasoner reasoner, String owlClass) {
    for (OWLClass c : ontology.getClassesInSignature()) {
        if (c.getIRI().getShortForm().equals(owlClass)) {
            NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(c, false);
            System.out.println("Class : " + c.getIRI().getShortForm());
            for (OWLNamedIndividual i : instances.getFlattened()) {
                System.out.println(i.getIRI().getShortForm());
            }
        }
    }

我有 3 个 class 具有等价关系：A、B、C。 A 包含 4 个个体和 C 2。如果我要求此方法 return 我 B 的所有实例它应该 return 6 个实例由于这些 classes 中的任何一个的等价关系。我做了一个实验，让 B 的 C Subclass 和 A 等价于 B。A 得到了 A 和 C 的所有实例，并带有推理逻辑。但不知何故，对等不适用于隐士。非常感谢您的帮助！

编辑：我看到我没有通过调用 Reasoner reasoner = new Reasoner 来使用 Hermit reasoner。我找不到一个例子可以从一个特定的 class 中给出所有个体，也可以进行推理（equivalentTo，Subclass）。请提供 owl api 您正在使用的 hermit 或任何其他 reasoner 的版本。带有 depandancies 的 pom 文件也非常棒。只是一个带有 pom 的工作示例。我真的很沮丧 none 的例子对我有用。

我的 pom 文件：

`<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
        xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
        <modelVersion>4.0.0</modelVersion>
        <groupId>Exporter</groupId>
        <artifactId>Exporter</artifactId>
        <version>0.0.1-SNAPSHOT</version>
        <build>
            <sourceDirectory>src</sourceDirectory>
            <plugins>
                <plugin>
                    <artifactId>maven-compiler-plugin</artifactId>
                    <version>3.5.1</version>
                    <configuration>
                        <source>1.8</source>
                        <target>1.8</target>
                    </configuration>
                </plugin>
            </plugins>
        </build>
        <dependencies>
            <dependency>
                <groupId>net.sourceforge.owlapi</groupId>
                <artifactId>owlapi-distribution</artifactId>
                <version>5.0.2</version>
            </dependency>
            <dependency>
        <groupId>net.sourceforge.owlapi</groupId>
        <artifactId>org.semanticweb.hermit</artifactId>
        <version>1.3.8.500</version>
    </dependency>
    <!-- https://mvnrepository.com/artifact/com.github.ansell.pellet/pellet-owlapiv3 -->

            <dependency>
                <groupId>net.sourceforge.owlapi</groupId>
                <artifactId>owlapi-apibinding</artifactId>
                <version>5.0.2</version>
            </dependency>
            <dependency>
                <groupId>net.sourceforge.owlapi</groupId>
                <artifactId>owlapi-api</artifactId>
                <version>5.0.2</version>
            </dependency>
        </dependencies>
    </project>`

Answer 1

HermiT 1.3.8.1 与 owlapi 5 不兼容。maven 上有可用的兼容版本，版本 1.3.8.500。它是主要 HermiT 代码库的一个分支，它更新了 1.3.8.x 以与 owlapi 5 一起工作（我正在维护 owlapi 5 和这个分支）。

Hermit Inference 得到一个 class 的所有个体

Hermit Inference get all individuals of a class

rdf

owl

pellet

owl-api