Ontologas

Prof. Bach. Kryscia Ramrez Benavides

30/03/2005

Agenda
Introduccin Qu es una ontologa? Aplicaciones Elementos de una ontologa Beneficios de las ontologas Principios de construccin Pasos para construir ontologas

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Agenda
Desarrollo de ontologas
Lenguajes
RDF/RDF-S DAML+OIL OWL

Herramientas
Protg RACER

Agentes y ontologas Ejemplo: Ontologa de Pizzas

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Introduccin
Nuevas tecnologas Web proponen nuevas tcnicas y paradigmas para la representacin de conocimiento que faciliten localizar, compartir e integrar recursos Conocimiento semntico explcito que describe y estructura la informacin y los servicios disponibles Creciente inters en la reutilizacin, para reducir recursos, costos y tiempo

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Qu es una ontologa?
El trmino es tomando de la filosofa y se refiere a existencia Para la IA, lo que existe es aquello que puede ser representado Definicin ms completa y utilizada es la de Gruber (1993) y extendida por Studer (1998):

Una especificacin explcita y formal de una conceptualizacin compartida

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Qu es una ontologa? (cont.)

Conceptualizacin: Una forma de entender o describir un dominio, modelo abstracto Explcita: Satisface la necesidad de especificar de forma consciente los distintos conceptos que conforman una ontologa Formal: Sigue alguna especificacin formal de un lenguaje de representacin Compartida: Conocimiento aceptado como mnimo por el grupo de personas que van a usarla

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Aplicaciones
Comercio electrnico Gestin de conocimientos Sistemas de agentes Portales de pginas Web Indexacin de pginas Web Recuperacin de informacin Procesamiento de lenguaje natural Web semntica

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Elementos de una ontologa

Conceptos Clases Categoras Relaciones Propiedades Slots Funciones Instancias Axiomas

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Beneficios de las ontologas

Proporcionan una forma de representar y compartir el conocimiento utilizando un vocabulario comn Permiten reutilizacin del conocimiento Permiten usar un formato de intercambio de conocimiento Proporcionan un protocolo especfico de comunicacin Mantienen la semntica de la informacin

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

Principios de construccin
Claridad y Objetividad Completitud Coherencia Mxima Extensibilidad Montona Principio de Distincin Ontolgica Diversificacin Estandarizacin Minimizacin

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

10

Pasos para construir ontologas

Determinar el dominio y el alcance de la ontologa Considerar reutilizar ontologas existentes Enumerar los trminos importantes del dominio Definir las clases y la jerarqua de las clases Definir las propiedades (slots) de las clases Definir las restricciones de las propiedades Crear instancias

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

11

Lenguajes
Es la forma en que se representa un contexto en particular Garantiza que la ontologa sea una especificacin formal explcita Existen muchos lenguajes que van a permitir esa definicin No todos van a permitir el mismo nivel de expresividad a la hora de definir ontologas

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

12

Lenguajes (cont.)
Honrubia expone que un lenguaje debe tener los siguientes requisitos:
Sintaxis bien definida Semntica bien definida Suficiente expresividad Fcilmente maleable Eficiente a la hora de realizar razonamiento

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

13

Lenguajes (cont.)
El lenguaje a utilizar para modelar ontologas depende de las caractersticas y condiciones que se necesiten Existen lenguajes para definicin de ontologas clasificados de acuerdo a su representatividad y objetivo Algunos son:
RDF/RDF-S DAML+OIL OWL

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

14

RDF (Resource Description Framework) Especificacin propuesta por W3C Declara meta-informacin de forma global (URI) Informacin manejable por una mquina Basado en XML Modelo simple (grafo dirigido) Modelo de datos bsico consta:
Recursos Propiedades Declaraciones

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

15

RDF (Resource Description Framework) (cont.) RDF es un conjunto de tripletas: sujeto (recurso), predicado (propiedad) y objeto (valor de la propiedad)
Predicate Subject Predicate Object Object

= URI o Node Blank = Literal (plain or typed) = Property or Association (URI)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

