![Page 1: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/1.jpg)
Adriano Melo
Orientador: Fred Freitas
Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP
![Page 2: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/2.jpg)
WEB SEMÂNTICA
![Page 3: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/3.jpg)
“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
![Page 4: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/4.jpg)
Camadas da Web Semântica
![Page 5: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/5.jpg)
LÓGICA DE DESCRIÇÕES ALC
![Page 6: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/6.jpg)
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
![Page 7: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/7.jpg)
Lógica de descrições - famílias
![Page 8: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/8.jpg)
Sintaxe e semântica da família ALC
![Page 9: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/9.jpg)
NORMALIZAÇÃO PARA O MÉTODO DAS CONEXÕES
![Page 10: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/10.jpg)
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
![Page 11: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/11.jpg)
P ¬P ¬Q ¬R
Q Q R
R
![Page 12: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/12.jpg)
P ¬P ¬Q ¬R
Q Q R
R
.
![Page 13: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/13.jpg)
P ¬P ¬Q ¬R
Q Q R
R
.
![Page 14: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/14.jpg)
P ¬P ¬Q ¬R
Q Q R
R
..
![Page 15: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/15.jpg)
P ¬P ¬Q ¬R
Q Q R
R
.. .
![Page 16: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/16.jpg)
P ¬P ¬Q ¬R
Q Q R
R
.
. .
![Page 17: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/17.jpg)
P ¬P ¬Q ¬R
Q Q R
R
..
![Page 18: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/18.jpg)
P ¬P ¬Q ¬R
Q Q R
R
. . .
![Page 19: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/19.jpg)
P ¬P ¬Q ¬R
Q Q R
R
.
.
![Page 20: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/20.jpg)
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)
![Page 21: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/21.jpg)
Regras de tradução para a base de conhecimento
![Page 22: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/22.jpg)
![Page 23: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/23.jpg)
Algoritmo proposto
![Page 24: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/24.jpg)
Algoritmo proposto
![Page 25: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/25.jpg)
Algoritmo proposto
Mais simples e mais eficiente em relação ao uso de memória
Para o caso :
Algoritmo originalAlgoritmo proposto
![Page 26: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/26.jpg)
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
![Page 27: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/27.jpg)
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
![Page 28: Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP](https://reader033.vdocuments.pub/reader033/viewer/2022052907/5591266f1a28ab887b8b4592/html5/thumbnails/28.jpg)
Adriano Melo
Orientador: Fred Freitas
Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP