Login / Signup

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.

Andreas SteigmillerBirte GlimmThorsten Liebig
Published in: IJCAR (2014)
Keyphrases
  • expressive description logics
  • description logics
  • computational complexity
  • data structure
  • domain knowledge