00
Los símbolos, antes de empezar
página propia — no es del libro
Dos notaciones para lo mismo: la descriptiva es primer orden recortado para que el razonamiento siempre termine.
- juegos de símbolos
- 2
- ideas base
- 4
- capítulos del libro
- 0
Capítulos
Numeración de la autora, verificada contra el PDF. La que circula suele estar corrida +1. Una página por capítulo.
01
Introduction
Keet, cap. 1 (Introduction), §1.1–1.5
La ontología de ejemplo del propio libro pasa el razonador en verde y se cae al afirmar un individuo que no come nada.
- clases en la AWO
- 31
- axiomas de disyunción
- 7
- comprobaciones
- 12
02
First-Order Logic and Automated Reasoning in a Nutshell
Keet, cap. 2 (First order logic and automated reasoning in a nutshell), §2.1–2.3
Aquella inferencia sobre el impala nunca fue una deducción: es una abducción, y hay otra hipótesis más débil que explica lo mismo.
- formas de inferir
- 3
- que hace el razonador
- 1
- comprobaciones
- 8
03
Description Logics
Keet, cap. 3 (Description Logics), §3.1–3.4
Degradar dos clases definidas a primitivas no «pierde precisión»: destruye por completo la subsunción que el propio ejercicio del libro pide demostrar.
- cajas: TBox, ABox, RBox
- 3
- servicios de razonamiento
- 5
- comprobaciones
- 9
04
The Web Ontology Language OWL 2
Keet, cap. 4 (The Web Ontology Language OWL 2), §4.1–4.4
La cadena de propiedades que resuelve el ejercicio 4.2 vuelve ilegal una restricción de cardinalidad que antes era válida: el razonador rechaza la ontología entera, sin que nada sea lógicamente inconsistente.
- perfiles de OWL 2
- 3
- parámetros de complejidad
- 4
- comprobaciones
- 8
05
Methods and Methodologies
Keet, cap. 5 (Methods and Methodologies), §5.1–5.3
De las once preguntas de competencia que el propio libro propone, la ontología de ejemplo contesta cuatro; tres devuelven vacío —que no es un «no»— y una parece contestada solo porque la ontología está rota.
- CQ que la AWO contesta
- 4/11
- familias de método
- 4
- comprobaciones
- 17
06
Top-down Ontology Development
Keet, cap. 6 (Top-down Ontology Development), §6.1–6.3
Meter la pertenencia a un grupo dentro de la misma propiedad transitiva que la parte estructural produce una deducción falsa que nadie escribió: la hoja pasa a ser parte del bosque.
- axiomas para clasificar el rockdassie
- 2
- mereologías completas que caben en OWL 2 DL
- 0
- comprobaciones
- 9
07
Bottom-up Ontology Development
Keet, cap. 7 (Bottom-up Ontology Development), §7.1–7.7
Un NOT NULL de base de datos no sobrevive a la traducción: ni como domain, ni como ∃. La fila que la base de datos rechazaría, la ontología la acepta sin decir nada.
- clase insatisfacible en el modelo UML
- 1
- subsunciones no dibujadas
- 2
- comprobaciones
- 12
08
Ontology-Based Data Access
Keet, cap. 8 (Ontology-Based Data Access), §8.1–8.5
La misma consulta sobre los mismos datos devuelve {} o {Mkhize, Naidoo} según se reescriba o no con la TBox; y ni siquiera razonando aparece en una fila el departamento cuya existencia la ontología garantiza.
- respuestas a la misma consulta
- 3
- perfil de la TBox
- QL
- comprobaciones
- 8
09
Ontologies and Natural Languages
Keet, cap. 9 (Ontologies and natural languages), §9.1–9.3
Traducir bien no basta: alinear fleuve y rivière con river como equivalentes vuelve la ontología inconsistente, porque las dos lenguas no cortan el mundo por el mismo sitio.
- formalizaciones de una misma frase
- 2
- inferencias que cambian al traducir los IRI
- 0
- comprobaciones
- 9
10
Advanced Modelling with Additional Language Features
Keet, cap. 10 (Advanced Modelling with Additional Language Features), §10.1–10.3, 1ª ed. v1.5
Alinear como equivalentes dos ontologías que ponen el umbral de «joven» en 30 y en 35 vuelve la ontología inconsistente en cuanto aparece alguien de 31.
- formas de meter tiempo en OWL
- 2
- grados de pertenencia en OWL 2
- 0
- comprobaciones
- 8
11
Ontology modularisation
Keet, cap. 11 (Ontology modularisation), §11.1–11.4, 1ª ed. v1.5
Un módulo que contiene los tres nombres pedidos y ningún axioma inventado deja de deducir que un león no puede ser un impala. Correcto y a la vez incompleto.
- dimensiones de un módulo
- 5
- clases frente a 7 en el módulo bueno
- 3
- comprobaciones
- 12