ConferenceCall 2025 02 05 - Revision history

Forum at 01:47, 6 February 2025

2025-02-06T01:47:57Z

← Older revision		Revision as of 01:47, 6 February 2025
Line 81:		Line 81:

	== Resources ==		== Resources ==
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Track-1/The+Heirs+of+Hilbert's+Sixth+Problem--MichaelGruninger_20250205.mp4 Video Recording]
			* [https://youtu.be/Ba9Jj9tFGaQ YouTube Video]

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

Forum: /* Discussion */

2025-02-06T00:18:07Z

Discussion

← Older revision		Revision as of 00:18, 6 February 2025
Line 34:		Line 34:

	== Discussion ==		== Discussion ==
			=== Modern Physics ===
			12:20:30 Ravi Sharma: Michael the second one is favorable even though the former is easy in ref to two views on ontologies, namely physics and also as ontology defining the logic of all attributes?<br/>
			12:21:45 Ravi Sharma: scalar, vector, tensor and eventually multidimensional and topological descriptions are required for Physical theories.<br/>
			12:28:04 Ravi Sharma: time duration and intervals in continuous or discrete math is a challenge for physics today.<br/>
			12:30:36 Ravi Sharma: classical description would require one type of ontology while QFT would need another kind including topologies?<br/>
			12:33:48 Ravi Sharma: Granularity and accuracy are related and so how would that manifest in ontologies as physics?<br/>
			12:38:06 Ravi Sharma: every model of ontology is a molecule is likely to be mostly incorrect because those depicted may not exist or be not stable!<br/>
			however some and likely sparse may match a molecule!<br/>
			12:50:09 Ravi Sharma: kindly expand on geometries and multigeometries in relation to Hilbert's sixth?<br/>

			=== Use Cases ===
			12:29:02 Mark Underwood: The units of measure use cases are central in thinking about how to support traditional data interoperability with ontologies<br/>
			12:32:39 Bobbin Teegarden: Use cases, etc, are a specification of context of subject matter (perspective)<br/>
			* Mike Bennett: This is an important point. Use case is in a context but what it means to be a given kind of thing is itself context independent. So context = use cse specifies an extract from the intended reality.<br/>
			** Bobbin Teegarden: 👍<br/>
			** Stephen Powley: I like this way of understanding context, similar to how I've come to understand it.. Do you know of any theories of context that formalise this particular idea?<br/>
			** Stephen Powley: 👍<br/>
			** Jim Logan (Ontogenesis): 👍<br/>
			* janet singer: Is the idea of having no context a misdirection? Would it be better to think of generic use cases that have the context of being context invariant?<br/>
			** Bobbin Teegarden: no context is a context in itself ... ;0)<br/>
			*** janet singer: 👌<br/>
			** Bobbin Teegarden: Ontologies are always 'true' in some context ... and when you change/modify the context (and time is an element of context), couldn't you create parallaxes in the 'true' ontology?<br/>

			=== Semantic Errors ===
			12:41:28 ToddSchneider: What is a ‘semantic error’?<br/>

			=== COLORE ===
			12:42:51 Mark Underwood: FYI https://github.com/gruninger/colore<br/>
			* Stephen Powley: 👍<br/>

			=== Reduction ===
			13:07:58 Greg Sharp: The reduction of ontological models to mathematical theories reminds me of the recent critique in "The Blind Spot" by Frank, Gleiser and Thompson. They caution against mistaking the map (i.e., theories) for the territory (i.e., experience) in scientific practice. The risk being the exclusion of emergent properties when moving in the reductive direction. What if measurement, time, space are meant to be emergent from an understanding of extension developed within the ontology, rather than being given to the ontology by a God's-eye view of the system?<br/>
			* janet singer: Systems theorist and mathematical biologist Robert Rosen’s work on measurement and modeling relations in science takes the ideas from the talk in the other direction (showing limitations of reductionism)<br/>
			** janet singer: Rosen realized in the 1950s that category theory provided a general theory of modeling in how entailment structures are put into correspondence. In science one puts inferential entailment into correspondence with causal entailment is a natural system. See his modeling relations<br/>

			=== Our Mathematical Universe ===
			13:09:50 Michael Gruninger: Our Mathematical Universe: My Quest for the Ultimate Nature of Reality Max Tegmark<br/>
			* Mark Underwood: 👍<br/>
			* Greg Sharp: 👍<br/>
			* Stephen Powley: Found this Royal Institution lecture on "Our Mathematical Universe" that might be a good complement to the book: https://www.youtube.com/watch?v=_3UxvycpqYo<br/>

			=== Appreciation ===
			13:25:30 janet singer: Excellent talk that derives the ideas anew<br/>
			13:26:13 Giancarlo Guizzardi: It was great! Thanks!<br/>
			13:26:14 Ravi Sharma: Thanks Michael

	== Resources ==		== Resources ==

