RACCOON: A Connection Reasoner for the Description Logic ALC.

Dimas Melo Filho, Fred Freitas, Jens Otten

Browse the full LPAR paper archive.