https://github.com/arademaker/salc

A Sequent Calculus for ALC (Description Logic)
https://github.com/arademaker/salc

Last synced: 5 months ago
JSON representation

A Sequent Calculus for ALC (Description Logic)

• Host: GitHub
• URL: https://github.com/arademaker/salc
• Owner: arademaker
• Created: 2009-11-01T02:09:36.000Z (over 16 years ago)
• Default Branch: master
• Last Pushed: 2010-01-17T13:10:11.000Z (over 16 years ago)
• Last Synced: 2025-06-03T20:15:22.228Z (about 1 year ago)
• Homepage: http://www.tecmf.inf.puc-rio.br
• Size: 238 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          

About

=====

SALC is a Labeled Sequent Calculus for ALC, a basic Description Logic

language [1]. This project is about the implementation of SALC in

Maude [2].

We implemented two versions of SALC. A deterministic and a non

deterministic version of SALC. The deterministic version used the idea

of frozen formulas to avoid backtracking in the search of proof

procedure.

The Sequent Calculus implemented here is presented in a series of

papers listed in the bottom of this file. This deduction system for

ALC is part of my thesis.

[1] http://en.wikipedia.org/wiki/Description_logic

    http://dl.kr.org/

[2] http://maude.cs.uiuc.edu/

Documentation

=============

To do.

People

======

 * Alexandre Rademaker (PUC-Rio)

   http://web.me.com/arademaker

 * Edward Hermann Haeusler (PUC-Rio)

   http://www.inf.puc-rio.br/~hermann/

Papers

======

RADEMAKER, A. ; HAEUSLER, E. H. . Toward Short and Structural

ALC-Reasoning Explanations: A Sequent Calculus Approach. In: Brazilian

Symposium on Artificial Intelligence, 2008, Salvador. Advances in

Artificial Intelligence - SBIA 2008. Heidelberg : Springer Berlin,

2008. v. 5249. p. 167-176.

RADEMAKER, A. ; HAEUSLER, E. H. ; Pereira, L. C. . On the Proof Theory

of ALC. In: 15th Brazilian Logic Conference, 2008,

Paraty. Pre-Proceddings, 2008.