Característcas de Protegè.

- Representa lo último de una serie de herramienas interactivas para diseño de sistemas basados en conocmiento.

- Facilita la construcciòn de bases de conocimiento basado en el principio de componentes reusables.

- Permite una variedad de plug-ins que facilitan la personalizaciòn en varias dimensiones.

Protege OWL Plugin

- extensiones de protege para manejars owl.- Protege empezo en Abril del 2013.- Características

o Leer y almacenar archivos OWL y bases de datoso Editores gráficos para expresiones de claseso Acceso a descripción lógica de razonadoreso Plataforma potente para enganchar componentes hechos a medida.

Procedimiento para la generación de un nuevo Proyecto en Protegé.

Lenguaje, OWL DL (Description Logics), optimizado para razonamiento y modelado de conocmiento.

Se crea el proyecto he inmediatamente se lo salva con su nombre en algún directorio designado para el.

Luego nos aparecen los paneles en los cuales podemos crear/editar de: clases, propiedades, individuos (individuals).

Se plantea el escenario de una ontologia mèdica:

Medical Ontology

Causes Symptoms

Disorders

Treatments

Convenciones de nombres.

- Nombre de la clase. Letra mayúscula y sin espacios. Eg. Breast_Cancer- Nombre de la Propiedad. Empieza con letra minùscula, sin espacios y las letras

restantes pueden ser mayúsculas. Eg. hasSymptom, isCausedBy.

- Nombre de Individuo (Individuals), igual que las clases. Eg. St_John- Utilizar nombres singulares. Eg. Cancer mas no Canceres.

CLASES

- Las clases son interpretadas como un conjunto de individuos (Individuals).- Nombrando las clases: crear una clase y asignarle su nombre. “Built in” clase llamada:

owl:Thing.- Clases Anónimas: construidas a partir de la descipcion de las clases.

o Intersección, Unión y complemento de clases.o Restricción de clases: existencial, universal, cardinalidad, hasValueo Enumeración de clases.

Las clases pueden superponerse arbitrariamente: un individuo puede ser una instancia de varias clases.

Clases Disjuntas.

- En algunos casos queremos estar seguros que ellas no comparten instancias.- Las clases pueden ser explícitamente declaradas que son disjuntas.- Las disyunciones deberían ser consideradas muy cuidadosamente para que sean

correctas en todas las clases.

Las clases disjuntas pueden ser creadas a partir de una clase origen, así como también se pueden añadir para esta nuevas clases que sean disjuntas o las clases hermanas.

SUBCLASES

Las instancias directas de una clase son también (indirectamente) instancias de la superclase.

Disorder

Flu

Bird Flu

Para crear múltiples subclases en un solo paso, usamos la opción que se encuentra en el menú: Tools Quick OWL Create Multiple subclases.

En este apartado se deben ingresar los nombres de las clases tomando en cuenta la convención de nombres para las mismas.

HERENCIA MULTIPLE

OWL nos permite especificar múltiples superclases nombradas por cualquier clase OWL.

Para copiar una subclase de otra subclase se debe usar la opción, add named class una vez seleccionada la clase desde la que se desea copiar, el cuadro de diálogo se seleccionara la clase donde se la va a copiar.

Posible problema

Hemos definido leucemia como un “Blood_Disorder” y un “Cancer” al mismo tiempo.

Esto significa que un individuo con leucemia pertenecerá a las dos clases al mismo tiempo.

Si “Cancer” y “Blood_Disorder” son definidas como disjuntas, el resultado será inconsistente.

REVISANDO UNA ONTOLOGIA.

Nos gustaría automáticamente revisar nuestra ontología para asegurar que el significado lógico corresponda con el significado escrito.

Para hacer estos debemos usar razonadores.

RAZONADORES

Para una ontología que cae en el alcance de OWL-DL, se puede usar un Razonador DL para inferir información que no es representada explícitamente en la ontología.

“servicios de razonamiento” estándar son:

- Control de Subsunción- Control de Equivalencia- Control de Consistencia- Control de Instanciación

USANDO UN RAZONADOR

Protegé-OWL puede ser usado con cualquier razonador compatible DIG.

La comunicación con los razonadores toma lugar mediante http

Ejemplo: FaCT++

Raznonadores

- Hermit- FaCT++