The top documents tagged [formal ontology available]