OWL API: isSubclassOf方法的良好替代

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.*;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;
import org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory;

public class OWLAPIExample {
    public static void main(String[] args) throws OWLOntologyCreationException {
        // 加载本体文件
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
        OWLOntology ontology = manager.loadOntologyFromOntologyDocument(IRI.create("your_ontology.owl"));

        // 创建OWLReasoner
        OWLReasonerFactory reasonerFactory = new StructuralReasonerFactory();
        OWLReasoner reasoner = reasonerFactory.createReasoner(ontology);

        // 定义类的IRI
        IRI classIRI1 = IRI.create("your_class_1_IRI");
        IRI classIRI2 = IRI.create("your_class_2_IRI");

        // 判断class1是否是class2的子类
        boolean isSubclass = reasoner.getSubClasses(classIRI2).containsEntity(classIRI1);

        if (isSubclass) {
            System.out.println("class1是class2的子类");
        } else {
            System.out.println("class1不是class2的子类");
        }
    }
}