问题描述
我环顾四周，无法真正找到为什么以下属性限制在一种情况下有效但在另一种情况下无效的答案。我试图将“某些”和“仅”对象属性限制结合起来，以要求定义的类只有某个属性+对象并且它至少还定义了一个这样的属性+对象。我无法通过这种组合来产生预期的类推断。我想用它来将具有特定类型和属性断言组合的实例标识为指定的类。我不打算使用它来将实例分配为该类的类型（如果这很重要）。
RDF/OWL 文件位于：https://pastebin.com/NZMCuZjE
我使用 Protege 5.5 构建它。两个推理器（FaCT++ 1.6.5 和 hermit 1.4.3.456）给出相同的结果。
我希望将 X_LetterThing 定义为等同于
LetterThing and（hasLetter only X）and (hasLetter some X)
会推断该实例 x_letter_thing_test 属于 X_LetterThing 类型，因为 x_letter_thing_test 已断言 LetterThing 类型并具有对象属性断言hasLetter x，但没有这样的推断。
第二个相关问题是实例compound_letter_thing_test 不会被推断为Compound_LetterThing 类型，除非我为LetterThing 类包含一个覆盖公理，我真的不能拥有。 （另外，添加覆盖公理对第一个问题没有影响。）
这是 OWA 还是别的什么？
谢谢！
d.c
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）