Login / Signup

\mathcal{EL}^\bot.

Laura GiordanoValentina GliozziNicola OlivettiGian Luca Pozzato
Published in: TABLEAUX (2011)
Keyphrases
  • description logics
  • transitive closure of roles
  • real time
  • computational complexity
  • high quality
  • refinement operators