Publicação
Integration of ontologies with programs based on rules
| Resumo: | A combinação de lógicas de descrição e programas baseados em regras tem sido bastante estudada nos últimos anos. As lógicas de descrição são uma família de linguagens formais que servem para representar conhecimento. Estas são bastante usadas na Web Semântica para exprimir ontologias, como o OWL (Web Ontology Language), ou bases de conhecimento. As lógicas de descrição são utilizadas para representar conceitos e as relações entre eles num dado domínio, e também para raciocinar sobre os mesmos. Diversos sistemas foram propostos, de onde se destacam os programas da lógica de descrição ou programas-dl. Ao longo destes útimos anos, estes programas têm ganho força na comunidade da Web Semântica. A sintaxe dos programas-dl facilita a interação entre uma ontologia, expressa em lógica de descrição, e um programa baseado em regras, que pode conter átomos-DL. Este tipo de átomos é utilizado para construir as chamadas regras-DL. A interação entre estes dois componentes é conseguida através destas regras que permitem fazer consultas à base de conhecimento, possibilitando ainda a extensão da base de conhecimento com factos do programa em lógica antes da consulta ser feita. Esta extensão da base de conhecimento é apenas local a esta consulta, não tendo, por isso, um efeito global na ontologia. Desta forma é possível enriquecer o programa em lógica original com conhecimento proveniente da ontologia. A definição original de um programa-dl foi estendida com a capacidade de combinar várias bases de conhecimento em lógica de descrição. Nestes Multi-programas-DL (programas-Mdl), um programa em lógica representa o “condutor” que “coordena” as bases de conhecimento, que são completamente independentes umas das outras, podendo estar fisicamente separadas ou serem geridas independentemente. Em particular, um programa-dl pode ser visto como um programa-Mdl com apenas uma ontologia. Desta forma, podemos dizer que os programas-Mdl generalizam a definição dos programas-dl. Nesta dissertação podemos ver que uma das principais vantagens dos programas-Mdl é a sua simplicidade. Desta forma, estes programas podem ser extremamente adequados para raciocinar naWeb Semântica, onde uma grande parte do esforço é colocada em desenvolver ontologias reutilizáveis. Nesta dissertação mostramos como uma implementação de programas-dl já existente, o DL-plugin para a ferramenta dlvhex, pode ser estendida para trabalhar com programas-Mdl, onde se consegue raciocinar com mais que uma ontologia. Os programas-Mdl podem ser estendidos com novas construções sintáticas, os observadores, que permitem estender conceitos ou relações da base de conhecimento (do ponto de vista do programa sobre aquela base de conhecimento) com todas as instâncias de um predicado do programa em lógica, e reciprocamente. Esta construção sintática também foi implementada no DL-plugin como anotações no programa em lógica. Estas anotações são processadas por um novo módulo, traduzindo, assim, um programa-Mdl com observadores num programa-Mdl normal. Nesta dissertação fornecemos uma análise de performance onde podemos concluir que um programa-Mdl com observadores tem praticamente a mesma performance que um programa-Mdl similar. Programas-Mdl com observadores têm a vantagem de serem mais pequenos e simples. Estes programas são mais robustos em relação a futuras mudanças, pois com observadores é garantido que cada extensão à ontologia seja feita de forma adequada; sem observadores, isto teria que ser garantido à mão. Esta dissertação providencia vários casos de estudo que foram utilizados para ilustrar em detalhe as novas construções. Estes casos de estudo utilizam ontologias reais disponíveis livremente na internet. |
|---|---|
| Autores principais: | Henriques, Rita Sofia Moreira |
| Assunto: | Lógicas de descrição Programas-dl Ontologias Semântica de conjunto-resposta Teses de mestrado - 2013 |
| Ano: | 2013 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório da Universidade de Lisboa |
| Resumo: | A combinação de lógicas de descrição e programas baseados em regras tem sido bastante estudada nos últimos anos. As lógicas de descrição são uma família de linguagens formais que servem para representar conhecimento. Estas são bastante usadas na Web Semântica para exprimir ontologias, como o OWL (Web Ontology Language), ou bases de conhecimento. As lógicas de descrição são utilizadas para representar conceitos e as relações entre eles num dado domínio, e também para raciocinar sobre os mesmos. Diversos sistemas foram propostos, de onde se destacam os programas da lógica de descrição ou programas-dl. Ao longo destes útimos anos, estes programas têm ganho força na comunidade da Web Semântica. A sintaxe dos programas-dl facilita a interação entre uma ontologia, expressa em lógica de descrição, e um programa baseado em regras, que pode conter átomos-DL. Este tipo de átomos é utilizado para construir as chamadas regras-DL. A interação entre estes dois componentes é conseguida através destas regras que permitem fazer consultas à base de conhecimento, possibilitando ainda a extensão da base de conhecimento com factos do programa em lógica antes da consulta ser feita. Esta extensão da base de conhecimento é apenas local a esta consulta, não tendo, por isso, um efeito global na ontologia. Desta forma é possível enriquecer o programa em lógica original com conhecimento proveniente da ontologia. A definição original de um programa-dl foi estendida com a capacidade de combinar várias bases de conhecimento em lógica de descrição. Nestes Multi-programas-DL (programas-Mdl), um programa em lógica representa o “condutor” que “coordena” as bases de conhecimento, que são completamente independentes umas das outras, podendo estar fisicamente separadas ou serem geridas independentemente. Em particular, um programa-dl pode ser visto como um programa-Mdl com apenas uma ontologia. Desta forma, podemos dizer que os programas-Mdl generalizam a definição dos programas-dl. Nesta dissertação podemos ver que uma das principais vantagens dos programas-Mdl é a sua simplicidade. Desta forma, estes programas podem ser extremamente adequados para raciocinar naWeb Semântica, onde uma grande parte do esforço é colocada em desenvolver ontologias reutilizáveis. Nesta dissertação mostramos como uma implementação de programas-dl já existente, o DL-plugin para a ferramenta dlvhex, pode ser estendida para trabalhar com programas-Mdl, onde se consegue raciocinar com mais que uma ontologia. Os programas-Mdl podem ser estendidos com novas construções sintáticas, os observadores, que permitem estender conceitos ou relações da base de conhecimento (do ponto de vista do programa sobre aquela base de conhecimento) com todas as instâncias de um predicado do programa em lógica, e reciprocamente. Esta construção sintática também foi implementada no DL-plugin como anotações no programa em lógica. Estas anotações são processadas por um novo módulo, traduzindo, assim, um programa-Mdl com observadores num programa-Mdl normal. Nesta dissertação fornecemos uma análise de performance onde podemos concluir que um programa-Mdl com observadores tem praticamente a mesma performance que um programa-Mdl similar. Programas-Mdl com observadores têm a vantagem de serem mais pequenos e simples. Estes programas são mais robustos em relação a futuras mudanças, pois com observadores é garantido que cada extensão à ontologia seja feita de forma adequada; sem observadores, isto teria que ser garantido à mão. Esta dissertação providencia vários casos de estudo que foram utilizados para ilustrar em detalhe as novas construções. Estes casos de estudo utilizam ontologias reais disponíveis livremente na internet. |
|---|