OWL API：遍历导入的本体

Question

我正在尝试将一个本体导入主本体，并遍历所有类：

     manager = OWLManager.createOWLOntologyManager();
            ontology = manager.loadOntologyFromOntologyDocument(new File("data/prim.owl"));
            factory = manager.getOWLDataFactory();
            OWLImportsDeclaration im = factory.getOWLImportsDeclaration(IRI.create("https://protege.stanford.edu/ontologies/pizza/pizza.owl"));
            manager.applyChange(new AddImport(ontology,im));
            reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology);

我正在运行这段代码来获取所有类：

      //*********************
            Set<OWLClass> allCls = ontology.getClassesInSignature();
            allCls.forEach(System.out::println);

返回属于prim.owl的类，但不返回导入本体（pizza.owl）中的类。

Answer 1

问题中的代码包含一个错误：它没有将所需的导入本体（披萨）加载到管理器中。

OWLImportsDeclaration im = factory.getOWLImportsDeclaration(IRI.create("https://protege.stanford.edu/ontologies/pizza/pizza.owl"));
manager.applyChange(new AddImport(ontology,im));

这些行只是将owl:imports 声明添加到pizza-iri 的本体标题（_:x a owl:Ontology）中。

要使代码正常工作，您需要单独加载比萨本体：

OWLOntology pizza = manager.loadOntology(IRI.create("https://protege.stanford.edu/ontologies/pizza/pizza.owl"));
OWLImportsDeclaration im = factory.getOWLImportsDeclaration(pizza.getOntologyID().getOntologyIRI().orElseThrow(AssertionError::new));
manager.applyChange(new AddImport(ontology, im));

现在您可以检查所有导入和引用是否确实存在且正确，因此，您的本体具有对比萨饼本体的引用：

Assert.assertEquals(1, ontology.importsDeclarations().count());
Assert.assertEquals(1, ontology.imports().count());
Assert.assertEquals(2, manager.ontologies().count());

然后您可以从两个本体中获取所有 OWL 类作为单个集合或 java-Stream：

ontology.classesInSignature(Imports.INCLUDED).forEach(System.err::println);

另外请注意：Set<OWLClass> getClassesInSignature(boolean includeImportsClosure) 方法已被弃用（在 OWL-API v5 中）。