Axiomes

Bonjour,
J'aimerai savoir comment lister les axiomes pour lesquels une classe (Concept de l'ontologie) est impliquée.
J'aimerai également savoir comment consulter la description d'une classe C.
Merci