Bonjour
Je cherche à trouver les règles syntaxiques de OWL 2 afin de contrôles la cohérence de mon ontologie OWL 2 par rapport à ce langage. Donc, le premier site à y diriger est http://www.w3.org/TR/owl2-direct-semantics/.
  1. Est ce que c'est juste?
  2. Est ce que c'est juste de dire parmi ces règles: une relation de "subclassOf ne peut être maintenue qu'entre deux ClassExpressions?
  3. Est ce c'est juste de dire que pour définir une relation de sous classe, il faut que les individus de CE1 soit un sous ensemble de CE2?

Merci de m'aider en vérifiant ces règles et me donner quelques indications por trouver les autres règles.