ConferenceCall 2026 05 20 - Revision history

Forum at 16:29, 21 May 2026

2026-05-21T16:29:22Z

← Older revision		Revision as of 16:29, 21 May 2026
Line 21:		Line 21:
	* '''[[JohnBeverley\|John Beverley]]''' ''Ontology Education at the University at Buffalo''		* '''[[JohnBeverley\|John Beverley]]''' ''Ontology Education at the University at Buffalo''
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]
			** [https://youtu.be/EN5DROrPYHs YouTube Video]
	** 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.		** 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.		** 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.
Line 59:		Line 60:
	== Resources ==		== Resources ==
	* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]		* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]
			* [https://youtu.be/EN5DROrPYHs YouTube Video]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 21:05, 20 May 2026

2026-05-20T21:05:22Z

← Older revision		Revision as of 21:05, 20 May 2026
Line 20:		Line 20:
	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''[[JohnBeverley\|John Beverley]]''' ''Ontology Education at the University at Buffalo''		* '''[[JohnBeverley\|John Beverley]]''' ''Ontology Education at the University at Buffalo''
			** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]
	** 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.		** 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.		** 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.
Line 57:		Line 58:

	== Resources ==		== Resources ==
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Education/OntologyEngineeringTradecraft--JohnBeverley_20260520.mp4 Video Recording]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 20:59, 20 May 2026

2026-05-20T20:59:33Z

← Older revision		Revision as of 20:59, 20 May 2026
Line 31:		Line 31:

	== Discussion ==		== Discussion ==
			12:34:28 OMG: Mike Bennett : If only we have the equivalent of settled science in other domains that are not science.

			12:45:45 janet singer : But remember Barry’s and Jobst’s presentation last year about the ‘common sense’ ‘natural’ realist assumption of BFO breaking down wrt quantum physics and relativity. Is foundational physics from 100 years ago settled science?

			12:49:24 Arjun Kapoor : Need more clarity on one thing regarding the course.

			As the masters program is completely remote, I am not clear how will a student be able to engage with domain experts and actually enjoy the "discussion and collective churning" part of it.

			12:50:28 Mike Bennett : Q: Some of your analysis examples look a lot like OntoClean. Do you make reference to that?

			12:58:18 Alex Moskowitz : In regards to the human - human / human - machine / machine to machine conversation I believe a quick answer to that is a big part of the job is taking the human --> human (you) --(translate into formal logic)-->machine --> machine . A lot of the work lies in being able to guide in questioning and reason through the information the domain expert is providing into a logical consistent structure.
			Correct me if i'm wrong please ;p

			13:00:04 Sanjam Preet : Will credits from the master’s program transfer to the PhD program?
			* John Beverley : 👍

			13:00:58 Alex Moskowitz : Mr. Sowa just basically said a better version of what I was trying to say ;p
			* John Beverley : 👍

			13:01:59 Gary Berg-Cross : an ontology like ENVO includes some descriptive info not formalized in axioms. These represent some conceptualization that emphasizes more contextually expressive, often intuitive descriptions of entities/relations; not always currently suitable for formal representation unless higher logics are used and thus difficult for automated inference.

			13:18:07 Soum : Thank you so much :)

			13:18:08 Alex Moskowitz : Thanks guys !

	== Resources ==		== Resources ==

Forum: 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..."

2026-05-13T15:25:08Z

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..."

New page

{| 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
| [[convener::KenBaclawski|Ken Baclawski]]
|}

= [[OntologySummit2026|Ontology Summit 2026]] {{#show:{{PAGENAME}}|?session}} =
* '''[[JohnBeverley|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 ==
* Date: '''Wednesday, 20 May 2026'''
* Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=5&day=20&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2026/ConferenceCallInformation}}

== Discussion ==

== Resources ==

== Previous Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[<<ConferenceCall_2026_05_19]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

== Next Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[>>ConferenceCall_2026_05_21]]
|?|?Session|mainlabel=-|order=asc|limit=3}}

[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]
[[Category:OntologySummit2026| ]]