Login / Signup

A Decidable Extension of SROIQ with Complex Role Chains and Unions.

Milenko MosurovicNenad KrdzavacHenson GravesMichael Zakharyaschev
Published in: J. Artif. Intell. Res. (2013)
Keyphrases
  • description logics
  • expressive description logics
  • domain knowledge
  • artificial intelligence
  • transitive closure
  • exptime complete