从没有子属性公理的属性p的存在推断属性t

Question

假设你有一个属性p。 如何使用OWL2模拟以下问题（我只谈论对象属性）：

我想在不使用子属性公理的情况下，从属性p的实例的存在中使属性变得可推断。或者：当存在类似A p B的三元组时 - >我想推断下面的三A t B，但是我的本体中没有p rdfs:subpropertyOf+ t的灵魂（也没有猫头鹰：等效的属性！）。

我无法使用子属性公理，因为这实际上意味着劫持外国本体论。我也不能用自己的属性替换这些属性，因为它们已经很好地建立起来了。 我知道，我可以通过使用属性链公理为具有多个属性的属性路径执行此操作。但由于这个公理至少需要两个属性，我才能解决这个问题。

任何帮助都将不胜感激。

Answer 1

我会尝试

some p A subClassOf some r A

任何时候一个人都有一个A型的r-填充物，也会推断出它具有A型的p-填充剂。两者都有相同的个体需要更精细的方法。

但是我认为子属性公理是最好的解决方案。