Login / Signup

Beth Definability in Expressive Description Logics.

Balder ten CateEnrico FranconiInanç Seylan
Published in: J. Artif. Intell. Res. (2013)
Keyphrases
  • expressive description logics
  • description logics
  • propositional logic
  • regular path queries
  • owl dl
  • exptime complete
  • database
  • expressive power
  • expert systems
  • regular expressions
  • graph databases