ontologie pour la verification des representations conceptuelles omniscriptum gmbh co kg