java - 为什么不能直接使用owlapi中的合并来合并ABox和TBox？

Question

owlapi为我们提供了一个类合并，它允许我们从多个文件/源加载本体，然后将它们合并在一起。现在我将本体分成两个不相交的部分，即一部分用于 TBox 公理，另一部分用于 ABox 断言。所以我只是使用合并作为以下代码，

OWLOntology TBox= m.loadOntologyFromOntologyDocument(new File(("XXXXXXXX/UOBM.owl")));

OWLOntology ABox = m.loadOntologyFromOntologyDocument(new File("XXXX/test.nt"));

OWLOntologyMerger merger = new OWLOntologyMerger(m);
OWLOntology o = merger.createMergedOntology(m, null);

但是，我发现合并本体o中只包含ABox中的类断言，这意味着所有角色断言都不包含在内。我做了很多尝试，最后我通过将属性的类型断言添加到我的 ABox 文件中解决了问题，例如 <http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .

这真的很奇怪，因为这样的断言已经包含在TBox文件中，并且我已经通过合并将TBox和ABox合并了。那么为什么我必须再次手动添加它们呢？这是owlapi的设计问题吗？或者有更好、更常见的方法来解决这个问题吗？

附:
我的ABox文件test.nt相当简单，只包含几个三元组，没有其他任何东西。我也没有在 ABox 中导入 TBox，因为它只包含三元组。
例如原test.nt的内容可以是:

<http://semantics.crl.ibm.com/univ-bench-dl.owl#a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://semantics.crl.ibm.com/univ-bench-dl.owl#LeisureStudent> .
<http://semantics.crl.ibm.com/univ-bench-dl.owl#a> <http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse> <http://semantics.crl.ibm.com/univ-bench-dl.owl#c0> .

第二个三元组无法被识别为对象属性断言。而通过添加另一个三元组来声明 takeCourse 是 test.nt 的对象属性，则可以识别该对象属性。
然而，TBox 中已经有一个声明，声明 takeCourse 是一个对象属性，而不是其他任何东西。既然我已经将 TBox 与我的 ABox 合并了，为什么还要将它再次添加到 ABox 中呢？

Answer 1

您的 abox 文件必须使用 owl:imports 来包含 tbox。如果没有属性声明，abox 就无法正确解析。