Actions

Ontolog Forum

Revision as of 15:25, 13 May 2026 by Forum (talk | contribs) (Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Education |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::20 May 2026 16:00 GMT |- | 9:00am PDT/12:00pm EDT |- | 5:00pm BST/6:00pm CST |- ! scope="row" | Convener | Ken Baclawski |} = Ontology Summit 2026 {{#show:{{PAGENAME}}|?sessio...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Session Education
Duration 1 hour
Date/Time 20 May 2026 16:00 GMT
9:00am PDT/12:00pm EDT
5:00pm BST/6:00pm CST
Convener Ken Baclawski

Ontology Summit 2026 Education

  • John Beverley Ontology Education at the University at Buffalo
    • Abstract: Ontology engineering is, at base, an exercise in logic. This is one of the central lessons of the University at Buffalo’s Applied Ontology MS program and emerging PhD training program. In this talk, I use Basic Formal Ontology (BFO) to show how rigorous logical discipline underwrites good ontology engineering: consistency, interoperability, explanatory power, and scalable data quality. Drawing on themes covered throughout UB’s applied ontology curriculum, I examine how BFO’s realist commitments, category distinctions - such as continuant versus occurrent and dependent versus independent entity - and relation hierarchies constrain modeling choices and help prevent common errors. I will also discuss how students and practitioners are trained to translate competency questions into formally testable constraints, construct genus–differentia definitions aligned with BFO categories and use automated reasoning to evaluate ontological commitments.
    • Bio: Dr. John Beverley is an Assistant Professor at the University at Buffalo (UB) and director of the MS and PhD in Applied Ontology programs. He is one of the developers 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. Prior to joining UB, Dr. Beverley was Senior Ontologist at Johns Hopkins Applied Physics Lab, integrating semantic web technologies with machine learning to support predictive analytics, promote explainable AI, and automate error detection in complex software.

Conference Call Information

Discussion

Resources

Previous Meetings

 Session
ConferenceCall 2026 05 13Interoperability
ConferenceCall 2026 05 06Interoperability
ConferenceCall 2026 04 29Interoperability
... further results

Next Meetings

 Session
ConferenceCall 2026 06 03Cognition
ConferenceCall 2026 06 10Education
ConferenceCall 2026 06 17Synthesis
... further results