Login / Signup

Beth Definability in Expressive Description Logics.

Balder ten CateEnrico FranconiInanç Seylan
Published in: IJCAI (2011)
Keyphrases
  • expressive description logics
  • description logics
  • propositional logic
  • owl dl
  • regular path queries
  • exptime complete
  • knowledge representation
  • first order logic
  • data complexity