In our evaluation of OWLIM-Lite, we have run the getting-started application distributed with OWLIM-Lite. We made use of the possibility of reasoning with custom rule sets. 

To separate the reasoning from importation times, we run OWLIM-Lite for each test case twice: once without reasoning and once with reasoning.

1) To run OWLIM-Lite WITHOUT reasoning, we alter the configuration file "owlim.ttl" as follows:

...
owlim:imports "empty.owl" ;
owlim:ruleset "empty.pie" ;     
...

where files "empty.owl" and "empty.pie" represent an empty ontology and an empty ruleset file. The content of the files can be found below. 


2) To run OWLIM-Lite WITH reasoning, we alter the configuration file "owlim.ttl" as follows:

...
owlim:imports "empty.owl" ;
owlim:ruleset "ruleset.pie" ;     
...

where "ruleset.pie" is the ruleset file in format suitable for OWLIM-Lite (e.g. this would be "LUBM_L.pie" in test case LUBM_L-01K). 


======================================================================================================================================================
empty.owl:
======================================================================================================================================================

<?xml version="1.0" encoding="UTF-8" ?>
<rdf:RDF
  xmlns = "http://swat.cse.lehigh.edu/onto/univ-bench.owl#"
  xml:base = "http://swat.cse.lehigh.edu/onto/univ-bench.owl"
  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
  xmlns:owl="http://www.w3.org/2002/07/owl#"
>

<owl:Ontology rdf:about="">
  <rdfs:comment>An university ontology for benchmark tests</rdfs:comment>
  <rdfs:label>Univ-bench Ontology</rdfs:label>
  <owl:versionInfo>univ-bench-ontology-owl, ver April 1, 2004</owl:versionInfo>
</owl:Ontology>


</rdf:RDF>


======================================================================================================================================================
empty.pie
======================================================================================================================================================
Prefices
{
 P0     :	http://a.cx/onto#
 edbP0  :	edb:http://a.cx/onto#
 owl    :	http://www.w3.org/2002/07/owl#
 rdf    :	http://www.w3.org/1999/02/22-rdf-syntax-ns#
 rdfs   :	http://www.w3.org/2000/01/rdf-schema#
 ruleml :	http://www.w3.org/2003/11/ruleml#
 swrl   :	http://www.w3.org/2003/11/swrl#
 swrlb  :	http://www.w3.org/2003/11/swrlb#
 swrlx  :	http://www.w3.org/2003/11/swrlx#
 xsd    :	http://www.w3.org/2001/XMLSchema#
}

Axioms
{
// Required by OWLIM (see https://confluence.ontotext.com/display/OWLIMv43/OWLIM-Lite+Reasoner#OWLIM-LiteReasoner-CustomRuleSets)
<rdf:type> <rdf:type> <rdf:Property>
}
Rules
{
// Required by OWLIM (see https://confluence.ontotext.com/display/OWLIMv43/OWLIM-Lite+Reasoner#OWLIM-LiteReasoner-CustomRuleSets)
 Id: Dummy
 <P0:FY> <xsd:DUMMY> <P0:FY>
--------------------------------------------------
X <rdf:type> Y
}