如何在推断和明确公理之间进行区分？

Question

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

我试过JFact Reasoner，成功运行它并获得了很多公理（其中一些推理，其中一些在原始本体中明确声明）。

我需要区分他们，但我真的找不到任何方法来做到这一点。

在OWLClass或其他地方有什么方法吗？

Answer 1

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

您可以检查是否公理的存在本体是这样的：

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

注：如果一个公理注释，这是可能的，它不会被泰斯法匹配：公理在语义上等效但具有不同注释的不是equals()（这是W3C规范，而不是OWL API决定）。在这种情况下，你可以找到一个公理与o.containsAxiomIgnoreAnnotations(ax)。