Semantic Web

Kuvauslogiikka

Definition

Kuvauslogiikat (DL) ovat ratkaistavia osajoukkoja ensimmäisen kertaluvun logiikasta, ja …