OWL-API重命名不会删除旧的owl：Thinger中的Thing子类

如何解决OWL-API重命名不会删除旧的owl：Thinger中的Thing子类

在使用owl-api重命名一个类之后，我没有得到我期望的子类列表。我创建了一个小例子来演示。

该本体包含2类：狗和飞盘。然后，我将Dog重命名为Cat。重命名后，owl：Thing子类的列表同时包含Dog和Cat。

这是rename-test.owl文件：

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-Syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://example.org/owl-api/rename/"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
  <owl:Ontology rdf:about="http://example.org/owl-api/rename"/>
  <owl:Class rdf:about="http://example.org/owl-api/rename/Frisbee"/>
  <owl:Class rdf:about="http://example.org/owl-api/rename/Dog"/>
</rdf:RDF>

这是Java测试文件：

package org.example;

import java.io.File;
import java.util.Collections;
import java.util.List;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.FileDocumentSource;
import org.semanticweb.owlapi.io.OWLOntologyDocumentSource;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyChange;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.reasoner.OWLreasoner;
import org.semanticweb.owlapi.reasoner.structural.StructuralreasonerFactory;
import org.semanticweb.owlapi.util.OWLEntityRenamer;

public class OwlapiRenameTest_main {
    
    public static void main(String[] args) {
        
        String owlPath = "c:\\owl-tests\\rename-test.owl";
        String oldUri = "http://example.org/owl-api/rename/Dog";
        String newUri = "http://example.org/owl-api/rename/Cat";
        runRenameTest(owlPath,oldUri,newUri);
    }
    
    static void runRenameTest(String owlPath,String oldUri,String newUri) {
        
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
        OWLOntologyDocumentSource owlFile = new FileDocumentSource(new File(owlPath));
        try {
            OWLOntology ontology = manager.loadOntologyFromOntologyDocument(owlFile);
            OWLreasoner reasoner = new StructuralreasonerFactory().createNonBufferingreasoner(ontology);
            
            dumpStmts(ontology);
            dumpSubclasses(ontology,reasoner);
            
            OWLEntityRenamer renamer = new OWLEntityRenamer(manager,Collections.singleton(ontology));
            List<? extends OWLOntologyChange> changes = renamer.changeIRI(
                    IRI.create(oldUri),IRI.create(newUri));
            manager.applyChanges(changes);
            
            System.out.println("** rename applied **");
            
            //does not help (which it shouldn't anyway for non-buffering reasoner)
            reasoner.flush();

            dumpStmts(ontology);
            dumpSubclasses(ontology,reasoner);
        } catch (OWLOntologyCreationException e) {
            e.printstacktrace();
        }
    }
    
    static void dumpStmts(OWLOntology ontology) {
        
        System.out.println("** dump all start **");
        ontology.axioms().forEach(axiom -> System.out.println("  axiom: " + axiom));
        System.out.println("** dump all end **");
    }
    
    static void dumpSubclasses(OWLOntology ontology,OWLreasoner reasoner) {
        
        System.out.println("** owl:Thing subclasses **");
        OWLClass thingClass = ontology.getoWLOntologyManager().getoWLDataFactory().getoWLClass(
                IRI.create("http://www.w3.org/2002/07/owl#Thing"));
        reasoner.getSubClasses(thingClass,true).entities().forEach(entity ->
                System.out.println("  " + entity.toString()));
    }
}

我得到的输出如下：

** dump all start **
  axiom: Declaration(Class(<http://example.org/owl-api/rename/Frisbee>))
  axiom: Declaration(Class(<http://example.org/owl-api/rename/Dog>))
** dump all end **
** owl:Thing subclasses **
  <http://example.org/owl-api/rename/Frisbee>
  <http://example.org/owl-api/rename/Dog>
** rename applied **
** dump all start **
  axiom: Declaration(Class(<http://example.org/owl-api/rename/Frisbee>))
  axiom: Declaration(Class(<http://example.org/owl-api/rename/Cat>))
** dump all end **
** owl:Thing subclasses **
  <http://example.org/owl-api/rename/Frisbee>
  <http://example.org/owl-api/rename/Dog>
  <http://example.org/owl-api/rename/Cat>

您可以看到，重命名后，Dog类不在公理列表中，但非缓冲推理者认为是这样。

我需要以某种方式调整代码吗？我尝试在没有任何区别的推理机上使用flush（），这对于非缓冲推理机是有意义的。我找不到其他类似的方法可以尝试。我不想自动保存，因为这是用户必须手动保存的OWL编辑器。

解决方法

请勿使用结构推理器。它不适合在现实世界中使用，并且可能会保留不应使用的缓存。只需在本体中写出公理，该本体中就没有足够的功能来工作了。