Sign in

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.

Diego CalvaneseDomenico CarbottaMagdalena Ortiz
Published in: IJCAI (2011)
Keyphrases
  • expressive description logics
  • description logics
  • regular path queries
  • owl dl
  • exptime complete
  • domain knowledge
  • domain specific
  • first order logic
  • reasoning systems