Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.

Christoph Haase, Carsten Lutz

Browse the full ECAI paper archive.