Vol-476⫷ Vol-477 ⫸Vol-478
urn:nbn:de:0074-477-0


Vol-477/paper-50⫷Vol-477/paper-51⫸Vol-477/paper-52
Stephan ScheeleMichael Mendler

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics