如何寫一個OWL讓推理者在推斷公理中做推理公式時讓推理公理做推理公式

Question

對象屬性有距離，我不知道推理公理是否可以在顯示推斷公理時做出排序，並且想這樣試試。在小數

但滿足誤差有爲十進制值的基因A和B基因範圍之間的距離在0 想如果具有更多的基因C和d顯示基因

的排序，並且具有距離在A和C之間，C和D，A和D等等，具有一個距離屬性似乎還不夠，在這種情況下如何定義好？

哪種算法可以按多對的距離排序？

是它由距離第一排序和啓動的最小距離（A，B），然後第二最小距離，因爲A是B的鄰居，C爲b的鄰居，然後附加下一個C到B

如果這很簡單，爲什麼需要使用掃描和修剪？

a 2 b 3 c 

a b 2 
a c 5 
b c 3 

a b 2 
b c 3 
a c 5 


Gene 
and (distance some decimal[ >"0.0", <"2.0"]) 

Answer 1

的OWLReasoner接口指定設置爲輸出，所以推斷公理的順序不是由推理來確定。

對於您的用例，我將實現一個比較器，並在創建它們之後對推斷的公理進行排序。