Editorial: The role of formal ontology in the information technology