Definition
Las Lógicas de Descripción (DL) son fragmentos decidibles de la lógica de primer orden que forman la base teórica de las ontologías, particularmente el Lenguaje de Ontología Web (OWL). Permiten una definición precisa…
Summary
Una familia de lenguajes formales de representación del conocimiento utilizados para representar y razonar sobre la estructura conceptual de dominios.
Key Concepts
- Ontología
- Razonamiento
- Subsumción
- Jerarquía de Conceptos
Use Cases
- Construcción de ontologías de la web semántica
- Grafos de conocimiento médicos
- Sistemas de clasificación automatizada