构建一个与 SWRL 中的 makeOWLThing 功能相同的 Java 函数

Question

这是我的 SWRL 规则。它指出，如果一个操作存在并且有一个动作，它需要创建一个 Hold 类型的新变量 h，它具有与操作相同的动作值：

Operation(?op) ^ hasAction(?op, ?action)^ makeOWLThing(?h, ?op)->Hold(?h)^hold_action(?h, ?action))

我使用 OWLapi 创建猫头鹰个体。这是我到目前为止所做的：

for (int j=0; j < operations_true.size(); j++) {
            
    OWLNamedIndividual hold = factory.getOWLNamedIndividual(IRI.create(ontologyIRI + "#hold"+ j));
    hold_set.add(hold); 
    OWLAxiom hActionax = factory.getOWLObjectPropertyAssertionAxiom(hold_action, hold, actionTrue);
    ontologyManager.addAxiom(ontology, hActionax); 
}

actionTrue 是一个已定义的变量，具有已定义的值。我无法了解如何根据每个操作获取每个操作的值。

提前谢谢你。

PS：我这样做的原因是因为 Pellet（不像 SWRLApi）不支持“makeOWLThing”，因此我需要手动编写一个函数来完成同样的工作

Answer 1

要创建一个 Java 函数来执行与您提供的 SWRL 规则相同的工作，您可以使用 OWL API 来创建个人和对象属性断言。这是该函数的示例实现：

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.*;

public void createHoldIndividuals(OWLNamedIndividual operation, OWLObjectProperty hasAction, OWLObjectProperty holdAction) throws OWLOntologyCreationException, OWLOntologyStorageException {
    OWLOntologyManager ontologyManager = OWLManager.createOWLOntologyManager();
    IRI ontologyIRI = IRI.create("http://example.com/ontology");
    OWLOntology ontology = ontologyManager.createOntology(ontologyIRI);
    OWLDataFactory factory = ontologyManager.getOWLDataFactory();

    OWLObjectPropertyAssertionAxiom hasActionAssertion = factory.getOWLObjectPropertyAssertionAxiom(hasAction, operation, null);
    for (OWLNamedIndividual action : ontology.getIndividualsInSignature(hasActionAssertion.getObject())) {
        OWLNamedIndividual hold = factory.getOWLNamedIndividual(IRI.create(ontologyIRI + "#hold_" + action.getIRI().getFragment()));
        ontologyManager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(factory.getOWLClass(IRI.create(ontologyIRI + "#Hold")), hold));
        ontologyManager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(holdAction, hold, action));
    }

    ontologyManager.saveOntology(ontology, System.out);
}

以下是如何使用此函数为具有 hasAction 属性的每个操作创建 Hold 个体：

OWLNamedIndividual operation = ... // get the OWLNamedIndividual representing the operation
OWLObjectProperty hasAction = ... // get the OWLObjectProperty representing the hasAction property
OWLObjectProperty holdAction = ... // get the OWLObjectProperty representing the hold_action property
createHoldIndividuals(operation, hasAction, holdAction);

createHoldIndividuals 函数采用三个参数：表示操作的 OWLNamedIndividual、表示 hasAction 属性的 OWLObjectProperty 和表示 hold_action 属性的 OWLObjectProperty。它首先创建一个 OWLObjectPropertyAssertionAxiom 以获取所有 OWLNamedIndividuals，它们是给定操作的 hasAction 属性的值。然后，对于表示一个动作的每个 OWLNamedIndividual，它创建一个新的 Hold 个体，它带有一个 OWLObjectPropertyAssertionAxiom，通过 hold_action 属性将 Hold 个体与动作个体相关联。最后，它将本体保存到控制台。

另外我想提一下，这个实现假设 hasAction 属性有一个 OWLNamedIndividual 的范围，并且 hold_action 属性是一个对象属性。您可能需要根据您的具体本体修改代码。