1. Ontologías (OWL) con Protégé

2. Componentes de la ontología Individuals (instances), represent objects in the domain in which we are interested. Ej: Colombia, Rafael, Blando Object Properties (slots) are binary relations on individuals - i.e. properties link two individuals together. Ej: hermanoDe, hijoDe, dueñoDe; Datatypeproperties; Annotationproperties OWL classes are interpreted as sets that contain individuals. Ej: Gato, Animal

3. Primero generar la ontología Crear ontología OWL Añadir anotación (comment): “ontología de la pizza”

4. Generar clases Insertar clases, clases hijas, clases hermanas. Especificar clases que son disjuntas (instancia solo pertenece a una): en classdescription disjointclasses

5. Generar jerarquía de clases (taxonomía) Tools  createclasshierarchy Seleccionar PizzaBase: En el campo principal agregar tipos de base (con ENTER se entran varios de una vez): ThinAndCrispy, DeepPan Seleccionar PizzaTopping: en suffix añadir “Topping”, añadir los toppings y usar Tab para añadir subcategorías: cheese (mozzarella, parmesano), carne (jamón, pepperoni)

6. Añadir propiedades En ObjectProperties: Addobjectproperty y añadir hasIngredient en PropertyNameDialog Establecer subpropiedades: seleccionar hasIngredient, presionar addsubproperty y agregar primero hasTopping y luego hasBase Crear propiedades inversas (espejo): agregar isIngredientOf: inverseProperties (agregar hasIngredient) y así para las otras: isToppingOf, isBaseOf

7. Características de las propiedades Functional properties are also known as single valued properties and also features: madreNaturalDe If a property is inverse functional then it means that the inverse property is functional: tieneMadre If a property is transitive, and the property relates individual a to individual b, and also individual b to individual c, then we can infer that individual a is related to individual c via property P: tieneAncestro If a property P is symmetric, and the property relates individual a to individual b then individual b is also related to individual a via property P: esHermanoDe If a property P is antisymmetric, and the property relates individual a to individual b then individual b cannot be related to individual a via property P: esHijoDe A property P is said to be reflexive when the property must relate individual a to itself: conoce If a property P is irreflexive, it can be described as a property that relates an individual a to individual b, where individual a and individual b are not the same: madreDe

8. Añadir características de las propiedades hasIngredient y esIngredientOf son transitivas hasBase es funcional

9. Especificar rangos y dominios Properties link individuals from the domain to individualsfromtherange. En ObjectProperties seleccionar hasTopping y agregar rango (PizzaTopping) En ObjectProperties seleccionar hasTopping y agregar dominio (Pizza) Hacer lo mismo con hasBase e inversas (en las inversas rango y dominio son al revés)

10. Especificar restricciones En classes, seleccionar Pizza y addsuperclasses, luego en el tab de ObjectRestrictioncreator, seleccionar RestrictedProperty (hasBase) y RestrictedFilter (PizzaBase) como restricción existencial (some)

11. Restrricciones sobre nuevas clases Añadir clase TipoPizza y subclases Especial y JamonYQueso A la JamonYQueso añadir restricción some de topping para jamón y para queso A la especial añadir restricc{on de cardinalidad (mínimo 3 ingredientes)

12. Sintaxis DL de OWL Manchester