如何区分推断的公理和明确的公理？

Question

我有一个关于使用OWL API和推理器的基本问题。

我已经尝试了JFact推理器，成功运行了它并得到了大量公理（有些是推断出来的，有些是在原始本体中明确陈述的）。

我需要把它们区分开来，但我实在找不到什么方法来做这件事。

Answer 1

断言公理与推断公理的区别仅仅是因为它们明确地存在于本体论中。

您可以通过以下方式检查本体中是否存在公理：

OWLOntology o = ...
OWLAxiom ax = ...
boolean asserted = o.containsAxiom(ax);

注意：如果一个公理有注释，有可能它不会被theis方法匹配：语义等价但注释不同的公理彼此之间不是equals()（这是W3C规范，不是OWL API决定）。在这种情况下，您可以找到是否使用o.ContainsaXiomIgnoreAnnotations(ax)断言了一个公理。