"formal ontology" . . "formal ontology" . .