java - 如何在OWLAPI中同步推理机

我和个人有一个小的本体。这些个体中的一些个体应该通过对称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中运行推理程序后，它才会显示正确的方法：



因此问题是：我应该在代码中写些什么才能获得推理机同步对象属性的本体？

最佳答案

这三行：

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);

这将提供推断的公理以增加本体。

关于java - 如何在OWLAPI中同步推理机，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/37075467/