Login / Signup

Extended Caching, Backjumping and Merging for Expressive Description Logics.

Andreas SteigmillerThorsten LiebigBirte Glimm
Published in: IJCAR (2012)
Keyphrases
  • expressive description logics
  • description logics
  • regular path queries
  • exptime complete
  • query processing
  • constraint satisfaction problems
  • owl dl
  • database systems
  • lower bound