/src/main/java/org/semanticweb/karma2/clausifier/