1 Ontologies en logique de description

Exercice 3.2. Écrivez un axiome pour indiquer que si un individu appartient à la classe A, il appartient aussi à la classe B ou C, mais jamais aux deux en même ...