From the beginning of his career he has worked in the field of ontology, initially on the history of ontology as a sub-discipline of philosophy in the tradition of Brentano, Husserl,, Ingarden and Reinach,.
Smith is leader of the Basic Formal Ontology (BFO) top level ontology project.