Semantic Web

Popisová logika

Definition

Popisová logika (DL) jsou rozhodnutelné fragmenty prvního řádu, které tvoří teoretický …