Dr. John Beverley is an Assistant Professor at the University at Buffalo (UB), lead developer of the ISO/IEC 21838-2 top-level standard Basic Formal Ontology (BFO), chair of the IEEE P3195 Mid-Level Ontology standard working group, and core developer on numerous BFO-based ontology projects. Recent projects relevant to this session include: the Arguments Ontology (ARGO), designed to represent the formal structure of a wide range of argument types; the Reverse Logic Engineering project, under the auspices of the Johns Hopkins University Applied Physics Lab (APL), which aims to combine ontologies, large-language models, and automated theorem provers to identify vulnerabilities in software. Prior to joining UB, Dr. Beverley was Senior Ontologist at APL, integrating semantic web technologies with machine learning to support predictive analytics, promote explainable AI, and automate error detection in complex software.