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