Semantic_web

Lógica de Descripción

Definition

Las Lógicas de Descripción (DL) son fragmentos decidibles de la lógica de primer orden …