0

我也在使用来自 Maven 的 HermiT » 1.3.8.1 和来自 maven 的 OWL API 5.0.2。我尝试了将近 2 天来获得推论。我检查了所有示例对我没有用。有这么多版本的推理器和 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 个具有等价关系的类：A、B、C。A 包含 4 个人和 C 2。如果我要求此方法返回 B 的所有实例，它应该返回 6 个实例，因为在这些类中的任何一个中都有等价关系。我做了一个实验，使 B 和 A 的 C 子类等价于 B。A 用推理逻辑获得了 A 和 C 的所有实例。但是等价对隐士不起作用。非常感谢您的帮助！

编辑：我看到我没有通过不调用 Reasoner reasoner = new Reasoner 来使用 Hermit reasoner。我找不到一个例子，它给出了来自一个特定类的所有个人，也推理（equivalentTo，子类）。请提供您正在使用的 owl api 版本隐士或任何其他推理器的版本。带有 depandancies 的 pom 文件也非常棒。只是一个带有 pom 的工作示例。我真的很沮丧，没有一个例子对我有用。

我的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>`
4

1 回答 1

1

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

于 2016-08-11T09:45:55.950 回答