Download PDFOpen PDF in browser

RACCOON: A Connection Reasoner for the Description Logic ALC

12 pagesPublished: May 4, 2017

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:
BibTeX entry
@inproceedings{LPAR-21:RACCOON_Connection_Reasoner_for,
  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},
  pages     = {200--211},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/NXs2},
  doi       = {10.29007/3xxd}}
Download PDFOpen PDF in browser