The top documents tagged [tools of formal ontology]