假设我们有这个简单的本体作为玩具示例：
我现在收到关于某个对象 x 的证据（例如，“x 是船”、“x 是汽车”），并想就我对这个对象的了解发表声明。
一个明智的方法是使用我的树并计算我的证据的最低共同祖先（LCA），并将其作为结果返回。在我的示例（汽车和船）中，这将导致车辆。
现在假设我有证据表明对象 y 是car和vehicle。这些的 LCA 是车辆。但是，在这种情况下，我希望结果是car，因为 y 是车辆的证据并不与它是car相矛盾。
我实现了这种替代 LCA 算法（通过忽略其他证据的根路径上的证据），但在互联网上没有找到任何关于这种方法的信息。我使用的替代算法有名称吗？