Stijn Heymans, Cristina Feier, Thomas Eiter. A Reasoner for Simple Conceptual Logic Programs. In Axel Polleres, Terrance Swift, editors, Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Volume 5837 of Lecture Notes in Computer Science, pages 55-70, Springer, 2009. [doi]
Abstract is missing.