Semantic Web

Logika opisowa

Definition

Logiki opisowe (DL) to decydowalne fragmenty logiki pierwszego rzędu, które stanowią …