16

RDF-S (RDF Schema) Proporciona un sistema entendible por la mquina para definir esquemas para vocabularios especficos Permite especificar clases de tipos de recursos y propiedades Es un conjunto de recursos RDF (incluyendo clases y propiedades), y las restricciones en sus relaciones

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

17

RDF/RDF-S RDF/RDF-S:
Ofrece los mnimos requerimientos para el desarrollo de una ontologa Expresividad es limitada Es un lenguaje semntico que une la informacin de una pgina a semntica legible por mquinas Ofrece pocas restricciones y muy poco razonamiento (casi no ofrece mecanismos de inferencia)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

18

DAML+OIL (DARPA Agent Markup Language + Ontology Inference Layer) Lenguaje de marcado semntico para los recursos Web Basado en estndares de W3C como RDF/Esquema RDF, y extiende estos lenguajes modelando primitivas ms poderosas DAML+OIL une RDF/RDF-S con una capa de inferencias para ontologas brindado:
Una semntica precisa para la descripcin de significados de los trminos Un buen razonamiento

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

19

DAML+OIL (DARPA Agent Markup Language + Ontology Inference Layer) (cont.) Surge de la unin:
DARPA Agent Mark-Up Language (DAML) Ontology Inference Layer (OIL)

DAML+OIL toma lo mejor de DAML y OIL e intenta combinarlos en un lenguaje que:

Proporciona una manera de buscar informacin en la Web Entienda la informacin que se encuentra en la Web

Es ms que apto para la construccin de ontologas

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

20

OWL (Web Ontology Language) Basado en RDF y DAML+OIL ltimo estndar en los lenguajes para construir ontologas, desarrollado por W3C Tiene fundamentos matemticos formales basados en las Lgicas Descriptivas Eso permite usar un razonador (RACER) para comprobar la ontologa segn se construya

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

21

OWL (Web Ontology Language) (cont.) Elementos bsicos:

Clases (conceptos) Propiedades (relaciones) Individuos (instancias)
Franklin

viveEnPas
s Pa n eE viv

Costa Rica Italia

Persona

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

casad oC on
Kryscia

Espaa

Pas
as M ne tie t co a
Fido Fuffly

Mascota

22

OWL (Web Ontology Language) Representa el significado de trminos explcitamente en vocabularios y las relaciones entre esos trminos Es la representacin de conocimiento ms expresiva para la Web Semntica Proporciona tres lenguajes expresivos:
OWL Lite OWL DL OWL Full

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

23

OWL (Web Ontology Language) (cont.) No le agrega ms funcionalidades a DAML+OIL, toma los elementos que este lenguaje proporciona para adecuarlos y mejorarlos:
Agrega ms elementos para enriquecer la representacin semntica e inferencia Elimina algunos elementos cuyo significado era opaco para agentes que utilizan el RDF/RDF-S, y los elementos de restricciones de cardinalidad calificadas Cambia el nombre de otros elementos manteniendo su funcin

Es el lenguaje de representacin de conocimiento ms expresivo para la Web Semntica

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

24

OWL (Web Ontology Language) (cont.) Elementos de OWL Lite:

RDF-S (Esquema RDF)
Class rdfs:subClassOf rdf:Property rdfs:subPropertyOf rdfs:domain rdfs:range Individual

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

25

OWL (Web Ontology Language) (cont.) Elementos de OWL Lite:

Igualdad y desigualdad
equivalentClass equivalentProperty sameAs differentFrom AllDifferent distinctMembers

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

26

OWL (Web Ontology Language) (cont.) Elementos de OWL Lite:

Combinaciones booleanas de expresiones de clase
intersectionOF

Caractersticas de propiedad
ObjectProperty DatatypeProperty inverseOf TransitiveProperty SymmetricProperty FunctionalProperty InverseFunctionalProperty

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

27

OWL (Web Ontology Language) (cont.) Elementos de OWL Lite:

Restricciones de propiedad
Restriction onProperty allValuesFrom someValuesFrom

