[Todos] 18/5-Charla: Clasificacion de Ontologias Medicas (lógicas de descripción )

[Irene Loiseau]

Charlas del DC
Próximo Evento: 18/5/2011. 14hs (con sandwichitos).
Laboratorio Epsilon, Depto. de Computación, Pabellón I
---------------------------------------------------

Orador: Julian Mendez - Technische Universität Dresden
Título: Clasificación de Ontologías Médicas
(En castellano)
----------------------
Resumen:  Las lógicas de descripción son una familia de formalismos de
representación del conocimiento para representar y razonar con
conocimiento conceptual. Cada sistema de lógica de descripción tiene
servicios de razonamiento que infieren conocimiento implícito del dado
explícitamente. Los problemas de razonamiento comunes incluyen
satifacibilidad de conceptos, subsunción de conceptos, consistencia de
ABox y problema de instancia. Una ontología médica contiene un
terminología unificada y permite una forma consistente de indexar,
almacenar, recuperar e intercambiar datos clínicos entre diferentes
organizaciones. Hace algunos años, se desarrolló un algoritmo de
tiempo polinomial para la lógica de descripción EL, y luego se han
desarrollado algoritmos para la extensiones tratables de EL. Estas
lógicas son suficientes para representar grandes ontologías médicas
como SNOMED CT. Hay ontologías que requiren extensiones de EL que no
son tratables. En particular, GALEN, otra importante ontología médica,
require ELHIfR+, una extensión de EL con jerarquía de roles, roles

----------------------------------------
Los esperamos!!!


- Dr Diego Garbervetsky - DC. FCEyN. UBA.
_______________________________________________