Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf ·...
Transcript of Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf ·...
![Page 1: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/1.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
Aprendizado Exato de Ontologiasem Logica Descritiva
16 de junho de 2016
![Page 2: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/2.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTLINE
Introducao
Modelo de Comunicacao
Aprendizado Exato
Nossos Resultados
Conclusao
![Page 3: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/3.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
INTRODUCAO
I Ontologias em Logica Descritiva (LD)I Formalismo para representacao de conhecimento baseado
em logica.I Usadas para descrever um domınio em termos de
conceitos (predicado unario) e papeis (predicado binario).
![Page 4: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/4.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
INTRODUCAO
Exemplo:I Vocabulario:
I Conceitos: AcademicoI Papeis: temOrientador
I Ontologia em Logica Descritiva:I Academico v ∃ temOrientador.Academico
I Traducao:∀x(Academico(x)→ ∃y(temOrientador(x, y) ∧Academico(y)))
![Page 5: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/5.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
EXEMPLOS DE ONTOLOGIAS
I Nomenclatura Sistematizada de Medicina, Termos Clınicos(SNOMED CT): 500.000 conceitos [Ruch et al., 2008]
I Enciclopedia do Instituto Nacional de Cancer (NCI) dosEstados Unidos: 50.000 conceitos [Golbeck et al., 2011]
I Genetica: 25.000 conceitos [Consortium et al., 2013]
![Page 6: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/6.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
SNOMED CT
Exemplo de um axioma definindo o termo TuberculosePulmonar em SNOMED CT (sintaxe LD):
PulmonaryTuberculosis ≡ Disease u∃causativeAgent.MycobacteriumTuberculosisComplex u∃findingSite.LungStructure
Traducao para Logica de Primeira Ordem:
∀(x)(PulmonaryTuberculosis(x) ↔ (Disease(x) ∧ ∃y1(causativeAgent(x, y1)∧MycobacteriumTuberculosisComplex(y1)) ∧∃y2(findingSite(x, y2) ∧ LungStructure(y2))))
![Page 7: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/7.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
CONSTRUCAO DE ONTOLOGIAS
I O processo de construcao de ontologias de grande porte ealtamente complexo.
I Engenheiro de Ontologia - Nao conhece o domınioI Especialista no Domınio - Nao conhece as linguagens
usadas para construcao de ontologias
![Page 8: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/8.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
CONSTRUCAO DE ONTOLOGIAS
I Neste trabalho, consideramos um modelo simples doprocesso de comunicacao e analisamos, dentro do modelo,a complexidade computacional de construir umaontologia.
![Page 9: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/9.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTLINE
Introducao
Modelo de Comunicacao
Aprendizado Exato
Nossos Resultados
Conclusao
![Page 10: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/10.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
MODELO DE COMUNICACAO
I Premissas:I o especialista no domınio conhece o domınio e seu
vocabulario sem saber como formaliza-lo como umaontologia;
I o especialista no domınio informa ao engenheiro deontologia os termos relevantes do domınio, o vocabulario.
![Page 11: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/11.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
MODELO DE COMUNICACAO
I O engenheiro de ontologia pode perguntar se umconhecimento conceitual e verdadeiro no domınio.
Em sımbolos: T |= C v D?
![Page 12: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/12.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
MODELO DE COMUNICACAO
I O engenheiro de ontologia tambem precisa saber se aontologia construıda esta completa e, se nao estiver, oengenheiro pede um contraexemplo.
Em sımbolos: H ≡ T ?
![Page 13: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/13.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
ENUNCIADO DO PROBLEMA
Dado esse modelo, onde se assume que o vocabulario e alinguagem da logica descritiva sao conhecidos:
I Pode o engenheiro de ontologia construir uma ontologiaque reflita o conhecimento do especialista no domınio?
I Quantas perguntas sao necessarias para isso?
![Page 14: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/14.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTLINE
Introducao
Modelo de Comunicacao
Aprendizado Exato
Nossos Resultados
Conclusao
![Page 15: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/15.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO (ANGLUIN)
I Um algoritmo aprende exatamente um conjunto alvo L∗ sesempre termina e retorna uma hipotese Lh tal que Lh = L∗.
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh ⊕ L∗
![Page 16: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/16.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 17: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/17.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 18: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/18.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 19: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/19.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 20: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/20.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 21: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/21.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh⊕ L∗
![Page 22: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/22.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
EXACT LEARNING
I Membership query: x ∈ L∗ ? Yes/NoI Equivalence query: Lh = L∗ ? Yes/No and x ∈ Lh ⊕ L∗
![Page 23: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/23.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
![Page 24: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/24.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO DE ONTOLOGIAS EM LD
I Elementos de conjuntosI Pergunta de Pertinencia: x ∈ L∗ ? Sim/NaoI Pergunta de Equivalencia: Lh = L∗ ? Sim/Nao e x ∈ Lh ⊕ L∗
I Inclusao de conceitosI Pergunta de Pertinencia: T |= C v D? Sim/NaoI Pergunta de Equivalencia: H ≡ T ? Sim/Nao e o oraculo
retorna C v D tal que T |= C v D eH 6|= C v D (umcontraexemplo positivo), ou vice versa (um contraexemplonegativo).
![Page 25: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/25.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Aprendizado em tempo polinomial:I Polinomial no tamanho do alvo de aprendizado e do maior
contraexemplo visto ate o momento.
![Page 26: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/26.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
APRENDIZADO EXATO
I Aprendizado em tempo polinomial:I Linguagens Regulares [Angluin, 1987],I Horn Proposicional [Angluin et al., 1992],I Horn de Primeira Ordem Nao-Recursivo
[Reddy and Tadepalli, 1999],I Mapeamentos de Schemas de Banco de Dados
[ten Cate et al., 2012].
I Em aberto:I FNC e FND Booleano,I Horn de Primeira Ordem (brecha entre ‘lower bound’ e
melhor algoritmo conhecido).
![Page 27: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/27.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTLINE
Introducao
Modelo de Comunicacao
Aprendizado Exato
Nossos Resultados
Conclusao
![Page 28: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/28.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
LINGUAGENS DA LOGICA DESCRITIVA
CA vC v AC v D
ELrhsELlhsEL
∃r.A′ v A∃r.A v ∃s.A′ A v ∃r.A′
I Expressoes de conceitos em EL:I C,D := A | > | C uD | ∃r.C
I Problema SAT e trivial.I Problema T |= C v D e polinomial.
![Page 29: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/29.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
PRIMEIRAS OBSERVACOES DO PROBLEMA
CA vC v AC v D
ELrhsELlhsEL
∃r.A′ v A∃r.A v ∃s.A′ A v ∃r.A′
I Expressoes de conceitos em EL:I C,D := A | > | C uD | ∃r.C
1. Com um mesmo vocabulario pode-se criar expressoes deconceitos de tamanho arbitrario.
2. Seria inviavel perguntar todos os axiomas possiveis emuma das linguagens, mesmo conhecendo o vocabulario.
![Page 30: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/30.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
PRIMEIRAS OBSERVACOES DO PROBLEMA
I Suponha que estejamos tentando aprender a seguinteontologia formulada em ELlhs.
I T = {∃r.A v A}
O seguinte algoritmo poderia nao terminar.inicioH = ∅enquantoH 6≡ T faca
Seja C v A o contraexemplo (positivo)H := H ∪ {C v A}
fimfinretornaHO oraculo pode retornar uma sequencia infinita decontraexemplos ∃rn.A v A, sendo n um numero primo.
![Page 31: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/31.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
NOSSOS RESULTADOS
CA vC v AC v D
ELrhsELlhsEL
∃r.A′ v A∃r.A v ∃s.A′ A v ∃r.A′
I ELlhs e ELrhs: e possıvel aprender em tempo polinomial.
![Page 32: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/32.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
NOSSOS RESULTADOS
I ELlhs e ELrhs: e possıvel aprender em tempo polinomial.
inicioH = ∅enquantoH 6≡ T faca
Refina o contraexemplo C v D com perguntasAtualizeH com o contraexemplo refinado
fimfinretornaH
![Page 33: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/33.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
NOSSOS RESULTADOS
CA vC v AC v D
ELrhsELlhsEL
∃r.A′ v A∃r.A v ∃s.A′ A v ∃r.A′
I EL: nao e possıvel aprender em tempo polinomial.
![Page 34: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/34.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTLINE
Introducao
Modelo de Comunicacao
Aprendizado Exato
Nossos Resultados
Conclusao
![Page 35: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/35.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
CONCLUSAO
I Neste trabalho, tratamos o problem de construir umaontologia como um problema de aprendizado.
I Investigamos a complexidade de aprender ontologias emdiversas linguagens da logica descritiva.
I Classificacao:I ELlhs: 3I ELrhs: 3I EL: 7
![Page 36: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/36.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
TRABALHOS PUBLICADOS
Tese de Doutorado:I Exact Learning of Lightweight Description Logic
Ontologies - KR 2014;I Exact Learning Description Logic Ontologies from Data
Retrieval Examples - DL Workshop 2015;I A Model for Learning Description Logic Ontologies Based
on Exact Learning - AAAI 2016.Outros Projetos:
I Exact Learning of Multivalued Dependencies - ALT 2015;I On Metric Temporal Description Logics - ECAI 2016.
![Page 37: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/37.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
OUTROS PROJETOS
Em andamento:I Metric Temporal Logic Translations;I Rewritability in Modal Logic.
Futuros:I Projeto Posdoc: Dimensao Vapnik-Chervonenkis de
Ontologias em Logica Descritiva;I ?
![Page 38: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/38.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
PERGUNTAS
Obrigada!
![Page 39: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/39.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
QUAL E A ‘COMPLEXIDADE’ DE APRENDER
ONTOLOGIAS EM LOGICA DESCRITIVA?
![Page 40: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/40.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
Angluin, D. (1987).Learning regular sets from queries and counterexamples.Inf. Comput., 75(2):87–106.
Angluin, D., Frazier, M., and Pitt, L. (1992).Learning conjunctions of Horn clauses.Machine Learning, 9:147–164.
Consortium, G. O. et al. (2013).Gene ontology annotations and resources.Nucleic acids research, 41(D1):D530–D535.
Golbeck, J., Fragoso, G., Hartel, F., Hendler, J., Oberthaler,J., and Parsia, B. (2011).The national cancer institute’s thesaurus and ontology.Web Semantics: Science, Services and Agents on the World WideWeb, 1(1).
Reddy, C. and Tadepalli, P. (1999).
![Page 41: Aprendizado Exato de Ontologias em Logica Descritiva´ayala/EVENTS/AnaOzakiJune2016.pdf · Introduc¸˜ao Modelo de Comunicac¸ao˜ Aprendizado ExatoNossos ResultadosConclus˜ao INTRODUC¸AO˜](https://reader036.fdocuments.net/reader036/viewer/2022081617/6059c77d6f51b5306e31e808/html5/thumbnails/41.jpg)
Introducao Modelo de Comunicacao Aprendizado Exato Nossos Resultados Conclusao
Learning Horn definitions: Theory and an application toplanning.New Generation Comput., 17(1):77–98.
Ruch, P., Gobeill, J., Lovis, C., and Geissbuhler, A. (2008).Automatic medical encoding with snomed categories.BMC medical informatics and decision making, 8(1):1.
ten Cate, B., Dalmau, V., and Kolaitis, P. G. (2012).Learning schema mappings.In ICDT, pages 182–195.