37 citations · 80 across the 29 of their papers we have counts for
1 paper · 2 filters
Arne Meier
The subsumption problem with respect to terminologies in the description logic ALC is EXPTIME-complete. We investigate the computational complexity of fragments of this problem by…