Restricciones de cardinalidad (slo pueden ser 0 1)

minCardinality maxCardinality Cardinality

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

28

OWL (Web Ontology Language) (cont.) Elementos de OWL Lite:

Propiedades de anotaciones
rdfs:label rdfs:comment rdfs:seeAlso rdfs:isDefinedBy

Elementos para definir la informacin de la versin, la informacin del encabezado y otras propiedades de anotacin

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

29

OWL (Web Ontology Language) (cont.) Elementos de OWL DL y OWL Full:

Axiomas de clase
oneOf disjointWith equivalentClass rdfs:subClassOf

Combinaciones booleanas de expresiones de clase

intersectionOF unionOF complementOF

Rasgos de informacin de relleno

hasValue

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

30

OWL (Web Ontology Language) (cont.) Lgica Descriptiva (DL):

La rama lgica dentro de la familia de los marcos (frames) Subconjuntos de la lgica de primer orden computacionalmente tratables Describen relaciones entre conceptos (clases)
Los individuos (instancias) son secundarios, las ontologas no son bases de datos

Conceptos (clases), Individuos (instancias o ejemplares de las clases) y Relaciones entre los individuos

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

31

OWL (Web Ontology Language) (cont.) Clases Definidas versus Clases Primitivas:
Clases Definidas: Se define un conjunto de condiciones suficientes para reconocer cualquier subclase o instancia de la clase Clases Primitivas: Se define slo, se indican, las condiciones necesarias que se aplican a todas las instancias de la clase

Dominio versus Rango:

Dominio: Una o ms clases que se les asigna una propiedad Rango: Una o ms clases donde se obtienen los valores de una propiedad

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

32

OWL (Web Ontology Language) (cont.) Construir Ontologas en OWL-DL:

Se comienza por una taxonoma de clases primitivas
Deben formar rboles Recordar que la condicin de clases disjuntas debe establecerse explcitamente

Hay que tener cuidado

Hacer las disyunciones explcitamente Razonamiento del mundo abierto Restricciones universales y existenciales Restricciones de dominio y rango

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

33

OWL (Web Ontology Language) (cont.) El principio bsico para ontologas normalizadas
Construir ontologas a partir de rboles puros de clases primitivas Cada clase primitiva tiene slo un padre primitivo

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

34

OWL (Web Ontology Language) (cont.) Errores frecuentes en OWL:

Olvidar hacer explcito que las clases sean disjuntas No comprender las implicaciones del razonamiento del mundo abierto (Mal) Usar restricciones universales en vez de restricciones existenciales Confundir dominio y rango

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

35

OWL (Web Ontology Language) (cont.) Razonamiento Mundo Cerrado versus Razonamiento Mundo Abierto:
Mundo Cerrado:
La negacin como fallo Si no lo encuentro (o no puedo probarlo) en este mundo, se asume que es falso Se usa en sistemas de BD, en programacin lgica, lenguajes de restricciones, entre otros.

Mundo Abierto:
La negacin como contradiccin Si no lo encuentro en este mundo, se asume que es posible, a no ser que sea imposible en cualquier mundo (es una contradiccin). La negacin debe ser explcita Se usa en los demostradores automticos de teoremas y en los razonadores DL (y en OWL)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

36

OWL (Web Ontology Language) (cont.) Razonamiento del Mundo Abierto:

OWL utiliza la hiptesis de mundo abierto: Open World Assumption (OWA) Muchos usuarios de OWL provienen de sistemas de mundo cerrado como las bases de datos La informacin que no se haya aadido de forma explcita a la base de conocimiento se asume que es informacin prdida o desconocida que podra ser aadida en el futuro Para eso se usan los axiomas de cierre sobre el atributo

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

37

