从没有子属性公理的属性p的存在推断属性t
inferring property t from the existence of property p without sub-property axiom
假设你有一个 属性 p。
我如何用 OWL2 模拟以下问题（我只谈论对象属性）：
我想让 属性 t 可以从 属性 p 的实例的存在中推断出来，而不使用子 属性 公理。或者：当有像 A p B 这样的三元组时 -> 我想推断以下三元组 A t B，但是我的 ontology 中没有 p rdfs:subpropertyOf+ t（也没有owl:equivalentProperty 还有！）。
我不能使用 sub属性 公理，因为这实际上意味着劫持外国 ontology。而且我也不能用我自己的属性替换这些属性，因为它们已经很成熟了。
我知道，我可以通过使用 属性-chain 公理对具有多个 属性 的 属性 路径执行此操作。但是由于这个公理至少需要两个属性，所以我遇到了这个问题。
如有任何帮助，我们将不胜感激。
我会尝试
some p A subClassOf some r A
任何时候一个人有 A 型 r-filler，它也将被推断为有 A 型 p-filler。不过，两者具有相同的个体需要更精细的方法。
不过我认为子属性公理是最好的解决方案。
假设你有一个 属性 p。 我如何用 OWL2 模拟以下问题（我只谈论对象属性）：
我想让 属性 t 可以从 属性 p 的实例的存在中推断出来，而不使用子 属性 公理。或者：当有像 A p B 这样的三元组时 -> 我想推断以下三元组 A t B，但是我的 ontology 中没有 p rdfs:subpropertyOf+ t（也没有owl:equivalentProperty 还有！）。
我不能使用 sub属性 公理，因为这实际上意味着劫持外国 ontology。而且我也不能用我自己的属性替换这些属性，因为它们已经很成熟了。 我知道，我可以通过使用 属性-chain 公理对具有多个 属性 的 属性 路径执行此操作。但是由于这个公理至少需要两个属性，所以我遇到了这个问题。
如有任何帮助，我们将不胜感激。
我会尝试
some p A subClassOf some r A
任何时候一个人有 A 型 r-filler，它也将被推断为有 A 型 p-filler。不过，两者具有相同的个体需要更精细的方法。
不过我认为子属性公理是最好的解决方案。