Forum: /* Agenda */

2025-02-05T20:47:47Z

Agenda

← Older revision		Revision as of 20:47, 5 February 2025
Line 24:		Line 24:
	* Title: The Heirs of Hilbert's Sixth Problem		* Title: The Heirs of Hilbert's Sixth Problem
	* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: "Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.		* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: "Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Track-1/The+Heirs+of+Hilbert's+Sixth+Problem--MichaelGruninger_20250205.mp4 Video Recording]

	== Conference Call Information ==		== Conference Call Information ==

Forum at 19:59, 4 February 2025

2025-02-04T19:59:56Z

← Older revision		Revision as of 19:59, 4 February 2025
Line 23:		Line 23:
	'''[[MichaelGruninger\|Michael Gruninger]]'''		'''[[MichaelGruninger\|Michael Gruninger]]'''
	* Title: The Heirs of Hilbert's Sixth Problem		* Title: The Heirs of Hilbert's Sixth Problem
	* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part. This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.		* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: "Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 19:48, 4 February 2025

2025-02-04T19:48:39Z

← Older revision		Revision as of 19:48, 4 February 2025
Line 23:		Line 23:
	'''[[MichaelGruninger\|Michael Gruninger]]'''		'''[[MichaelGruninger\|Michael Gruninger]]'''
	* Title: The Heirs of Hilbert's Sixth Problem		* Title: The Heirs of Hilbert's Sixth Problem
	* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.		* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part. This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 20:08, 30 January 2025

2025-01-30T20:08:54Z

← Older revision		Revision as of 20:08, 30 January 2025
Line 31:		Line 31:
	* Expected Call Duration: 1 hour		* Expected Call Duration: 1 hour
	{{:OntologySummit2025/ConferenceCallInformation}}		{{:OntologySummit2025/ConferenceCallInformation}}

	~~== Participants ==~~

	== Discussion ==		== Discussion ==

Forum at 03:05, 13 January 2025

2025-01-13T03:05:33Z

← Older revision		Revision as of 03:05, 13 January 2025
Line 22:		Line 22:
	== Agenda ==		== Agenda ==
	'''[[MichaelGruninger\|Michael Gruninger]]'''		'''[[MichaelGruninger\|Michael Gruninger]]'''
	** Title: The Heirs of Hilbert's Sixth Problem		* Title: The Heirs of Hilbert's Sixth Problem
	** Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.		* Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 03:04, 13 January 2025

2025-01-13T03:04:10Z

← Older revision		Revision as of 03:04, 13 January 2025
Line 22:		Line 22:
	== Agenda ==		== Agenda ==
	'''[[MichaelGruninger\|Michael Gruninger]]'''		'''[[MichaelGruninger\|Michael Gruninger]]'''
			** Title: The Heirs of Hilbert's Sixth Problem
			** Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.

	== Conference Call Information ==		== Conference Call Information ==

Forum: Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Track 1 |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::05 Feb 2025 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Gary Berg-Cross |} = Ontology Summit 2025 {{#show:{{PAGENAME}}|?sessi..."

2025-01-13T03:03:13Z

Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Track 1 |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::05 Feb 2025 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Gary Berg-Cross |} = Ontology Summit 2025 {{#show:{{PAGENAME}}|?sessi..."

New page

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Track 1]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::05 Feb 2025 17:00 GMT]]
|-
| 9:00am PST/12:00pm EST
|-
| 5:00pm GMT/6:00pm CET
|-
! scope="row" | Convener
| [[convener::GaryBergCross|Gary Berg-Cross]]
|}

= [[OntologySummit2025|Ontology Summit 2025]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
'''[[MichaelGruninger|Michael Gruninger]]'''

== Conference Call Information ==
* Date: '''Wednesday, 05 February 2025'''
* Start Time: 9:00am PST / 12:00pm EST / 6:00pm CET / 5:00pm GMT / 1700 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=5&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

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

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

[[Category:OntologySummit2025]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]