Ontologies in FRODO