Semantic Web

Logique de description

Definition

Les logiques de description (DL) sont des fragments décidables de la logique du premier …