Universidade Federal de So Carlos - UFSCar Programa de Ps-Graduao em Cincia da Computao PPGCC Departamento de Computao - DC

O NTOLOGIAS E O NTOLOGIAS D IFUSAS

S UMARIO

Introduo

Ontologias
OWL Regras de Inferncia Ferramentas de Desenvolvimento de Ontologias

Ontologias Difusas Referencias Bibliogrficas

I NTRODUO

Heterogeneidade Semntica

Especificar are de conhecimento

O NTOLOGIAS

Segundo Gruber (1993), uma ontologia uma especificao formal e explcita de uma conceitualizao compartilhada.

Conceitualizao refere-se a um modelo abstrato que especifica uma hierarquia de conceitos relevantes para algum domnio de conhecimento.

Explcita significa que os conceitos usados e as restries aplicadas a esses conceitos esto definidos explicitamente.
Formal refere-se ao fato de que a ontologia deve ser processvel por mquinas. Compartilhada diz respeito a conhecimento consensual, aceito universalmente.

O NTOLOGIAS
Uma ontologia uma especificao formal e explcita de uma conceitualizao compartilhada.

Conceitos: Titulo, Durao, Data, Autor..

Algum no concorda que Palestra tem Ttulo?

<palestra> <titulo>Web Semntica</titulo> <autor> Fernando Gauthier</autor> </palestra>

Palestra, Curso, Apresentaes de Trabalhos..

O NTOLOGIAS

Ontologias so utilizadas para promover a interoperabilidade entre sistemas, ao representarem os dados compartilhados por diversas aplicaes [Uschold & Grninger 2004]. Os componentes das Ontologias so:

Classes, Propriedades (atributos), Relacionamentos,

Axiomas (inferncia de conhecimento), e

Instncias.

O NTOLOGIAS
Classe Propriedade

Relacionamento

Instncia

Axioma

O NTOLOGIAS

Segundo Guarino (1998) as ontologias podem ser classificadas como:

O NTOLOGIAS

Os linguagens de representao mais conhecidos so:

RDF, RDF-Schema (2003), simples e flexvel, permite interpretao semntica com utilizao de conectivos lgicos.

OIL (2003), mecanismo de inferncia,

OIL DAML+OIL OWL

DAML

DAML-OIL (2003), extenso XML e RDF,

RDF

XOL (2003), especifica taxonomias e relaes binarias, OML (2005), baseada em logica descritiva e grafos conceituais, OWL (2005), entre outros.

O NTOLOGY W EB L ANGUAGE (OWL)

OWL um linguagem para definir e criar instancias de ontologias web. Esta baseado em XML, RDF e RDF Schema. OWL uma linguagem recomendada pelo consrcio World Wide Web Consortium (W3C), que conta com diversas mquinas de inferncia e Application Programming Interfaces (API) disponveis para a implementao de aplicaes baseadas em ontologias.

O NTOLOGY W EB L ANGUAGE (OWL)

Podem ser classificadas em trs espcies, de acordo com a sub linguagem utilizada:

OWL Lite: a sub linguagem sintaticamente mais simples. Destina-se a situaes em que apenas so necessrias restries e uma hierarquia de classe simples. OWL DL: mais expressiva que a OWL-Lite e baseia-se em lgica descritiva, um fragmento de Lgica de Primeira Ordem, passvel portanto de raciocnio automtico.

OWL Full: a sub linguagem OWL mais expressiva.

Destina-se a situaes onde alta expressividade mais importante do garantir a decidabilidade ou completeza da linguagem. No possvel efetuar inferncias em ontologias OWL-Full.

O NTOLOGY W EB L ANGUAGE (OWL)

Construes OWL Lite, DL e FULL:

O NTOLOGY W EB L ANGUAGE (OWL)

owl:Class: utilizado para definir conceitos da ontologia.

<owl: Class rdf: ID=Pessoa/>
<owl: Class rdf: ID=Universidade/>

rdfs:subClassOf: permite definir especializados. Exemplo definir o estudante como uma pessoa especial.
<owl: Class rdf: ID=Estudante/>
<rdfs: subClassOf rdf: resource#Pessoa / > < / owl:Class rdf:ID>

conceitos conceito

O NTOLOGY W EB L ANGUAGE (OWL)

owl:DataTypeProperty: Toda propriedade definida entre uma instncia de uma classe, um literal expresso em RDF e um tipo de dado do XSD uma instncia da classe owl:DataTypeProperty.

<owl: DatatypeProperty rdf: ID=nome> <rdfs: domain rdf:resource=#Pessoa / > <rdfs: range rdf:resource= http: / /www.w3.org /2001 /XMLSchema#string / > < / owl:DatatypeProperty>

O NTOLOGY W EB L ANGUAGE (OWL)

