这个证据分组方法在本体上的名称是什么

Question

假设我们将这个简单的本体论作为玩具示例：

我现在收到关于某个物体x的证据（例如，＆＃34; x是船＃34;，＆＃34; x是汽车＆＃34;）并且想要对我所知道的事情发表声明关于这个对象。

一种明智的方法是使用我的树并计算我的证据的最低共同祖先（LCA），并将其作为结果返回。在我的示例（ car 和 boat ）中，这将导致 vehicle 。

我们现在说我有证据表明对象y是汽车和汽车。这些的LCA是车辆。但是，在这种情况下，我希望结果是 car ，因为y是车辆的证据并不与它是汽车相矛盾

我实施了这种替代的LCA算法（通过忽略其他证据的根本路径上的证据），但没有在互联网上找到任何关于这种方法的内容。我使用的替代算法有名称吗？

Answer 1

根据您的描述，我认为您正在实施最不常见的子方法算法：包含两个或更多个类表达式的最具体的类，也可以等于一个这样的类。