Semantic Web

Lógica de Descrição

Definition

As Lógicas de Descrição (DL) são fragmentos decidíveis da lógica de primeira ordem que …