如何用Hermit 1.3.8.4与OWLApi 3.4.10获取对象属性断言？

嘿，我帮你梳理下怎么在这两个版本的工具里适配获取对象属性断言的代码——毕竟旧版OWLAPI的API签名确实和后来的版本不一样，之前参考的例子得调整下才能用。

核心思路 #

我们需要用Hermit推理机做本体推断，再通过OWLAPI的推断生成器提取出isGrandfather这类对象属性断言。下面是具体的适配步骤：

1. 初始化本体与Hermit推理机
   先加载你的本体，再初始化适配OWLAPI 3.x的Hermit推理机：

   // 创建本体管理器
   OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
   // 加载本地本体文件（替换成你的本体路径）
   OWLOntology ontology = manager.loadOntologyFromOntologyDocument(new File("your-ontology-file.owl"));
   
   // 初始化Hermit推理机（对应OWLAPI 3.4.10的版本）
   ReasonerFactory hermitFactory = new ReasonerFactory();
   OWLReasoner reasoner = hermitFactory.createReasoner(ontology);
   

2. 配置推断生成器获取对象属性断言
   OWLAPI 3.x里，InferredObjectPropertyAssertionGenerator需要通过InferredOntologyGenerator来整合使用，和高版本的直接调用方式不同：

   // 创建推断本体生成器，绑定Hermit推理机
   InferredOntologyGenerator inferredGenerator = new InferredOntologyGenerator(reasoner);
   // 添加对象属性断言的生成器（这一步是关键，专门提取我们要的断言）
   inferredGenerator.addGenerator(new InferredObjectPropertyAssertionGenerator());
   
   // 创建一个空本体来存储推断结果
   OWLOntology inferredOntology = manager.createOntology();
   // 将推断出的所有对象属性断言填充到这个空本体中
   inferredGenerator.fillOntology(manager, inferredOntology);
   

3. 遍历提取目标属性的断言
   现在可以从推断本体里筛选出isGrandfather的所有断言了：

   // 先获取本体中定义的isGrandfather对象属性（替换成你本体的IRI）
   IRI isGrandfatherIRI = IRI.create("http://your-ontology-ns/isGrandfather");
   OWLObjectProperty isGrandfather = manager.getOWLDataFactory().getOWLObjectProperty(isGrandfatherIRI);
   
   // 遍历所有isGrandfather的属性断言
   for (OWLObjectPropertyAssertionAxiom axiom : inferredOntology.getObjectPropertyAssertionAxioms(isGrandfather)) {
       OWLIndividual subject = axiom.getSubject();
       OWLIndividual object = axiom.getObject();
       // 输出格式：isGrandfather Sandro, isGrandfather Sergio
       System.out.printf("isGrandfather %s, isGrandfather %s%n", 
           subject.getIRI().getFragment(), 
           object.getIRI().getFragment());
   }
   

额外注意点 #

• 确保你的本体里有足够的公理支持推理：比如isGrandfather是isFather和isParent的复合属性，或者有传递/逆属性的定义，不然Hermit推理机没法推断出对应的断言。
• 依赖要对应：Hermit 1.3.8.4是专门适配OWLAPI 3.x的，别混用4.x及以上版本的OWLAPI jar包，不然会出现签名不匹配的问题。

内容的提问来源于stack exchange，提问作者erfelipe