I want to define syntactic rules in order to control my OWL 2 consistency ontology with respsect to this language. Please, tell me if I am right:
- to define these rules, I must check them in this page W3C Direct Semantics?
An example of such rules: to define a subclass relation: ** A subclass relation must be held between two class expressions. * if a suclass relation between a ClassExpresion1 and classExpression2 Then Individuals of the ClassExpresion1 must be a subset of the ClassExpression2
Thank you for helping me in cheking wether such rules must considered as syntactic ones and wether there are other ones?