Extending the Description Logic with Acyclic TBoxes.

Franz Baader, Oliver Fernandez Gil

Browse the full ECAI paper archive.