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.

TODO: / refinerho faltando ... Refinamento Operadores - Definições

  • dado um DL \ (\ mathcal {L} \), considerar o espaço \ ordenou-quasi (\ langle \ mathcal {C} (\ mathcal {L}), \ sqsubseteq_ T \ rangle \) sobre conceitos de \ (\ mathcal {L} \)
  • \ (\ Rho: \ mathcal {C} (\ mathcal {L}) \ 2 ^ {\ mathcal {C} (\ mathcal {L})} \) é um \ para baixo (\ mathcal {L} \) requinte operador se por qualquer \ (C \ in \ mathcal {C} (\ mathcal {L}) \): \[D \in \rho(C) \text{ implies } D \sqsubseteq_ T C\]
  • notação: Escrever \ (C \ para D \) em vez de \ (D \ in \ rho (C) \)
  • cadeia exemplo requinte em \ (\ langle \ mathcal {C} (EL), \ sqsubseteq_ T \ rangle \): \[ \top \to_{\rho} male \to male \sqcap \exists hasChild.\top \]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.