Ontologies in the kraft project