DMCA

Extended Caching and Backjumping for Expressive Description Logics

by Andreas Steigmiller , Thorsten Liebig , Birte Glimm