Sign in

Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.

Sebastian BrandtAnni-Yasmin TurhanRalf Küsters
Published in: LPAR (2003)
Keyphrases
  • expressive power
  • description logics
  • transitive roles
  • modal logic
  • default logic
  • computational complexity
  • default theories
  • double exponential