我正在为我的内部使用设计OWL DL本体（X），有一个非常抽象的属性（x：relatedTo）我需要设置它的范围，因为所有类都存在于另一个导入的本体（Y）中，这样
x:relatedTo rdf:type owl:AnnotationProperty .
x:relateTo rdfs:range y:??? .
我需要这样的构造，以便允许用户断言X中的任何类可以与任何类Y相关，用于语义相似度计算。有什么想法吗？
P.S：我的要求是将X类与Y类隔离以防止用户定义非循环边，换句话说，任何x类都不能与X中的任何其他x类相关