A Lightweight Description Logic Reasoner


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


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:

Third Party Libraries and Tools

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





XML Parser
 All Classes Files Functions Typedefs Enumerations Enumerator

Last modified on Sat Oct 9 23:27:34 2010
Copyright 2010 Michel Kinasz