KARMA is a prototype query answering system for ELHO ontologies.
   
KARMA is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU Lesser General Public License for more details.
   
KARMA uses the following libraries:

1) HermiT, http://hermit-reasoner.com/
   released under LGPL license included in the package.
2) Antlr 3.5, http://www.antlr.org/
   released under BSD license included in the package.
3) The OWL API,   http://owlapi.sourceforge.net
   released under LGPL 3.0.
4) Apache CLI,
   http://commons.apache.org/cli/
   released under The Apache Software License, Version 2.0, 
   included in the package. 
5) JGrapht,
   http://jgrapht.org/ 
   released under LGPL license in the package.

   
The release is organised as follows:
	
	KARMA-bin.jar is a runnable JAR.
		
		usage: java -jar KARMA.jar -ontology <arg> [-output <arg>] -query <arg> [-statistics]
		
     		-ontology <arg>   path to the ontology file
     		-output <arg>     path to the output file
     		-query <arg>      path to the query file
     		-statistics       show statistics about ontology and materialised instance
		
		If the output file is not given, the system will simply count the number
		of retrieved answers. Otherwise, the valid answers are stored in filename2
		whereas the spurious answers are stored in a file called _spurious-filename2.
		Both files contain a set of Tabbed Seperated Values.
		
	KARMA-src.jar contains the source files of the project.
		