如何使用 owlapi 确定最小公有分母？

Question

是否有一个现有的方法来确定使用OWLAPI的最不常见的子集？

概念描述的最不常见的子项。C_1, ...,C_n 是最具体的概念描述 C 在给定的DL语言中可表达，该语言包含了 C_1, ..., C_n.

Answer 1

没有专门的函数来做这件事，但是可以对一个类表达式进行归一化，所以一个简单的算法是创建一个联合体并对其进行归一化，从而得到最小公有的子umer（或其近似值）。

更复杂的方法是包括一个推理器（例如，如果发现一些类表达式之间是等价的，或者如果有一个类已经将表达式中的其他类都归入其中，那么就可以简化复杂的类表达式）。