Ingeniería de ontologías
Un recorrido capítulo a capítulo por An Introduction to Ontology Engineering de C. Maria Keet. Una página por capítulo: qué dice el libro, los ejercicios resueltos, y un caso de estudio donde eso se aplica a algo que se puede comprobar con un razonador.
El libro
Keet, C.M. An Introduction to Ontology Engineering, v1.5 (2020). Libro abierto, gratuito, con material suplementario y ejercicios: página del libro · PDF · LibreTexts.
Es un libro de texto de universidad, no una introducción divulgativa: da la lógica formal detrás de OWL en vez de dar solo recetas de Protégé. Por eso conviene como base — las decisiones quedan citables.
Capítulos
1. Introduction
El capítulo que fija el vocabulario. Cuatro definiciones, la hipótesis de mundo abierto, y un error semántico real en la ontología de ejemplo del propio libro — comprobado con un razonador.
2. First-Order Logic and Automated Reasoning in a Nutshell
Sintaxis, semántica y las tres formas de inferir. El capítulo explica lo que quedó abierto en el 1: aquella inferencia sobre el impala no era un fallo del razonador, era una abducción disfrazada de deducción.
3. Description Logics
explica por qué el razonador infiere lo que infiere
pendiente
4. The Web Ontology Language OWL 2
la herramienta
pendiente
5. Methods and Methodologies
dominio, alcance y preguntas de competencia
pendiente
6. Top-down Ontology Development
pendiente
7. Bottom-up Ontology Development
pendiente
8. Ontology-Based Data Access
pendiente
9. Ontologies and Natural Languages
pendiente
10. Advanced Modelling with Additional Language Features
pendiente
11. Ontology modularisation
pendiente