Keyword: formal ontology