Download - Presentación intro ontologías
Fundamentos Teóricos de Ontologías
Rafael GonzálezUniversidad Javeriana
Historia de la Ontología
• Esencia (ser) vs. existencia (estar)• Aristóteles: modos de ser (sustancia, cantidad, cualidad,
relación, lugar, tiempo, situación, posesión, acción, pasión)• Edad Media (universales): realismo vs. Nominalismo
(simbolismo)• Edad Moderna (Kant)
– La esencia no solo depende de la cosa en sí, sino del observador– Categorías: cantidad (unidad, pluralidad, totalidad), cualidad
(realidad, negación, limitación), relación (inherencia, causalidad, comunidad), modalidad (posibilidad, existencia, necesidad)
Historia de la Ontología (2)
• William James – La verdad es lo que cada cual considera benéfico
• Husserl – ontología formal (axiomática)• Ingeniería ontológica – conjunto de
actividades relacionadas con el proceso de desarrollo, ciclo de vida, metodologías, herramientas y lenguajes para construir ontologías.
Definición de ontología (1)
• An ontology defines the basic terms and relations comprising the vocabulary of a topic area as well as the rules for combining terms and relations to define extensions to the vocabulary.
• An ontology is an explicit specification of a conceptualization.
• Ontologies are defined as a formal specification of a shared conceptualization.
Definición de ontología (2)
• An ontology is a formal, explicit specification of a shared conceptualization. Conceptualization refers to an abstract model of some phenomenon in the world by having identified the relevant concepts of that phenomenon. explicit means that the type of concepts used, and the constraints on their use are explicitly defined. Formal refers to the fact that the ontology should be machine-readable. Shared reflects the notion that an ontology captures consensual knowledge, that is, it is not private of some individual, but accepted by a group.
Formalidad de una ontología
• Altamente informales: lenguaje natural• Semi-informales: lenguaje natural restringido
y estructurado• Semi-formales: Lenguaje artificial y
formalmente definido• Rigurosamente formales: semántica formal
con teoremas y pruebas
Ej. De ontología semi-informal
Ej. de ontología semi-formal
Ontología con lógica de predicados
• Clases – conceptos (representados en taxonomías jerárquicas)
• Relaciones – tipo de asociación entre conceptos (binarias o n-arias)
• Funciones – clase especial de relación en que el último elemento es único para todo el resto del conjunto
• Axiomas formales – modelan sentencias verdaderas (para verificar consistencia)
• Instancias – Representan elementos individuales
Ej. De ontología con lógica de predicados en Ontolingua
(define-class Travel (?travel) "A journey from place to place":axiom-def (and (Superclass-Of Travel Flight) (Template-Facet-Value Cardinality arrivalDate Travel 1) (Template-Facet-Value Cardinality departureDate Travel 1) (Template-Facet-Value Maximum-Cardinality singleFare Travel 1))
Clase
Relación
Axioma
Ontología con lógica descriptiva
• TBox– Representación terminológica– Conceptos – clases de objetos– Roles – relaciones binarias entre conceptos
• A-Box – Representación asercional– Individuales – instancias de clase
Ej. De ontología con lógica descriptiva en LOOM
(defconcept Travel "A journey from place to place":is-primitive (:and (:all arrivalDate Date)(:exactly 1 arrivalDate) (:all departureDate Date)(:exactly 1 departureDate) (:all companyName String) (:all singleFare Number)(:at-most singleFare 1)))
(defconcept Flight "A journey by plane":is (:and Travel (:all flightNumber Number)(:exactly 1 flightNumber) (:filled-by transportMeans "plane")))
Ontología con UML
• Taxonomía conceptual a través de diagramas de clase (con relaciones de herencia)
• Relaciones binarias a través de asociaciones• Axiomas formales – En desarrollo
Ej. De ontología con UML
Ontología con Entidad-Relación
• Clases como entidades E-R• Atributos como atributos E-R• Relaciones (ad hoc) como relaciones E-R• Axiomas formales como restricciones (reglas)
de integridad• Instancias a través de SQL INSERT
Ej. De ontología con E-R
Categorías ontológicas (1)
Categorías ontológicas (2)
Categorías ontológicas (3)
Reusabilidad vs. usabilidad
Compromisos (commitments)
Principios de diseño (1)
• Claridad – comunicación efectiva, completa, objetiva y formal
• Reducción de dependencia con codificación • Extensibilidad – capacidad de añadir nuevos
términos sin revisar los existentes• Coherencia – inferencias consistentes con
definiciones• Reducción de compromisos (commitments) –
usar la base teórica más simple posible
Principios de diseño (2)
• Representación de conocimiento disjunto y exhaustivo – definición completa de instancias
• Minimizar distancia sintáctica entre conceptos hermanos – basarlos en las mismas primitivas
• Estandarización de nombres – convenciones nominales
Referencia
• GOMEZ-PEREZ, A.; CORCHO, O. & FERNANDEZ-LOPEZ, Mariano. Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. Springer, 2004