Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Escalabilidade: Raciocínio

\ (\ Mathcal {K} = \ {\ mathcal {masculino} \ sqsubseteq \ mathcal {pessoa} \),
\ (\ Mathcal {} OnlyMaleChildren (a) \),
\ (\ Mathcal {Pessoa} (a), \ mathcal {Masculino} (a_1), \ mathcal {Masculino} (a_2) \),
\ (\ Mathcal {} hasChild (a, a_1), \ mathcal {} hasChild (a, a_2) \} \)

  • dado \ (\ mathcal {K} \), queremos aprender uma descrição de \ (\ mathcal {OnlyMaleChildren} \)
  • \ (C = \ mathcal {pessoa} \ sqcap \ forall \ mathcal {} hasChild. \ Mathcal {masculino} \) parece ser uma boa solução, mas \ (\ mathcal {a} \) não é uma instância de \ ( mathcal {C} \) sob OWA
  • idéia: desmaterializar \ (K \) usando o padrão (OWA) DL pensador, mas executar verificações de instância usando CWA
  • mais perto de intuição e dá ordem de melhorias de desempenho magnitude
  • otimizado para milhares de cheques de instância em uma base de conhecimento estático

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.