问题描述
我正在寻找一个用例/场景，其中循环数据属性或子属性公理在推理双关实体时会出现问题。
喜欢：P SubPropertyOf Q、Q SubPropertyOf R 和 R SubPropertyOf P 和 x 既是个体也是类。 其中 (x P "2") 意味着 (x Q "2") 和 (x R "2")。
谢谢！
解决方法
这些属性和双关实体之间不应该有交互——数据属性不能有类作为主题（只有注释属性可以），所以它们应该只适用于个人。
（如果您确实将数据属性应用于类，您将获得声明为注释和数据属性的属性，这是非法双关语，或者获得非法断言公理。在这两种情况下，这意味着您的本体是被您正在使用的工具拒绝，或者被视为 OWL 2 Full。也有可能工具可能会忽略冲突信息并排除显式声明或公理类型；在所有情况下，您都不会获得预期的效果。）
注意子属性公理中的循环：这与声明所有属性等价相同，儿子不是真正的问题。