当与InferredOntologyGenerator一起使用时，如何编写OWL以让推理者在推断公理中进行排序和显示

Question

对象属性有距离，我不知道推理者在显示推断的公理时是否可以进行排序，并且想尝试这种方式。 但在十进制时遇到错误

基因A和基因B之间的距离范围从0到十进制值 想显示基因的排序

如果有更多的基因C和D，并且A和C之间的距离，C和D，A和D等，一个距离属性似乎不够，在这种情况下如何定义好？

哪种算法可以按多对距离排序？

是先按距离排序并开始最小距离（a，b）然后是第二个最小距离，因为a是b的邻居，c是b的邻居，然后在b旁边附加c

如果这么简单，为什么需要使用扫描和修剪？

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接口将Sets指定为输出，因此推理公理的顺序不是由推理器决定的。

对于您的用例，我将实现一个比较器，并在创建公理后对它们进行排序。