OWL 替换对象和数据 属性 值

Question

我编写了这段代码来替换对象 属性 值：

 public void changeObjectPropertyValue(String ind, String propertyFragment, String newValueFragment) {

        OWLNamedIndividual individualToReplaceValueOn = factory.getOWLNamedIndividual(prefix + ind);
        OWLNamedIndividual newValueInd = factory.getOWLNamedIndividual(prefix + newValueFragment);
        OWLObjectProperty theObjectProperty = factory.getOWLObjectProperty(prefix + propertyFragment);
        OWLIndividual theOldValue = EntitySearcher.getObjectPropertyValues(individualToReplaceValueOn, theObjectProperty, ont).findFirst().get();

        OWLAxiom oldAxiom = factory.getOWLObjectPropertyAssertionAxiom(
                theObjectProperty,
                individualToReplaceValueOn,
                theOldValue);

        OWLAxiom newAxiom = factory.getOWLObjectPropertyAssertionAxiom(
                theObjectProperty,
                individualToReplaceValueOn,
                newValueInd);

        List<OWLOntologyChange> changes = new Vector<OWLOntologyChange>();

        changes.add(new RemoveAxiom(ont, oldAxiom));
        changes.add(new AddAxiom(ont, newAxiom));
        manager.applyChanges(changes);
    }

我想知道这是否是替换值的正确方法，OWLAPI 库中是否有执行此操作的方法？

Answer 1

这是正确的 - 也是在 OWL API 中进行此类更改的唯一方法。公理是不可变的对象，因此除了重新创建公理并更改过程中需要修改的部分之外，没有其他方法可以修改公理。