added method to compare queries, atoms

removed DL-Things classes

added function to read positive Inclusions out of ontology