Formal_ontology loading ...