owl:ObjectTypeProperty : toda propriedade definida entre duas classes em um documento OWL uma instncia da classe owl:ObjectProperty.
<owl:ObjectProperty rdf:ID="hasBankAccount"> <rdfs:domain> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#Person"/> <owl:Class rdf:about="#Corporation"/> </owl:unionOf> </owl:Class> </rdfs:domain> </owl:ObjectProperty>

O NTOLOGY W EB L ANGUAGE (OWL)

owl:FunctionalProperty: nico valor.

<owl:ObjectProperty rdf:ID="husband"> <rdfs:domain rdf:resource="#Woman" /> <rdfs:range rdf:resource="#Man" /> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="#husband" />

owl:InverseOf: relao inversa.

<owl:ObjectProperty rdf:ID="hasChild">

<owl:inverseOf rdf:resource="#hasParent"/>
</owl:ObjectProperty>

O NTOLOGY W EB L ANGUAGE (OWL)

owl:TransitiveProperty:
<owl:TransitiveProperty rdf:ID="subRegionOf"> <rdfs:domain rdf:resource="#Region"/>

<rdfs:range rdf:resource="#Region"/>
</owl:TransitiveProperty>

SubRegionOf

SubRegionOf

Itlia

Toscana
SubRegionOf

Chianti

O NTOLOGY W EB L ANGUAGE (OWL)

owl:SymetricProperty:
<owl:SymmetricProperty rdf:ID="friendOf"> <rdfs:domain rdf:resource="#Human"/>

<rdfs:range rdf:resource="#Human"/>
</owl:SymmetricProperty>

friendOf

Humano
friendOf

Humano

R EGRAS E I NFERNCIA EM O NTOLOGIAS

Estendem o conjunto de axiomas presentes em ontologias.

Os linguagens de representao de regras mais utilizados so:

Rule Markup Language (RuleML).

Semantic Web Rule Language (SWRL). Jena Rule Language.

R EGRAS E I NFERNCIA EM O NTOLOGIAS

Motores de inferncia (Reasoners).

Os motores de inferncia para OWL mais utilizados so:

Racer,

Pellet,
Jess, Bossan, Jena, entre outros.

E DITORES DE O NTOLOGIAS

Algumas ferramentas para o trabalho com Ontologias so:

OilEd,
OntoEdit, KAON, OntoBuilder,

Proteg.

P ROTG

Editor de cdigo aberto que serve para construir ontologias e utilizado como um marco general para construir conhecimento.
Trabalha com vrios linguagens incluindo o OWL.

P ROTG

Entorno Protg

Classe principal, Thing.

P ROTG

ObjectProperties no Protg.

Ranges e Domains.

P ROTG

Reasoner no Protg.

P ROTG

Classes definidas no Protg. (inferncia)

P ROTG

OWLViz Asserted View

P ROTG

OWLViz Infered View

P ROTG

OWL/XML gerado

O NTOLOGIAS D IFUSAS

O formalismo conceitual suportado por as ontologias (crisp) no suficiente para representar informao imprecisa. Por exemplo, uma pesquisa sobre um vinho muito forte ou motocicleta rpida, etc.

Para tentar resolver esses problemas, existem abordagens que baseados na teoria difusa dos conjuntos introduzem valores difusos ao diferentes objetos e relaes dentro das ontologias.

O NTOLOGIAS D IFUSAS

Taxonomias Difusas: consideram conceitos relacionados por

generalizao/ especializao, em que um conceito pode ser mais genrico ou mais especfico que outro com um determinado grau de pertinncia (u).

O NTOLOGIAS D IFUSAS

Ontologias Contendo Classes e Relacionamentos Difusos: nesta abordagem, o conceito de classe foi redefinido
para classe difusa, correspondente ao conjunto difuso da teoria dos conjuntos difusos, e o de relacionamento para relacionamento difuso. Desta forma, uma instncia x da ontologia pode pertencer a uma classe A com um determinado grau de pertinncia A(x) dentro do intervalo [0,1], assim como pode estar relacionada por R a outra instncia y por um determinado grau R(x; y) que expressa a intensidade desse relacionamento.

O NTOLOGIAS D IFUSAS

Ontologias Difusos:

Contendo

Classes

Relacionamentos

O NTOLOGIAS D IFUSAS

Representao de uma Classe Difusa

Yaguinuma, (2007)

O NTOLOGIAS D IFUSAS

Representao de uma instncia de uma classe Difusa em RDF/XML:

Yaguinuma, (2007)

O NTOLOGIAS D IFUSAS

Representao de um Relacionamento Difuso

Yaguinuma, (2007)

O NTOLOGIAS D IFUSAS

Representao do Relacionamento Difuso em RDF/XML:

Yaguinuma, (2007)

O NTOLOGIAS D IFUSAS

Aplicaes das Ontologias Difusas:

Minerao de Regras, Expanso de Consultas,

Aplicaes Inteligentes, entre outros.

R EFERENCIAS B IBLIOGRFICAS

[Gruber, 1993]

[Guarino, 1998]

[OWL, 2004]