Vol-407⫷ Vol-408 ⫸Vol-409
urn:nbn:de:0074-408-0


Vol-408/paper-1⫸Vol-408/paper-2

An Automata-based algorithm for description logics around SRIQ