RACCOON: A Connection Reasoner for the Description Logic ALC

Dimas Melo Filho, Fred Freitas, Jens Otten. RACCOON: A Connection Reasoner for the Description Logic ALC. In Thomas Eiter, David Sands, editors, LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017. Volume 46 of EPiC Series, pages 200-211, EasyChair, 2017. [doi]

Authors

Dimas Melo Filho

This author has not been identified. Look up 'Dimas Melo Filho' in Google

Fred Freitas

This author has not been identified. Look up 'Fred Freitas' in Google

Jens Otten

This author has not been identified. Look up 'Jens Otten' in Google