A Lightweight Description Logic Reasoner

DLITE

DLITE [dih-lahyt] is a set of C++ libraries aimed at easing the integration of description logic reasoning technology in applications.

Usage

• Overview

DLITE Licence

Copyright 2010 by Michel Kinasz.

Permission to use, copy, modify, and distribute this software and its documentation under the terms of the GNU General Public License is hereby granted. No representations are made about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty. See the GNU General Public License for more details.

Current Version

Current DLITE version is 0.1 pre-alpha. SVN tag 32.

Current Functionalities and Future Work

This early version of DLITE implements a basic ALC reasoner that allows satisfiability checks.

Future work will focus on improving the language expressivity and adding functionalities. The following describes the project's roadmap:

• Subsumption trees and concept classification
• Ontology consistency
• GCI and GCI optimization
• ABox reasoning
• Improve expressivity
• Concrete domains and complex data types.

Third Party Libraries and Tools

The implementation of DLITE is based on the following open-source products:

ANTLR V3

SQLite

Doxygen

CMake

XML Parser