OWL 2本体的句法一致性

Question

我想定义语法规则，以便通过重新使用这种语言来控制我的OWL 2一致性本体。请告诉我，如果我是对的：

1. 要定义这些规则，我必须在此页W3C Direct Semantics？
中查看这些规则

2. 此类规则的一个示例：定义子类关系：        **必须在两个类表达式之间保持子类关系。         * 如果ClassExpresion1和classExpression2之间有一个蔗糖关系那么             ClassExpresion1的个人必须是ClassExpression2的子集

   感谢您帮我解决这些规则必须被视为语法规则，还有其他规则吗？