我想定义句法规则，以控制我的 OWL 2 一致性本体与这种语言的相对应。请告诉我我是否正确：
- 要定义这些规则，我必须在此页面W3C Direct Semantics中检查它们？
此类规则的示例： 定义子类关系： ** 子类关系必须存在于两个类表达式之间。 *如果 ClassExpression1 和 classExpression2 之间存在子类关系，则 ClassExpression1 的个体必须是 ClassExpression2 的子集
感谢您帮助我检查这些规则是否必须被视为句法规则以及是否还有其他规则？