Ontolog

1
Ontologías temporales independientes del dominio

• José Salort Rodríguez-Navas
• Universidad de Murcia
• Noviembre 2005

2
Índice

• Fundamentos de representación temporal
• Propuestas de algunos autores
• Nuestra propuesta
• Aplicación práctica

3
Un buen artículo para comenzar
4
Decisiones que debemos tomar

• Tiempo discreto o denso?
• Enteros o reales. Átomos.
• Tiempo acotado o no acotado?
• Finito o infinito. Distancia.
• Tiempo lineal, ramificado, paralelo o circular?
• Representatividad pero más complicación.

5
Primitivas temporales

• Instantes, intervalos y duraciones McDermott82
  Allen83
• Integración para evitar problemas semánticos
  Vila93
• Orden, existencia y unicidad de puntos en
  instantes.

6
Relaciones temporales

• Cualitativas y cuantitativas Meiri91
• Diferentes sub-álgebras mayores o menores
• Relaciones fuzzy Dubois89
• Facilita lenguaje natural
• Representables cualitativas y cuantitativas

7
Conexión con el dominio

• Definir eventos y episodios
• Instantes y duraciones
• Problema 1. Representar el cambio
• Modificación estado de verdad predicados
• Problema 2. Representar la causalidad
• Posibilitar el razonamiento

8
Lógicas posibles

• Lógica de primer orden Aristóteles
• Perdemos propiedades algebraicas tiempo
• Lógica modal temporal Findlay41
• Cuatro operadores pasado y futuro F, P, H, G
• Difícil probar teoremas
• Lógica temporal reificada Shoham87
• Predicado y calificador temporal T(a,t)
• Tiempo y dominio quedan divididos

9
Para saber más

• McCarthy and Hayes situational calculus 69
• Bruces chronos 72
• Kahn and Gorrys time specialist 77
• McDermotts temporal logic 82
• Allens interval algebra 83
• Kowalsky and Sergots event calculus 86
• Dean and McDermotts time map manager 87
• Shohams temporal logic 87

10
Propuesta de Hobbs 04

• Lógica de primer orden (no ontología)
• Definiciones axiomáticas
• Instantes e intervalos
• Direccionalidad before
• Relaciones entre intervalos
• Enlazar tiempo y eventos
• Unidades temporales estructuradas s-y
• Zonas horarias, agregación y nombres

11
Propuesta de Hobbs 04

• Lenguaje de especificación TimeML
• Anclaje, ordenación, razonamiento
• Eventos con modo, tiempo y aspecto
• Ocurrencia, estado, informe, i-acción, i-estado,
  aspecto y percepción
• Pasado, presente, futuro
• Progresivo, perfectivo, ambos
• Enlaces temporales, subordinantes y aspectuales

12
Nuestra propuesta

• Redes con puntos, intervalos y duraciones
• Relaciones entre puntos, intervalos, puntos e
  intervalos, duraciones y fuzzy
• Restricciones de dominio y de distancia

13
Nuestra propuesta
14
Nuestra propuesta
15
Nuestra propuesta
16
Nuestra propuesta
17
Aplicación práctica

• Lógica de descripciones y axiomas OWL
• Propiedades temporales como herencia
• Protocolos médicos (guidelines) Asbru
• Secuencias temporales y diagnóstico
• Web semántica

18
Protocolos médicos (guidelines)

• Representación e interpretación
• Arden, GLIF, PROforma, Asbru, EON
• PRODIGY, PatMan, DILEMMA
• Primitivas, complejidad, tipos de conocimiento,
  didáctica y mantenimiento, lenguaje, adaptación
  local
• Adquisición, verificación, prueba y ejecución

19
FIN