OWL (Web Ontology Language) (cont.) Restricciones Universales versus Restricciones Existenciales:
Las restricciones se usan para limitar las relaciones vlidas entre individuos La mayora de los usuarios tienden a usar las restricciones universales (que afectan todos los valores) Sin embargo, la mayora de las veces, el tipo de restriccin corresponde con las restricciones existenciales Cualquier restriccin existencial (someValuesFrom, ) que se rellene con una contradiccin es en s misma una contradiccin Una restriccin universal (allValuesFrom, ) que se rellene con una contradiccin puede ser cumplida de forma trivial

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

38

OWL (Web Ontology Language) (cont.) Dominio y Rango:

Confusin tpica porque el dominio y el rango no son restricciones que se comprueban Son axiomas que se utilizan para que el razonador haga ciertas inferencias Violar una restriccin de dominio y rango no significa necesariamente que la ontologa sea inconsistente o que contenga errores Las restricciones de dominio y rango son axiomas, en OWL son equivalentes a restricciones de tipo allValuesFrom En la mayora de los sistemas violar una restriccin de dominio y rango provoca un error. En OWL provoca reclasificacin y posiblemente inconsistencias

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

39

OWL (Web Ontology Language) (cont.) Otros aspectos que suelen ser fuente de confusin:
Aspectos lgicos clsicos
Uso lingstico frente al uso lgico AND y OR

Diferencias entre las clases primitivas y definidas Herencia mltiple:

Los conceptos primitivos deberan (idealmente) tener slo un concepto padre

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

40

Requisitos de los lenguajes

Los requisitos que cumplen los lenguajes RDF/RDF-S, DAML+OIL y OWL son:
Requisito Sintaxis bien definida Semntica bien definida Suficiente expresividad Fcilmente maleable Eficiente a la hora de razonar RDF/RDF-S (muy poco) DAML+OIL OWL

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

41

Funcionalidades de los lenguajes

Las funcionalidades ofrecidas por los lenguajes RDF/RDF-S, DAML+OIL y OWL son:
Funcionalidad Listas delimitadas Restricciones de cardinalidad Expresiones de clase Tipos de datos Clases definidas Enumeraciones Equivalencia Extensibilidad Semntica formal Herencia Inferencia Restricciones locales Restricciones calificadas Reification RDF/RDF-S (slo bsicos) DAML+OIL OWL

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

42

Herramientas
Las herramientas para desarrollar ontologas son tan variadas como los lenguajes Las herramientas que sern discutidas y utilizadas son:
Protg RACER

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

43

Protg
Es gratis, open source Est basado en Java, es extendible Es un editor de ontologas y marco de trabajo de bases de conocimiento Define la estructura de una ontologa Define y administra instancias

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

44

Protg
Integrado con GUI y plugins:
OWLWizard Plugin para guiar paso a paso en la construccin de clases, propiedades, etc. OWLViz Plugin para el despliegue grfico de las jerarquas de las clases ezOWL Plugin para el despliegue grfico de las jerarquas de las clases, las propiedades y restricciones de cada clase JADEBean Generator Plugin para producir clases Java a partir de la ontologa, para que JADE puede utilizar y entender la ontologa

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

45

RACER
Razonador (clasificador) basado en lgicas descriptivas Sistema de razonamiento de lgica descriptiva Motor de inferencia semntico para desarrollar ontologas Proveedor de la lgica modal KM con calificadas modalidades y axiomas.

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

46

Agentes y ontologas
Una ontologa se escribe en algn lenguaje de formalizacin de ontologas que la hace independiente del contexto de uso Varios agentes pueden compartir conocimiento si estn de acuerdo en la semntica dada por una cierta ontologa Una ontologa comn define el vocabulario con el que los agentes intercambian mensajes (consultas y asertos)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

47

Agentes y ontologas (cont.)

Que dos agentes compartan un vocabulario no significa:
Que compartan la misma base de conocimiento Que sea capaz de contestar cualquier pregunta formulada con ese vocabulario

Un compromiso de un agente con una cierta ontologa garantiza la consistencia pero no la completitud respecto a las consultas y asertos utilizando el vocabulario de la ontologa

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

48

Ejemplo: Ontologa de Pizzas

