org.semanticweb.more.RLrewriting
Classes 
Clause
RLChecker
RLOntology
RLrewOntology
Utility