Download PDFOpen PDF in browser

RACCOON: A Connection Reasoner for the Description Logic ALC

12 pagesPublished: May 4, 2017


In this paper, we introduce RACCOON, a reasoner based on the connection calculus ALC θ-CM for the description logic ALC. We describe the calculus, and present details of RACCOON’s implementation. Currently, RACCOON carries out only consistency checks, and can be run online; its code is also publicly available. Besides, results of a comparison among RACCOON and other reasoners on the ORE 2014 and 2015 competition problems with ALC expressivity are shown and discussed.

Keyphrases: ALC, automated reasoning, connection method, Description Logic, Reasoner

In: Thomas Eiter and David Sands (editors). LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 46, pages 200--211

Download PDFOpen PDF in browser