Qu se necesita?
Lenguaje OWL Protg, versin 3.0
Plugin Plugin Plugin Plugin Plugin OWL OWLWizard OWLViz ezOWL BeanGenerator

RACER Graphviz, versin 1.12

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

50

Lo primero es
Instalar Protg, completo Colocar el ejecutable de RACER en la ruta deseada Abrir Protg Seleccionar OWL Files como formato para el nuevo proyecto
New para empezar un proyecto nuevo, o Build para usar un archivo OWL existente

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

51

Lo primero es (cont.)
Seleccionar en el men Project la opcin Configure y marcar:
OWLViz ezOWL

Seleccionar en el men OWL la opcin OWL Preferences y, en la pestaa General en la parte llamada Language Profile escoger OWL DL Guardar el proyecto como pizzaOntology-v1 Poner a ejecutar RACER

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

52

Jerarqua de Clases de la Ontologa Pizza

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

53

Construccin de la ontologa
Primeras clases a crear:
DomainEntity SelfStandingEntity (subclase de DomainEntity) Con el Wizard hacer el grupo de clases:
Pizza PizzaBase PizzaTopping (subclases de SelfStandingEntity) ThinBase HeavyBase (subclases de PizzaBase) VegetableTopping MeatTopping FishTopping CheeseTopping - FruitTopping (subclases de PizzaTopping)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

54

Construccin de la ontologa
Primeras clases a crear:
Con el Wizard hacer el grupo de clases:
Mushroom Tomato HotPepper Onion (subclases de VegetalTopping) Pepperoni Jam SpicyBeef (subclases de MeatTopping) Anchovies Tuna (subclases de FishTopping) Mozzarella Parmesan (subclases de CheeseTopping) Pineapple (subclase de FruitTopping)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

55

Construccin de la ontologa
Propiedades a crear:
hasPart, dominio Pizza Subpropiedades de hasPart:
hasBase, dominio Pizza y rango PizzaBase, nico valor, por lo menos una base, funcional y funcional inversa hasTopping, dominio Pizza y rango PizzaTopping, multiple, al menos un ingrediente

hasFatContent, dominio PizzaTopping y rango FatContent hasSpiciness, dominio PizzaTopping y rango Spiciness

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

56

Construccin de la ontologa
Clases a crear (subclases de Pizza):
MargheritaPizza: mozzarella y tomato SpicyBeefPizza: mozarrella, tomato y spicy beef ProteinLoversPizza: MeatTopping FishTopping CheeseTopping (clase definida, anaranjado) HotSpecialPizza: mozzarella, tomato, hot pepper y spicy beef CheesePizza: CheeseTopping (clase definida, anaranjado) VegetarianPizza: VegetableTopping CheeseTopping (clase definida, anaranjado)

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

57

Construccin de la ontologa
Clase a crear:
ValuePartition (los valores son disjuntos), usar Wizard Create Value Partition:
Spiciness, valores: Hot, Medium, Bland FatContent, valores: LowFat, HighFat

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

58

Ejemplo con BeanGenerator

Guardar y cerrar el proyecto, si se encuentra abierto
Si se gusta se puede guardar con otro nombre

Incluir el proyecto OWLSimpleJADEAbstractOntology.pprj

Abrir con un editor de texto (ej. TextPad) el archivo pizzaOntology-V1.pprj Buscar el apartado que inicia: [PROJECT] of Project Agregar debajo de ese apartado: (included_projects "OWLSimpleJADEAbstractOntology.pprj") Guardar y cerrar

Abrir el proyecto donde realiz la modificacin anterior

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica 59

Jerarqua de Clases de la Ontologa Pizza

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

60

Referencias
RDF, DAML+OIL y OWL:
http://www.w3.org http://www.daml.org

Protg:
http://protege.stanford.edu

RACER:
http://www.sts.tu-harburg.de/~r.f.moeller/racer/

Elaborado como parte del Proyecto @LisTechNet - WP4 Escuela de Ciencias de la Computacin e Informtica

61