RACCOON: A Connection Reasoner for the Description Logic ALC

12 pages•Published: May 4, 2017

Dimas Melo Filho, Fred Freitas and Jens Otten

Abstract

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.

Links:	https://easychair.org/publications/paper/NXs2
	https://doi.org/10.29007/3xxd

BibTeX entry

@inproceedings{LPAR-21:RACCOON_Connection_Reasoner_Description,
  author    = {Dimas Melo Filho and Fred Freitas and Jens Otten},
  title     = {RACCOON: A Connection Reasoner for the Description Logic ALC},
  booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Thomas Eiter and David Sands},
  series    = {EPiC Series in Computing},
  volume    = {46},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/NXs2},
  doi       = {10.29007/3xxd},
  pages     = {200-211},
  year      = {2017}}

Download PDF Open PDF in browser