Ontologia

Representação do vocabulário de um determinado domínio e suas conceituações.

Ex: Ontologia de Análise orientada a objeto

ClasseObjetoHerançaInstância

Normalmente precisamos conhecer os termos e seu significado para poder emitir opiniões

Ontologia

[Studer et al 98]

Especificação explícita e formal de uma conceitualização compartilhada

definições de conceitos, instâncias, relações, restrições e axiomas são explícitas

declarativamente definida, portanto, compreensível

para agentes e sistemas

Conhecimento consensual

Modelo abstrato de parte do conhecimento

Ontologia

Exemplo: Ontologia de Palestra

Especificação explícita e formal de uma conceitualização compartilhada

Conceitos: Titulo, Duração, Data, Autor..

<palestra> <titulo>Web Semântica</titulo> <autor> Fernando Gauthier</autor></palestra>

Alguém não concorda que Palestra tem Título?

Palestra, Curso, Apresentações de Trabalhos..

Elementos de uma ontologia

Conceitos (Classes) + hierarquiaPropriedades dos conceitos (slots/atributos)Restrições sobre as propriedades (tipo, cardinalidade,...)Relações entre conceitos (Igualdades, disjunções,...)Instâncias de conceitos

Como construir uma ontologia

Determinar o domínio e o alcanceEnumerar os termos importantesDefinir classes e hierarquiasDefinir atributos e relaçõesDefinir restrições (cardinalidade, tipo…)

OWL (Web Ontology Language)

linguagem recomendada pelo W3C (10 de fevereiro de 2004) para representar conhecimentoOWL pode ser utilizada para expressar o significado dos termos em vocabulários e as relações entre eles. A linguagem tem mais dispositivos para expressar significado do que XML, RDF, and RDFS estando portanto acima delas para representar conteúdo compreensível pelas máquinas na WEB.

OWL constitui uma revisão da linguagem DAML+OIL

DAML- DARPA Agent Markup Language).OIL - Ontology Inference Layer OIL - Ontology Interchange Language

OIL

DAML

DAML+OIL OWL

RDF

fornece três sublinguagens com capacidade expressiva crescente

OWL Lite, OWL DL,OWL Full.

OWL Lite

supports those users primarily needing a classification hierarchy and simple constraint features. For example, while OWL Lite supports cardinality constraints, it only permits cardinality values of 0 or 1.

It should be simpler to provide tool support for OWL Lite than its more expressive relatives, and provide a quick migration path for thesauri and other taxonomies.

OWL DL

supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL includes all OWL language constructs with restrictions such as type separation (a class can not also be an individual or property, a property can not also be an individual or class).

OWL DL is so named due to its correspondence with description logics [Description Logics], a field of research that has studied a particular decidable fragment of first order logic.

OWL DL was designed to support the existing Description Logic business segment and has desirable computational properties for reasoning systems.

OWL Full

is meant for users who want maximum expressiveness and the syntactic freedom of RDF with no computational guarantees. For example, in OWL Full a class can be treated simultaneously as a collection of individuals and as an individual in its own right.

Another significant difference from OWL DL is that a owl:DatatypeProperty can be marked as an owl:InverseFunctionalProperty.

OWL Full allows an ontology to augment the meaning of the pre-defined (RDF or OWL) vocabulary. It is unlikely that any reasoning software will be able to support every feature of OWL Full.

Protegé

Ferramenta para criar e gerenciar ontologiasTrabalha com várias linguagens inclusive OWL

Exemplo de ontologia

Desenvolver uma ontologia de web semântica a ser utilizada para material didático disponibilizado na web por professores universitários.

Compartilha-se existência de..

Tipos de Documentos:Planos de Aula;Exercícios;Textos;

Informações sobre o autor:NomeTitulaçãoInstituição com Vinculo

Informações sobre o documento:TipoData de publicaçãoNome da disciplinaAutor

Desenvolvimento no Protégé

Criando as classes:

Lista dos atributos, chamados de propriedades no Protégé

Cardinalidade e tipos dos atributos

Atributo com inverso:

Incluindo os atributos nas classes

Incluindo os atributos nas classes

Incluindo os atributos nas classes

Criando instancias ou indivíduos da classe Autor

Mais uma instância de autor

Criando uma disciplina

Criando outra disciplina

Criando uma instancia de texto

Selecionando o autor do texto

Selecionando a disciplina do texto

Criando outro texto

Criando uma instância de plano de aula

Exibindo todas as instâncias de documentos

Pesquisando na ontologia com a ferramenta Queries.

Quais os autores com vínculo com a FURB?Quais os documentos da disciplina Introdução à Inteligência Artificial?Quais as disciplinas que tem documentos com autor com vinculo com a FURB?

Exibindo todas as instâncias de documentos

Quais os autores com vínculo com a FURB?

Quais os documentos da disciplina Introdução à Inteligência Artificial?

Quais as disciplinas que tem documentos com autor com vinculo com a FURB?

Outras ferramentas para trabalhar com ontologias

OilEdOntoEditKAONOntoBuilder