Vol-2372⫷ Vol-2373 ⫸Vol-2374
urn:nbn:de:0074-2373-0


Vol-2373/paper-24⫷Vol-2373/paper-25⫸Vol-2373/paper-26
Andreas SteigmillerBirte Glimm

Absorption-Based Query Entailment Checking for Expressive Description Logics