Próxima charla del DC: Miércoles 18/5/2011 - 14hs. Julian Mendez (Technische Universität Dresden) - Clasificación de Ontologías Médicas - Acompañamos con Sandwichitos
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
