Semantic Web

Leíró logika

Definition

A leíró logikák (DL) az elsőrendű logika döntőképes részhalmazai, amelyek az ontológiák, …