如何在推斷和明確公理之間進行區分？

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)。