Login / Signup

and in Expressive Description Logics.

Anni-Yasmin Turhan
Published in: Reasoning Web (2010)
Keyphrases
  • expressive description logics
  • description logics
  • regular path queries
  • exptime complete
  • knowledge base
  • knowledge representation
  • owl dl
  • database
  • special case
  • model checking
  • reasoning systems