owlapi 中的本体比较

Question

我正在为一个项目使用 OWLAPI，我需要比较两个本体以了解它们之间的差异。这将忽略空白节点，例如，我可以确定两个本体中是否存在相同的 OWL 限制。我不仅需要知道是否存在差异，还需要找出这些差异是什么。 OWLAPI 中是否存在此类功能，oz 是否有相对简单的方法来执行此操作？

Answer 1

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

这对个人来说是不正确的——匿名个人不会被发现在整个本体中是相同的，这是由规范决定的。一个本体中的匿名个体无法在另一个本体中找到，因为匿名个体 ID 的范围仅限于包含本体。

注意:OWLAPI 的单元测试必须执行非常相似的任务，以验证本体可以被解析、编写和再次解析而无需更改(即，在输入语法和输出语法之间往返)，因此有代码您可以查看以获取灵感。参见 TestBase.java - equal() method更多细节。这包括处理匿名个人的不同 ID 的代码。