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.

Refinamento Operador Propriedade Teorema

Teorema

Conjuntos máximos de propriedades de \ (\ mathcal {L} \) operadores de refinamento que podem ser combinadas para \ (\ mathcal {L} \ in \ {\ mathcal {ALC}, \ mathcal {ALCN}, \ mathcal {shoin}, \ mathcal {SROIQ} \} \):

  1. {Fracamente completo, completo, finito}
  2. {Fracamente completo, completo, bom}
  3. {Fracamente completo, não redundante, finito}
  4. {Fracamente completo, não redundante, adequada}
  5. {Não redundante, finito, adequada}
"Fundamentos de Operadores de refinamento para Lógica Descritiva",
J. Lehmann, P. Hitzler, conferência ILP de 2008

"Conceito de Aprendizagem em Lógica Descritiva Usando Refinamento Operadores",
J. Lehmann, P. Hitzler, Machine Learning revista de 2010

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.