Sistemas Inteligentes Ontologia e Proteg

Bruno Rodrigo Patrcia Tedesco

Ontologia
`

Uma maneira de se conceitualizar de forma explcita e formal os conceitos e restries relacionados a um domnio de interesse Guarino (1998)

Compartilhamento do conhecimento, aplicao de uma ontologia genrica para um domnio de conhecimento especfico e compreenso semntica dos dados do domnio. Para garantir que uma ontologia seja construda com qualidade necessrio definir o domnio de conhecimento com objetividade, descrevendo o conhecimento essencial ao domnio e definindo um vocabulrio que evite interpretaes ambguas (GRUBER, 1993).

Elementos de uma ontologia

` ` ` ` `

Conceitos (Classes) + hierarquia Propriedades dos conceitos (slots/atributos) Restries sobre as propriedades (tipo, cardinalidade,...) Relaes entre conceitos (Igualdades, disjunes,...) Instncias de conceitos

Como construir uma ontologia

` ` ` ` `

Determinar o domnio e o alcance Enumerar os termos importantes Definir classes e hierarquias Definir atributos e relaes Definir restries (cardinalidade, tipo)

Ontologia OWL
`

Modelar de forma declarativa um domnio.

`

Hierarquia de conceitos e suas relaes, restries, axiomas e terminologia associada.

OWL: Linguagem para representao de conhecimento criada pela w3c.

` `

Classes, propriedades e indivduos. Hiptese de mundo aberto.

OWL
` ` `

OWL-Lite - restries e uma modelagem de hierarquia de classes simples OWL-DL - lgica descritiva, verifica inconsistncias na linguagem ontolgica, classificao automtica OWL-Full - maior dinamismo da linguagem, sem inferncias

Proteg
` ` `

` ` `

Ferramenta para criar e gerenciar ontologias Trabalha com vrias linguagens inclusive OWL uma Plataforma Desenvolvida pelo grupo de pesquisa Stanford Medical Informatics da escola de medicina da Universidade de Stanford. Seu cdigo em JAVA de fonte aberta e conta com uma comunidade de desenvolvedores. http://protege.stanford.edu/doc/owl/getting-started.html Tutorial http://owl.cs.manchester.ac.uk/tutorials/protegeowltutoria l/resources/ProtegeOWLTutorialP4_v1_3.pdf

Exemplo de ontologia
Desenvolver uma ontologia de web semntica a ser utilizada para material didtico disponibilizado na web por professores universitrios.

Compartilha-se existncia de..

`

Tipos de Documentos:
` ` `

Aula; Exerccios; Artigo Cientfico; Nome Titulao Instituio com Vinculo Tipo Data de publicao Nome da disciplina Autor

Informaes sobre o autor:

` ` `

Informaes sobre o documento:

` ` ` `

1- Enumerar os termos importantes

`

Documentos:
` ` `

Aula; Exerccios; Artigo Cientfico; Data de atualizao Disciplina do documento Autor do documento

Informaes sobre os documentos:

` ` `

` `

Autor: Informaes sobre autor

` ` `

Nome Autor Titulao Vinculo

` `

Disciplina Informaes sobre a Disciplina

` `

Cdigo da disciplina Nome da disciplina

2-Definir classes e hierarquias

`

Existem as seguintes classes de objetos:

` ` ` ` ` `

Documentos Exerccios Aula Artigo Cientfico Autor Disciplina

Exerccios, aula e artigo cientfico so especializaes da classe documentos. Autor e disciplina constituem classes separadas. (Disjuno)

3-Definir atributos e relaes

`

A classe documentos e suas especializaes possuem os seguintes atributos:

` ` `

Data de atualizao Disciplina do documento Autor do documento Nome Autor Titulao Vinculo Cdigo da disciplina Nome da disciplina

A classe Autor tem os seguintes atributos:

` ` `

A classe Disciplina tem os seguintes atributos:

` `

Propriedades
` ` ` ` ` ` `

Funcionais relao de um indivduo com no mximo um indivduo (*-1) me Funcionais Inversas (1-*) Transitivas A-B-C -> A-C tem parentesco Simtricas - A esta relacionado com B, B esta relacionado com A Assimtricas Reflexivas Irreflexivas

4- Definir restries (cardinalidade, tipo)

Atributo Data_atualizao Disciplina_documento Tipo String Objeto Disciplina Cardinalidade 1 Mltipla

Autor_documento Nome_ Autor Titulao Vinculo Codigo_disciplina Nome_disciplina inverso_disciplina_documento

Objeto Autor String String String Inteiro Stirng subclasses de documentos

1 1 1 1 1 1 Mltipla

Raciocinador
` ` ` ` ` ` `

Infere conseqcias lgicas a partir de um conjunto de fatos ou axiomas. Checagem de consistncia Checa se alguma classe no pode ser instnciada ou se contraditria. Reclassificao da ontologia Reorganiza a hierarquia de classes a partir das classes definidas. Infere tipos Computa equilvalncia entre classes a partir das propriedades.

Iniciar Raciocinador
` ` `

Update Pellet Reasoner Iniciar Raciocinador Sincronizar Ctrl R Checar erros

Criando as classes:

Lista dos atributos, chamados de propriedades no Protg

Cardinalidade e tipos dos atributos

Atributo com inverso:

Verificando Propriedades

Criando instancias ou indivduos da classe Autor

Criando Disciplinas

Criando uma aula

Ontograf Visualizando a Ontologia

Atividade
` ` ` `

Criar um novo tipo de Documento Texto Incluir - titulo do documento Incluir Palavras-Chaves - Multivalorado Criar 3 novas disciplinas, 3 autores e 5 novos documentos

Pesquisando na ontologia com a ferramenta Queries - Raciocinador.

` ` `

Quais os autores com vnculo com a UFPE? Quais os documentos da disciplina Sistemas Inteligentes? Quais as disciplinas que tem documentos com autor com vinculo com a UFPE?

Quais os autores com vnculo com a UFPE?