Upload
anon878405174
View
22
Download
1
Embed Size (px)
Citation preview
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
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.
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
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?