Login / Signup

Model driven engineering of a tableau algorithm for description logics.

Nenad KrdzavacDragan GasevicVladan Devedzic
Published in: Comput. Sci. Inf. Syst. (2009)
Keyphrases
  • description logics
  • worst case
  • knowledge base
  • computational complexity
  • reasoning tasks
  • databases
  • case study
  • np hard
  • business process
  • reasoning services
  • model driven engineering