Semantic Web

Beschreibungslogik

Definition

Beschreibungslogiken (DL) sind entscheidbare Fragmente der Prädikatenlogik erster Stufe …