如何在OWLAPI中同步推理器

Question

我和这些人有一个小的本体论。其中一些人应该通过对称ObjectProperty相互联系。

我需要使用Pellet推理器，以便它可以同步并将对称ObjectProperty附加到个人身上。

我使用OWLAPI来创建本体。我创建ObjectProperty的代码是：

// create the OWLObjectProperty isLinkedTo
OWLObjectProperty isLinkedTo = factory.getOWLObjectProperty(IRI.create(ontologyIRI + "#" +hasLinkStr));
// create a set for the axioms (OPAS - Obj.Prop.Axioms Set)
Set<OWLAxiom> isLinkedOPAS = new HashSet<OWLAxiom>();
// add the OWLObjectProperty isLinkedTo to the set isLinkedOPAS
OWLNamedIndividual prevNamedInd = factory.getOWLNamedIndividual(prevIndividual, pm);
isLinkedOPAS.add(factory.getOWLSymmetricObjectPropertyAxiom(isLinkedTo));
//setting the object property for the current (namedInd) and previous (prevNamedInd)individuals
isLinkedOPAS.add(factory.getOWLObjectPropertyAssertionAxiom(isLinkedTo, namedInd, prevNamedInd));
manager.addAxioms(ontology, isLinkedOPAS);

这些人是一个接一个地创造出来的。下一个具有对称属性的下一个isLinkedTo前一个。

然后，我开始推理，但我不确定我是否以正确的方式做到了：

OWLReasoner reasoner = reasonerFactory.createReasoner(ontology, config);
// I am not sure which of these commands is necessary for checking the ObjectProperty assertions
reasoner.precomputeInferences();
reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_ASSERTIONS);
reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_HIERARCHY);
boolean consistent = reasoner.isConsistent();
System.out.println("Consistent: " + consistent);

当我在Protege中打开这个本体时，它向我显示了个体，但没有与ObjectProperty对称地“连接”isLinkedTo：

只有在Protege中运行推理器后才能显示正确的方法：

所以问题是：我应该在代码中编写什么才能获得推理器同步对象属性的本体？

Answer 1

这三行：

reasoner.precomputeInferences();
reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_ASSERTIONS);
reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_HIERARCHY);

可替换为：

reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_ASSERTIONS,
                              InferenceType.OBJECT_PROPERTY_HIERARCHY);

然而，对于大多数推理者而言，这与以下内容没有区别：

reasoner.precomputeInferences(InferenceType.values());

为了在不运行推理器的情况下查看推断的公理，您可以使用     org.semanticweb.owlapi.util.InferredPropertyAssertionGenerator：

InferredPropertyAssertionGenerator generator = new InferredPropertyAssertionGenerator();
Set<OWLAxiom> axioms = generator.createAxioms(factory, reasoner);

这将提供推断的公理，以添加到本体。