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
pendiente
sin escribir
04
The Web Ontology Language OWL 2
pendiente
sin escribir
05
Methods and Methodologies
pendiente
sin escribir
06
Top-down Ontology Development
pendiente
sin escribir
07
Bottom-up Ontology Development
pendiente
sin escribir
08
Ontology-Based Data Access
pendiente
sin escribir
09
Ontologies and Natural Languages
pendiente
sin escribir
10
Advanced Modelling with Additional Language Features
pendiente
sin escribir
11
Ontology modularisation
pendiente
sin escribir