Basic Formal Ontology: Case Studies | AMiner