1 Ontologies en logique de description

1 Ontologies en logique de description

Famille des langages LD: les AL. AL = {?,? ,¬A,C ? D,?r.C,?r}. ? ALC = AL ? {¬C} (négation de concepts définis). (équivalent à la classe de logique modal ...