Adriano Melo

Orientador: Fred Freitas

Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

WEB SEMÂNTICA

“Eu tenho um sonho para a Web [em que os computadores] tornam-se capazes de analisar todos os dados na Web, o conteúdo, links, e as transações

entre pessoas e computadores.”

Tim Berners-Lee

Camadas da Web Semântica

LÓGICA DE DESCRIÇÕES ALC

Lógica de descrições

Família de linguagens para representação de conhecimento

Semântica formal bem definida

Objetivo: expressividade + completude

Separação entre:– Terminologia (predicados): TBox– Asserções (constantes, instâncias): ABox

Lógica de descrições - famílias

Sintaxe e semântica da família ALC

NORMALIZAÇÃO PARA O MÉTODO DAS CONEXÕES

Método das conexões

Método direto para fazer dedução

Está sendo formalizado para lógicas de descrições (trabalho de Fred) :D

Algumas implementações disponíveis: leanCoP, SETHEO, randoCoP

P ¬P ¬Q ¬R

Q Q R

R

P ¬P ¬Q ¬R

Q Q R

R

.

P ¬P ¬Q ¬R

Q Q R

R

.

P ¬P ¬Q ¬R

Q Q R

R

..

P ¬P ¬Q ¬R

Q Q R

R

.. .

P ¬P ¬Q ¬R

Q Q R

R

.

. .

P ¬P ¬Q ¬R

Q Q R

R

..

P ¬P ¬Q ¬R

Q Q R

R

. . .

P ¬P ¬Q ¬R

Q Q R

R

.

.

Axiomas em lógica de descrições (DL)

Os axiomas em DL estão na forma:

Pai Pessoa ^ temFilho.Pessoa⊑

PizzaMargherita ≡ Pizza ^ hasTopping.Tomate ^ ∃hasTopping.Muzzarella ^ hasTopping(Tomate ∃ ∀ ⊔

Muzzarela)

Regras de tradução para a base de conhecimento

Algoritmo proposto

Algoritmo proposto

Algoritmo proposto

Mais simples e mais eficiente em relação ao uso de memória

Para o caso :

Algoritmo originalAlgoritmo proposto

Trabalhos futuros

Criar um banco de ontologias para testes

Escrever artigo com a melhoria da normalização?

Implementar o algoritmo do método das conexões para lógica de descrições ALC

leanCoP

Foi usado para processar saídas do algoritmo de normalização

Não foi usado para fazer raciocínio– Grande esforço para fazer consultas (leanCoP = Prolog,

OWLAPI = Java, comunicação = através de conversão entre formatos de arquivos)

Resultados com raciocínio foram adiados para o mestrado :D

Adriano Melo

Orientador: Fred Freitas

Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP