owlapi中的本体比较

Question

我正在为一个项目使用OWLAPI，我需要比较两个本体之间的差异。这将忽略空节点，例如，我可以确定两个本体中是否存在相同的OWL限制。我不仅需要知道是否存在差异，而且需要找出那些差异是什么。OWLAPI和oz中是否存在这样的功能，有没有一个相对简单的方法来实现这一点？

Answer 1

匿名类表达式之间的相等不是基于空白节点ID-匿名类表达式仅在文本输出中有空白节点，在内存中这些ID被忽略。因此，在默认情况下，检查本体中是否存在一个公理将为您的diff正确匹配表达式。

对于个体来说，这不是真的--匿名个体在本体中不会被发现是相同的，这是由规范来实现的。一个本体中的匿名个体在另一个本体中找不到，因为匿名个体ID的范围是包含本体的。

注意：OWLAPI的单元测试必须执行一个非常类似的任务，以验证一个本体是否可以被解析、编写和再次解析而不发生更改（即，在输入语法和输出语法之间来回往返），因此有一些代码可以供您查看以获取灵感。有关更多详细信息，请参见testbase.java-equal（）方法。这包括处理匿名个人的不同ID的代码。