Ontolog Forum - User contributions [en]

OntologySummit2026

2026-02-16T22:26:56Z

RaviSharma: /* Schedule */

= Ontology Summit 2026 =
== Ontologies: Past, Present, Future ==
== 20th Anniversary of the Ontology Summit ==

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
The [[OntologySummit2026|Ontology Summit 2026]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communique summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.

== Description ==

As the first summit was held 20 years ago in March 2006, the current summit will consist of a retrospective of past summits as well as both current ontology activities and future prospects.

Summit Chair [[KenBaclawski|Ken Baclawski]]
 Track Chairs:
* Ontologies and AI [[GaryBergCross|Gary Berg-Cross]]
* Foundations and Tools [[KenBaclawski|Ken Baclawski]]
* Interoperability [[RaviSharma|Ravi Sharma]] and [[ToddSchneider|Todd Schneider]]
* Education, Training and Certification 

== Schedule ==
* [[ConferenceCall_2026_02_18|18 February 2026]] ''Launch'' 
* [[ConferenceCall_2026_02_25|25 February 2026]] Retrospective Panel
** Ken Baclawski (chair)
** Janet Singer
** Michael Gruninger
** Steve Ray
* [[ConferenceCall_2026_03_04|4 March 2026]] Gary and Ram
* [[ConferenceCall_2026_03_11|11 March 2026]] Randy Goebel
* [[ConferenceCall_2026_03_18|18 March 2026]] Pascal Hitzler
* [[ConferenceCall_2026_03_25|25 March 2026]]

** Manas Gaur
* [[ConferenceCall_2026_04_01|1 April 2026]] 
* [[ConferenceCall_2026_04_08|8 April 2026]] 
* [[ConferenceCall_2026_04_15|15 April 2026]] 
* [[ConferenceCall_2026_04_22|22 April 2026]] 
* [[ConferenceCall_2026_04_29|29 April 2026]] 
* [[ConferenceCall_2026_05_06|6 May 2026]] Ravi Sharma
* [[ConferenceCall_2026_05_13|13 May 2026]] Mike Bennett
* [[ConferenceCall_2026_05_20|20 May 2026]] 
* [[ConferenceCall_2026_05_27|27 May 2026]] TBA
* [[ConferenceCall_2026_06_03|3 June 2026]]
** John Sowa
** Arun Majumdar
* [[ConferenceCall_2026_06_10|10 June 2026]] Synthesis
* [[ConferenceCall_2026_06_17|17 June 2026]] Symposium

== Resources ==
* [[OntologySummit2026/ConferenceCallInformation|Conference Call Information]]
* [http://bit.ly/34DOmRV Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2026]]

TerryBollinger

2025-05-01T11:15:52Z

RaviSharma: Created page with "Terry Bollinger is a retired Chief Scientist for the U.S. DoD Defense Venture Catalyst Initiative, among other roles centered on finding, assessing, and promoting leading-edge hard science and information technologies relevant to the U.S. Federal government. See: Apabistia Press, especially Apabistia Notes: [1]. Terry is a cognitive scientist who, as part of the MITRE Corporation, helped the U.S. Federal Government define, review, and provide funding grants for advanced..."

Terry Bollinger is a retired Chief Scientist for the U.S. DoD Defense Venture Catalyst Initiative, among other roles centered on finding, assessing, and promoting leading-edge hard science and information technologies relevant to the U.S. Federal government. See: Apabistia Press, especially Apabistia Notes: [1]. Terry is a cognitive scientist who, as part of the MITRE Corporation, helped the U.S. Federal Government define, review, and provide funding grants for advanced research in artificial intelligence and robotics. He promoted and helped get funding for the neural nets that underlie much of the 2020s' explosion of scientific and commercial use of AI. As Chief Scientist for a small U.S. Department of Defense initiative created by Secretary Donald Rumsfeld and John Kasich (who later became the Governor of Ohio), Terry assessed and promoted early federal use of emerging leading-edge hard science and information technologies such as FireEye, which years later sold for US$2B. On the hard science side, he once saved RockPort Capital Partners $9M by recommending they first do a $1M scaling test before investing $10M in a clever new fusion energy design. More recently, Terry either predicted or accidentally initiated a trillion-dollar stock market dip by proposing three methods for vastly improving the computational efficiency of Large Language Models in November 2024. A few months later, the Chinese company DeepSeek used the easiest of these ideas to cause a global stock market dip. His other two more difficult but also more powerful LLM optimization concepts remain untested, at least publicly. Finally, if you have a powerful smartphone in your pocket, Terry helped make it possible by persuading the U.S. Department of Defense in 2003 not to ban open-source software in U.S. federal contracts, which would have bled over into the private sector. Terry views the emergence of persistent conserved properties (continuants) as the deepest and most important mystery in physics.
The First Nobel Prize for Insidious Software Degradation [Generative AI as a Hologram] (YouTube), Washington Quantum Computing Meetup, Nov. 2, 2024.
YouTube Video
Slides
Article
Fairy Dust in Physics: How Non-Physical Views of Information Impede Theory Progress (YouTube), Washington Quantum Computing Meetup, Feb. 15, 2025.
YouTube Video
Slides
Edited Transcript
Smooth Spacetime is Only a First Approximation (YouTube), Washington Quantum Computing Meetup, Mar. 15, 2025.
YouTube Video
Slides

OntologySummit2025

2025-05-01T11:13:55Z

RaviSharma: /* Schedule */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: [[MikeBennett|Mike Bennett]]

* [[ConferenceCall_2025_03_26|26 March 2025]] '''[[AndreaWesterinen|Andrea Westerinen]]'''
** Title: Narratives to Gain Situational Awareness via Ontologies
** Abstract: This presentation introduces an ontology to describe how we conceptualize and communicate about situations in the real-world - the events, entities and relationships that exist. Building on ontological semantics, we propose a mapping from narratives (descriptions of the real-world) to propositional statements (triples), where the truth values of the propositions depend on objective reality but filtered by the subjective and intersubjective interpretations and goals of the narrator. Inspired by Walter Fisher’s narrative paradigm, we highlight the universality of storytelling as a means for humans to organize, interpret, and communicate experience. To model and compare narrative structures, we present an ontology that captures the who, what, where, when, why, and how within narratives. This enables systematic exploration of narratives' sources, sentiments, use of language and much more. And, this exploration can occur across multiple narratives and across time. Using an ontology provides conceptual clarity and minimizes ambiguity. The approach enables comparison of the topics, entities and actions discussed and how the narrative is structured and conveyed in order to appeal and engage the reader/listener.

* [[ConferenceCall_2025_04_02|2 April 2025]] '''[[AlicanTüzün|Alican Tüzün]]'''
* Title: Beyond Blind Spots: How Semantic Strategies Reveal Hidden Insights in the Business World
* Abstract: Traditional analytical frameworks often struggle to capture the complexity of business ecosystems, leading to ecosystem blind spots and missed opportunities. Following a semantic approach, we introduce the Business Ecosystem Analysis & Representation (BEAR) framework to uncover these blind spots. This approach leverages domain, seed ontologies, and empirical data to construct insightful knowledge graphs and context-driven visualizations, enabling question-driven analysis. Furthermore, we applied BEAR to the wind energy ecosystem to demonstrate its value using data from 35 companies extracted from WindEnergy Hamburg 2024. Guided by codeveloped questions with industry experts from a leading manufacturer, our analysis revealed the BEAR’s ability to map organizational positioning, interdependencies, and previously hidden wind energy ecosystem supply chain dynamics. These preliminary results demonstrate BEAR’s effectiveness in unlocking deeper ecosystem understanding beyond syntactic methods, offering a scalable, semantic toolset that promises to advance strategic planning and ecosystem knowledge representation in business ecosystem analysis.

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 '''[[AndreaWesterinen|Andrea Westerinen]]'''
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 '''[[AlicanTüzün]]'''
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 Panel Discussion
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 '''[[ElisaKendall|Elisa Kendall]]'''
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 '''[[TerryBollinger | Terry Bollinger]]'''
* [[ConferenceCall_2025_05_14|2025_05_14]] Synthesis II
* [[ConferenceCall_2025_05_21|2025_05_21]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

ConferenceCall 2025 04 23

2025-04-16T11:45:10Z

RaviSharma: /* Agenda */

ConferenceCall 2025 05 07

2025-04-14T21:43:23Z

RaviSharma: /* Agenda */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Track 4]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::07 May 2025 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 5:00pm BST/6:00pm CEST
|-
! scope="row" | Convener
| [[convener::RaviSharma|Ravi Sharma]]
|}

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

== Agenda ==
'''Terry Bollinger''' ''Bottom-Up Time Construction as a Unifying Physics Theme''
* Abstract:
**The ontology of modern physics is largely an instance of an ontology of mathematics developed in the 1700s, centuries before the advent of special relativity and quantum theory. Excessive reverence for this often computationally intractable mathematical ontology initiated two centuries during which the ontologies of classical physics dominated our understanding of the real world. The cost of this approach was that it enshrined as continuants concepts that we now know unequivocally to exist experimentally only as asymptotic-limit occurrents that, at the particle level, are often exceedingly short. The concept of a “point-like particle” is instructive. Over a century of experimental quantum mechanics data universally forbids this concept from existing as anything more than a mostly short-lived, always approximate, and energetically costly localization of a persistent bundle of characteristic quantum numbers such as mass, charge, and spin. Disregarding such profoundly anti-point data out of traditional deference to 1700s mathematics ontologies creates noise and misdirection that has prevented new, data-driven ontologies from emerging. In particular, using point-like entities as the “obvious” continuants of physics, rather than as short-lived occurrents in which continuant bundles of quantum properties participate, induces unwarranted belief in levels of detail never found in the actual data. Minkowski’s adamant four-dimensionalism, which contrasted sharply with Einstein’s initial pragmatic focus solely on real clocks and real rulers in three-dimensional space, is an excellent example of the consequences of this inattention to data. In this talk, I propose that returning to Einstein’s far more data-driven early ontology of clocks and rulers provides an ontological approach that helps unify, rather than fray, the many domains of physics.

* Bio
Terry Bollinger
Retired Chief Scientist for the U.S. DoD Defense Venture Catalyst Initiative, among other roles
centered on finding, assessing, and promoting leading-edge hard science and information
technologies relevant to the U.S. Federal government.
See:
 Apabistia Press (especially Apabistia Notes): https://apabistia.org/
Bio
Terry Bollinger is a cognitive scientist who, as part of the MITRE Corporation, helped the U.S.
federal government define, review, and provide funding grants for advanced research in
artificial intelligence and robotics. He promoted and helped get funding for the neural nets that
underlie much of the 2020s' explosion of scientific and commercial use of AI. As Chief Scientist
for a small U.S. Department of Defense initiative created by Secretary Donald Rumsfeld and
John Kasich (who later became the Governor of Ohio), Terry assessed and promoted early
federal use of emerging leading-edge hard science and information technologies such as
FireEye, which years later sold for US$ 2 B. On the hard science side, he once saved
RockPort Capital Partners $9 M by recommending they first do a $1 M scaling test before
investing $10 M in a clever new fusion energy design. More recently, Terry either predicted or
accidentally initiated a trillion-dollar stock market dip by proposing three methods for vastly
improving the computational efficiency of Large Language Models in November 2024. A few
months later, the Chinese company DeepSeek used the easiest of these ideas to cause a
global stock market dip. His other two more difficult but also more powerful LLM optimization
concepts remain untested, at least publicly. Finally, if you have a powerful smartphone in your
pocket, Terry helped make it possible by persuading the U.S. Department of Defense in 2003
not to ban open-source software in U.S. federal contracts, which would have bled over into the
private sector. Terry views the emergence of persistent conserved properties (continuants) as
the deepest and most important mystery in physics.
* See also:
** The First Nobel Prize for Insidious Software Degradation [Generative AI as a
Hologram] (YouTube), Washington Quantum Computing Meetup, Nov. 2, 2024.
YouTube: https://youtu.be/qq6_cJqVX5E
Slides: https://sarxiv.org/apa.2024-11-02.1300.pdf
Paper: https://sarxiv.org/apa.2024-10-23.1000.pdf
** Fairy Dust in Physics: How Non-Physical Views of Information Impede Theory
Progress (YouTube), Washington Quantum Computing Meetup, Feb. 15, 2025.
YouTube: https://youtu.be/JjCiI3_7pdg
Slides: https://sarxiv.org/apa.2025-02-15.1300.01.pdf
Edited Transcript: https://sarxiv.org/apa.2025-02-15.1300.02.pdf

** Smooth Spacetime is Only a First Approximation (YouTube), Washington
Quantum Computing Meetup, Mar. 15, 2025.
YouTube: https://youtu.be/HLH6td0jeAo
Slides: https://sarxiv.org/apa.2025-03-15.1300.01.pdf

== Conference Call Information ==
* Date: '''Wednesday, 07 May 2025'''
* 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=7&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Discussion ==

== Resources ==

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

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

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

ConferenceCall 2025 04 23

2025-04-14T20:30:47Z

RaviSharma: /* Next Meetings */

ConferenceCall 2025 04 23

2025-04-14T19:32:30Z

RaviSharma: /* Agenda */

ConferenceCall 2025 05 07

2025-04-14T19:04:26Z

RaviSharma: /* Agenda */

ConferenceCall 2025 04 16

2025-04-14T18:58:45Z

RaviSharma: /* Agenda */

Terry Bollinger - Bottom-Up Time Construction as a Unifying Physics Theme

2025-03-20T13:26:42Z

RaviSharma: Created page with "tent"

tent

ConferenceCall 2025 05 07

2025-03-19T09:46:00Z

RaviSharma: /* Agenda */

OntologySummit2025

2025-03-19T09:41:57Z

RaviSharma: /* Schedule */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: Mike Bennett

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 TBA
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 TBA
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 TBA
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 '''[[Elisa Kendall - Thematix and OMG ]]'''
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 '''[[Terry Bollinger - Bottom-Up Time Construction as a Unifying Physics Theme ]]'''
* [[ConferenceCall_2025_05_14|2025_05_14]] Track 4 TBA
* [[ConferenceCall_2025_05_21|2025_05_21]] Synthesis II
* [[ConferenceCall_2025_05_26|2025_05_26]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

ConferenceCall 2025 04 23

2025-03-09T02:31:44Z

RaviSharma: /* Agenda */

ConferenceCall 2025 04 23

2025-03-09T01:50:51Z

RaviSharma: /* Agenda */

Elisa Kendall - Thematix and OMG

2025-03-09T01:47:23Z

RaviSharma: Created page with "Brief Bio of Elisa Kendall to be included here."

Brief Bio of Elisa Kendall to be included here.

OntologySummit2025

2025-03-09T01:46:15Z

RaviSharma: /* Schedule */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: Mike Bennett

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 TBA
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 TBA
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 TBA
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 '''[[Elisa Kendall - Thematix and OMG ]]'''
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 TBA
* [[ConferenceCall_2025_05_14|2025_05_14]] Track 4 TBA
* [[ConferenceCall_2025_05_21|2025_05_21]] Synthesis II
* [[ConferenceCall_2025_05_26|2025_05_26]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

Elisa Kendall - Thematrix and OMG

2025-03-09T01:15:51Z

RaviSharma: Created page with "Brief Bio of Elisa Kendell (To Be Included)"

Brief Bio of Elisa Kendell (To Be Included)

ConferenceCall 2025 04 23

2025-03-09T01:13:52Z

RaviSharma: /* Agenda */

OntologySummit2025

2025-03-09T01:12:23Z

RaviSharma: /* Schedule */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: Mike Bennett

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 TBA
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 TBA
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 TBA
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 '''[[Elisa Kendall - Thematrix and OMG ]]'''
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 TBA
* [[ConferenceCall_2025_05_14|2025_05_14]] Track 4 TBA
* [[ConferenceCall_2025_05_21|2025_05_21]] Synthesis II
* [[ConferenceCall_2025_05_26|2025_05_26]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

OntologySummit2025

2025-02-23T09:53:33Z

RaviSharma: /* Track 4: Ontologies and Data */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: Mike Bennett

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 TBA
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 TBA
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 TBA
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 TBA
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 TBA
* [[ConferenceCall_2025_05_14|2025_05_14]] Track 4 TBA
* [[ConferenceCall_2025_05_21|2025_05_21]] Synthesis II
* [[ConferenceCall_2025_05_26|2025_05_26]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

OntologySummit2025

2025-02-23T09:40:50Z

RaviSharma: /* Schedule */

= Ontology Summit 2025 =
== Conceptualization, Analysis and Formalization ==
=== The Two Sides of Ontology: Relating ontologies to the world and to theories about the world ===

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last 19 summits, this [[OntologySummit2025|Ontology Summit 2025]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communiqué summarizing major points.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.
The sessions are [https://us02web.zoom.us/j/88593616861?pwd=HafnK0yB7PFDK1EyiUyQRDKanZlbjU.1 Zoom Meetings].

== Description ==

In this summit we will consider the question of what an ontology is as well as how ontologies are related to other notions such as conceptualizations, theories and semantics.

For an overview of Track 1 "Introduction to the Summit and Track 1" by Gary Berg-Cross see https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf

'''[[NicolaGuarino|Nicola Guarino]]''' will set the stage for the summit with his keynote address: "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy", which
will be elaborated by '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]''' who will discuss semantics, ontology and explanation.
Accordingly, conceptualization is fundamental for ontologies, but a careful analysis is necessary for a specification to be useful.
'''[[MichaelGruninger|Michael Gruninger]]''' and '''[[BarrySmith|Barry Smith]]''' will then examine how one can specify the conceptualization of reality by means of mathematical theories and axioms as well as the limits of such approaches.
The next session will raise the question of what a theory is, which will
segue to a series of sessions that survey general philosophical and theoretical issues.

The second half of the summit will survey more concrete issues, specifically about data and its relationship to conceptualizations, reality and ontologies.
Of special interest are ontologies that have large amounts of continually increasing instance data.
How can one effectively verbalize and visualize such large ontologies?
How can one control the quality as the data expands?
How effective are these ontologies in practice?
Can the ontologies adequately support reasoning?

== Organization ==

We will begin with a [[ConferenceCall_2025_01_15|Overview Session]] on Wednesday, 15 January 2025.
This will be followed by a [[ConferenceCall_2025_01_22|Keynote Address "Ontologies as specifications of conceptualizations: correctness, precision, and accuracy”.]] featuring '''[[NicolaGuarino|Nicola Guarino]]''' on Wednesday, 22 January 2025.
The summit will consist of four tracks as follows:

=== Track 1: Conceptualizing the theoretical form of reality ===
Track Chair: [[GaryBergCross|Gary Berg-Cross]]

* [[ConferenceCall_2025_01_29|29 January 2025]] '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
** Title: "Explanation, Semantics, and Ontology"
** Abstract: It is well-known by now that, of the so-called 4Vs of Big Data (Velocity, Volume, Variety and Veracity), the bulk of effort and challenge is in the latter two: (1) data comes in a large variety of representations (both from a syntactic and semantic point of view); (2) data can only be useful if truthful to the part of reality that it is supposed to represent. Moreover, the most relevant questions we need to have answered in science, government and organizations can only be answered if we put together data that reside in different data silos, which are produced in a concurrent manner by different agents and in different points of time and space. Thus, data is only useful in practice if it can (semantically) interoperate with other data. Every data schema represents a certain conceptualization, i.e., it makes an ontological commitment to a certain worldview. Issue (2) is about understanding the relation between data schemas and their underlying conceptualizations. Issue (1) is about safely connecting these different conceptualisations represented in different schemas. To address (1) and (2), we need to be able to properly explain these data schemas, i.e., to reveal the real-world semantics (or the ontological commitments) behind them. In this talk, I discuss the strong relation between the notions of real-world semantics, ontology, and explanation. I will present a notion of explanation termed Ontological Unpacking, which aims at explaining symbolic representation artifacts (conceptual models connected to data schemas, knowledge graphs, logical specifications). I show that these artifacts when produced by Ontological Unpacking differ from their traditional counterparts not only in their expressivity but also on their nature: while the latter typically merely have a descriptive nature, the former have an explanatory one. Moreover, I show that it is exactly this explanatory nature that is required for semantic interoperability. I will also discuss the relation between Ontological Unpacking and other forms of explanation in philosophy and science, as well as in Artificial Intelligence. I will argue that the current trend in XAI (Explainable AI) in which “to explain is to produce a symbolic artifact” (e.g., a decision tree or a counterfactual description) is an incomplete project resting on a false assumption, that these artifacts are not “inherently interpretable”, and that they should be taken as the beginning of the road to explanation, not the end. This talk is based on the following paper: https://www.sciencedirect.com/science/article/pii/S0169023X24000491

* [[ConferenceCall_2025_02_05|5 February 2025]] '''[[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.
* [[ConferenceCall_2025_02_12|12 February 2025]] '''[[BarrySmith|Barry Smith]]'''
** Title: Models, theories and ontologies
** In the paper https://arxiv.org/abs/2305.01560 Jobst Landgrebe and I outline the beginnings of on ontology of physics and mathematics from a BFO (= commonsensical) perspective. I will sketch how the ontologies of classical and modern physics relate to the ontology of common sense and of mathematics. In brief, classical physics inherits the common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not extend the realm of common sense by augmenting our knowledge of what is going on in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we do understand ontologically.
* [[ConferenceCall_2025_02_19|19 February 2025]] '''[[KenBaclawski|Ken Baclawski]]'''
** Title: Conceptualizing Domains
** Abstract: The summit so far has presented some very important topics for our community. This talk will summarize and expand on some of what has transpired in the sessions as well as the forum discussions. The issues that I will present include definitions of theory, observer effects, unreasonable effectiveness, semantics of voids and the Cantor paradise. Many of these issues represent new challenges and opportunities for ontologies. I will end with an introduction to the upcoming tracks.

=== Track 2: Theoretical Knowledge and Reality ===
Track CoChairs: [[KennethBaclawski|Ken Baclawski]] and [[AlexShkotin|Alex Shkotin]]

* [[ConferenceCall_2025_02_26|26 February 2025]] '''[[ArunMajumdar|Arun Majumdar]]''' and '''[[JohnSowa|John Sowa]]''' - ''Generating Ontologies''
* Abstract: The LLMs of Generative AI support powerful methods for translating, finding, combining, and transforming data represented in languages of any kind — natural, artificial, linear, diagrammatic, pictorial, or structural in any number of dimensions. Their reasoning is based on abduction or educated guessing. But abduction alone cannot evaluate the accuracy of the guesses. Therefore, many generative AI systems are hybrids that also use traditional symbolic AI methods for detecting and avoiding errors. Permion technology is based on an integrated combination of the best generative and symbolic methods. Reasoning is performed in a cognitive cycle of abduction, deduction, testing, induction, and repeat. The cognitive cycle begins with a basic ontology, which it revises and extends dynamically.

* [[ConferenceCall_2025_03_05|5 March 2025]] '''Øystein Linnebo''' ''Constructional ontology and criteria of identity''
* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

* [[ConferenceCall_2025_03_12|12 March 2025]] '''Kit Fine'''

=== Track 3: From Reality to Data ===
* Track Chair: Mike Bennett

This track will cover a range of topics and questions such as:
* Truthmakers; perception; situation awareness
* Quality control of ontologies from the point of view of supporting theories
* How can we make our devices and manipulators?
* How can we use theoretical knowledge to create our measurement and other tools?
* Data verbalization: any unit of data can be read out loud.
* Data visualization

=== Track 4: Ontologies and Data ===
* Track Chair: Ravi Sharma
This track will cover a range of topics and questions such as:
* What is the difference between an ontology and a mathematical theory?
* Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
** How effective are these ontologies in practical situations?
** Do the ontologies adequately support reasoning processes?**
** What trade-offs may have been considered?
* How Ontologies and AI are being used for Science Nobel Prizes?

== Schedule ==
* [[ConferenceCall_2025_01_15|2025_01_15]] Overview Session '''[[GaryBergCross|Gary Berg-Cross]]'''
* [[ConferenceCall_2025_01_22|2025_01_22]] Keynote Address '''[[NicolaGuarino|Nicola Guarino]]'''
* [[ConferenceCall_2025_01_29|2025_01_29]] Track 1 '''[[GiancarloGuizzardi|Giancarlo Guizzardi]]'''
* [[ConferenceCall_2025_02_05|2025_02_05]] Track 1 '''[[MichaelGruninger|Michael Gruninger]]'''
* [[ConferenceCall_2025_02_12|2025_02_12]] Track 1 '''[[BarrySmith|Barry Smith]]'''
* [[ConferenceCall_2025_02_19|2025_02_19]] Track 1 '''[[KenBaclawski|Ken Baclawski]]'''
* [[ConferenceCall_2025_02_26|2025_02_26]] Track 2 '''[[JohnSowa|John Sowa]]'''
* [[ConferenceCall_2025_03_05|2025_03_05]] Track 2 '''Øystein Linnebo'''
* [[ConferenceCall_2025_03_12|2025_03_12]] Track 2 '''Kit Fine'''
* [[ConferenceCall_2025_03_19|2025_03_19]] Synthesis I
* [[ConferenceCall_2025_03_26|2025_03_26]] Track 3 TBA
* [[ConferenceCall_2025_04_02|2025_04_02]] Track 3 TBA
* [[ConferenceCall_2025_04_09|2025_04_09]] Track 3 TBA
* [[ConferenceCall_2025_04_16|2025_04_16]] Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* [[ConferenceCall_2025_04_23|2025_04_23]] Track 4 TBA
* [[ConferenceCall_2025_04_30|2025_04_30]] Track 4 TBA '''No Meeting '''
* [[ConferenceCall_2025_05_07|2025_05_07]] Track 4 TBA
* [[ConferenceCall_2025_05_14|2025_05_14]] Track 4 TBA
* [[ConferenceCall_2025_05_21|2025_05_21]] Synthesis II
* [[ConferenceCall_2025_05_26|2025_05_26]] Communiqué

== Resources ==
* [[OntologySummit2025/ConferenceCallInformation|Conference Call Information]]
* [https://www.youtube.com/channel/UCKK2e8NZ9lyLDBpXY18O_Tg Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2025]]

ConferenceCall 2025 04 30

2025-02-23T09:10:20Z

RaviSharma: /* Ontology Summit 2025 {{#show:{{PAGENAME}}|?session}} */

ConferenceCall 2025 02 26

2025-02-16T14:45:19Z

RaviSharma: /* Agenda */

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

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

== Agenda ==
* '''[[JohnSowa|John Sowa]]''' and Arun Majumdar - ''Generating Domain Specific Ontologies''

== Conference Call Information ==
* Date: '''Wednesday, 26 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=26&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_25]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

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

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

ConferenceCall 2025 02 26

2025-02-16T14:44:28Z

RaviSharma: /* Agenda */

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

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

== Agenda ==
* '''[[JohnSowa|John Sowa]]''' and Arun Majumdar ''Generating Domain Specific Ontologies''

== Conference Call Information ==
* Date: '''Wednesday, 26 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=26&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_25]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

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

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

ConferenceCall 2025 01 15

2025-01-15T15:33:43Z

RaviSharma: /* Participants */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Overview]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::15 Jan 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}} =
= Conceptualization, Analysis and Formalization =
*Track 1: Conceptualizing the theoretical form of reality
*Track 2: Theoretical Knowledge and Reality
*Track 3: From Reality to Data
*Track 4: Ontologies and Data

== Agenda ==
* 12:00 - 12:20 Introduction to the Summit and Track 1'''[[GaryBergCross|Gary Berg-Cross]]'''
* 12:20 - 12:30 Track 2 '''[[AlexShkotin|Alex Shkotin]'''
* 12:30 - 12:40 Track 3'''[[MikeBennett|Mike Bennett]]'''
* 12:40 - 12:50 Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* 12:50 - 13:00 General Q&A
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/OntologySummit2025-Introduction__KenBaclawski.pdf Introductory Slides]

== Conference Call Information ==
* Date: '''Wednesday, 15 January 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=1&day=15&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Participants ==

Gary Berg-Cross

Ravi Sharma

== Discussion ==

== Resources ==
* [https://ontologforum.s3.amazonaws.com/OntologySummit2025/Kickoff/MainSeriesKickoff_20250221.mp4 Video Recording]
* [https://youtu.be/IdG2YNkjnhY Youtube Video]

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

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

ConferenceCall 2025 01 15

2025-01-15T15:32:28Z

RaviSharma: /* Ontology Summit 2025 {{#show:{{PAGENAME}}|?session}} */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Overview]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::15 Jan 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}} =
= Conceptualization, Analysis and Formalization =
*Track 1: Conceptualizing the theoretical form of reality
*Track 2: Theoretical Knowledge and Reality
*Track 3: From Reality to Data
*Track 4: Ontologies and Data

== Agenda ==
* 12:00 - 12:20 Introduction to the Summit and Track 1'''[[GaryBergCross|Gary Berg-Cross]]'''
* 12:20 - 12:30 Track 2 '''[[AlexShkotin|Alex Shkotin]'''
* 12:30 - 12:40 Track 3'''[[MikeBennett|Mike Bennett]]'''
* 12:40 - 12:50 Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* 12:50 - 13:00 General Q&A
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/OntologySummit2025-Introduction__KenBaclawski.pdf Introductory Slides]

== Conference Call Information ==
* Date: '''Wednesday, 15 January 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=1&day=15&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Participants ==

Gary Berg-Cross

== Discussion ==

== Resources ==
* [https://ontologforum.s3.amazonaws.com/OntologySummit2025/Kickoff/MainSeriesKickoff_20250221.mp4 Video Recording]
* [https://youtu.be/IdG2YNkjnhY Youtube Video]

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

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

OntologySummit2025

2025-01-15T14:43:15Z

RaviSharma: /* Schedule */

OntologySummit2025

2025-01-15T14:40:37Z

RaviSharma: /* Track 4: Ontologies and Data */

ConferenceCall 2025 01 15

2025-01-15T09:39:42Z

RaviSharma: /* Ontology Summit 2025 {{#show:{{PAGENAME}}|?session}} */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Overview]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::15 Jan 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 ==
* 12:00 - 12:20 Introduction to the Summit and Track 1'''[[GaryBergCross|Gary Berg-Cross]]'''
* 12:20 - 12:30 Track 2 '''[[AlexShkotin|Alex Shkotin]'''
* 12:30 - 12:40 Track 3'''[[MikeBennett|Mike Bennett]]'''
* 12:40 - 12:50 Track 4 '''[[RaviSharma|Ravi Sharma]]'''
* 12:50 - 13:00 General Q&A
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/OntologySummit2025-Introduction__KenBaclawski.pdf Introductory Slides]

== Conference Call Information ==
* Date: '''Wednesday, 15 January 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=1&day=15&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==
* [https://ontologforum.s3.amazonaws.com/OntologySummit2025/Kickoff/MainSeriesKickoff_20250221.mp4 Video Recording]
* [https://youtu.be/IdG2YNkjnhY Youtube Video]

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

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

OntologySummit2025

2025-01-15T09:05:15Z

RaviSharma: /* Track 4: Ontologies and Data */

OntologySummit2025

2025-01-15T09:00:21Z

RaviSharma: /* Track 3: From Reality to Data */

OntologySummit2025

2025-01-15T08:57:33Z

RaviSharma: /* Track 2: Theoretical Knowledge and Reality */

OntologySummit2024

2024-07-06T21:04:22Z

RaviSharma:

= Ontology Summit 2024 =
== Neuro-Symbolic Techniques for and with Ontologies and Knowledge Graphs ==

The [[OntologySummit|Ontology Summit]] is an annual series of events that involves the ontology community and communities related to each year's theme chosen for the summit. The Ontology Summit was started by Ontolog and NIST, and the program has been co-organized by Ontolog and NIST along with the co-sponsorship of other organizations that are supportive of the Summit goals and objectives.

As part of Ontolog’s general advocacy to bring ontology science and related engineering into the mainstream, we endeavor to facilitate discussion and knowledge sharing amongst stakeholders and interested parties relevant to the use of ontologies. The results will be synthesized and summarized in the form of the Ontology Summit 2024 Communiqué, with expanded supporting material provided on the web and in journal articles.

= Process and Deliverables =
Similar to our last seventeen summits, this [[OntologySummit2024|Ontology Summit 2024]] will consist of virtual discourse (over our archived mailing lists), virtual presentations and panel sessions as part of recorded video conference calls.
As in prior years the intent is to provide some synthesis of ideas and draft a communique summarizing major points.
This year began with a '''[[OntologySummit2024_FallSeries|Fall Series]]''' in October and November; the main summit will begin in February.

Meetings are at Noon US/Canada Eastern Time on Wednesdays and last about an hour.

== Description ==

The summit will survey current techniques that combine neural network machine learning with symbolic methods, especially methods based on ontologies and knowledge graphs.

Ontologies are representations of a knowledge domain. They define the concepts, relationships, properties, axioms and rules within that domain, providing a framework that enables a deep understanding of that subject area. Knowledge graphs are structured representations of semantic knowledge that are stored in a graph. Ontologies and knowledge graphs are used to enable machine reasoning and semantic understanding, allowing a system to draw inferences and to derive new information and relationships between entities.

Neural network and other machine learning models, such as LLMs, are trained on large corpora, learning the patterns and connections between words and images. Hence, although their “knowledge base” is broad, it is also sometimes incorrect and/or biased, and doesn't explicitly understand the semantics or relationships in that content.

Consequently, neural network and traditional AI techniques are complementary. The '''[[OntologySummit2024_FallSeries|Fall Series]]''' of the summit explored the similarities and distinctions between ontologies and LLMs, as well as how they can be used together. The Main Summit Series will examine the more general topic of neuro-symbolic techniques, especially how one can leverage the complementary benefits of neural networks and of ontologies and knowledge graphs.

Main Series Chair [[KenBaclawski|Ken Baclawski]]

* Track A. Foundations and Architectures
* Track B. Large Language Models, Ontologies and Knowedge Graphs
* Track C. Applications
* Track D. Risks and Ethics

== Schedule ==
* [[ConferenceCall_2024_02_21|21 February 2024]] ''Kickoff/Overview''
* [[ConferenceCall_2024_02_28|28 February 2024]] Track A Session 1
** '''Gary Marcus''' ''No AGI (and no Trustworthy AI) without Neurosymbolic AI''
** '''[[JohnSowa|John Sowa]]''' ''Without Ontology, LLMs are clueless''
* [[ConferenceCall_2024_03_06|6 March 2024]] Track B Session 1 '''Hamed Babaei Giglou''' ''LLMs4OL: Large Language Models for Ontology Learning''
* [[ConferenceCall_2024_03_13|13 March 2024]] Track B Session 2 '''[[FabianNeuhaus|Fabian Neuhaus]]''' ''Ontologies in the era of large language models – a perspective''
* [[ConferenceCall_2024_03_20|20 March 2024]] Track A Session 2 '''[[TillMossakowski|Till Mossakowski]]''' ''Modular design patterns for neural-symbolic integration: refinement and combination''
* [[ConferenceCall_2024_03_27|27 March 2024]] Track A Session 3 '''Markus J. Buehler''' ''Accelerating Scientific Discovery with Generative Knowledge Extraction, Graph-Based Representation, and Multimodal Intelligent Graph Reasoning''
* [[ConferenceCall_2024_04_03|3 April 2024]] ''First Synthesis''
* [[ConferenceCall_2024_04_10|10 April 2024]] ''Second Synthesis''
* [[ConferenceCall_2024_04_17|17 April 2024]] Track C Applications '''[[AmitSheth|Amit Sheth]]''' ''Forging Trust in Tomorrow’s AI: A Roadmap for Reliable, Explainable, and Safe NeuroSymbolic Systems''
* [[ConferenceCall_2024_04_24|24 April 2024]] Track C Applications to Healthcare
** '''Venkat Venkatasubramanian'''
** '''Kaushik Roy'''
* [[ConferenceCall_2024_05_01|1 May 2024]] Track D Session 1 ''Risk Panel''
* [[ConferenceCall_2024_05_08|8 May 2024]] Track D Session 2 ''Ethics Panel''
* [[ConferenceCall_2024_05_15|15 May 2024]] ''Third Synthesis''
* [[ConferenceCall_2024_05_22|22 May 2024]] ''Communiqué''

== Resources ==
* [[OntologySummit2024/ConferenceCallInformation|Conference Call Information]]
* [http://bit.ly/34DOmRV Ontology Summit YouTube Channel]

[[Category:OntologySummit]]
[[Category:OntologySummit2024]]

ConferenceCall 2024 05 08

2024-05-04T18:42:22Z

RaviSharma: /* Agenda */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Risks and Ethics]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::08 May 2024 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 4:00pm GMT/6:00pm CEST
|-
! scope="row" | Convener
| [[convener::MikeBennett|Mike Bennett]]
|}

= [[OntologySummit2024|Ontology Summit 2024]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
* '''[[MikeBennett|Mike Bennett]]'''
** Ontolog Board of Trustees and OMG
* '''Ramayya Krishnan'''
** Carnegie Mellon University (CMU)
** Brief Bio :
Ramayya Krishnan is the W. W. Cooper and Ruth F. Cooper Professor of Management Science and
Information Systems at the H. John Heinz III College and the Department of Engineering and Public
Policy at Carnegie Mellon University. A faculty member at CMU since 1988, Krishnan was appointed as
the Dean in 2009 of the Heinz College.
Krishnan’s education spans engineering, information technology, operations research and data analytics.
He is an expert in data and decision analytics. He is an AAAS Fellow (section T), an INFORMS Fellow,
an elected member of the National Academy of Public Administration. He chairs the AI futures
Committee of the National AI Advisory Committee to the President and the White House office of AI
Initiatives office. He was appointed chair of the DOD’s RAI academic council, in 2023. He is faculty
director of the Block Center for Technology and Society.

== Conference Call Information ==
* Date: '''Wednesday, 08 May 2024'''
* 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=8&year=2024&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour

{{:OntologySummit2024/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

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

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

[[Category:OntologySummit2024]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]

ConferenceCall 2024 05 01

2024-04-30T19:52:01Z

RaviSharma: /* Agenda */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Risks and Ethics]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::01 May 2024 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 4:00pm GMT/6:00pm CEST
|-
! scope="row" | Convener
| [[convener::RamSriram|Ram D. Sriram]]
|}

= [[OntologySummit2024|Ontology Summit 2024]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
* '''[[RamSriram|Ram D. Sriram]]''' ''Risk Panel''
Panelists include:
*'Gabriella Waters' - NIST
Gabriella Waters is an artificial intelligence and machine learning
researcher on the ARIA team at NIST where she coordinates AI testing
and evaluation across three teams. She is also the Director of
Operations and the director of the Cognitive & Neurodiversity AI
(CoNA) Lab at the Center for Equitable AI & Machine Learning Systems
at Morgan State University in Baltimore, MD. She serves as the AI
advisor and principal AI scientist at the Propel Center, where she is also
a professor of Culturally Relevant AI/ML Systems.
She is passionate about increasing the diversity of thought around
technology and focuses on interdisciplinary collaborations to drive
innovation, equity, Explainability, transparency, and ethics in the
development and application of AI tools. In her research, Gabriella is
interested in studying the intersections between human neurobiology

& learning, quantifying ethics & equity in AI/ML systems, neuro-
symbolic architectures, and intelligent systems that make use of those

foundations for improved human-computer synergy. She develops
technology innovations, with an emphasis on support for neurodiverse
populations.
*'Ken Baclwaski' Chair Ontolog Board of Trustees

*'Ramayya Krishnan'- Carnegie Mellon University (CMU)

*'Mike Bennett' Ontolog Board of Trustees and OMG

== Conference Call Information ==
* Date: '''Wednesday, 1 May 2024'''
* 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=1&year=2024&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour

{{:OntologySummit2024/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

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

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

[[Category:OntologySummit2024]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]

ConferenceCall 2024 05 01

2024-04-30T19:40:12Z

RaviSharma: /* Agenda */

ConferenceCall 2024 04 24

2024-04-23T06:51:52Z

RaviSharma: /* Ontology Summit 2024 {{#show:{{PAGENAME}}|?session}} */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Applications]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::24 Apr 2024 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 4:00pm GMT/6:00pm CEST
|-
! scope="row" | Convener
| [[convener::RamSriram|Ram D. Sriram]]
|}

= [[OntologySummit2024|Ontology Summit 2024]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
* 12:00-12:05 '''[[RamSriram|Ram D. Sriram]]''' ''Healthcare Applications Panel''
* 12:05-12:35 '''Venkat Venkatasubramanian''' ''Use of ontologies in Hybrid AI systems for Pharmaceutical Engineering''Ontology-based Machine Learning in Pharmaceutical Engineering

Venkat Venkatasubramanian
Department of Chemical Engineering,
Columbia University, New York, NY 10027

Abstract

The startling success of ChatGPT and transformer-based generative neural networks in
applications such as natural language processing and image synthesis has many researchers
excited about the potential opportunities in pharmaceutical engineering. However, there is an
essential difference between such applications and pharmaceutical engineering. The latter is
governed by fundamental laws of physics, chemistry, and biology, constitutive relations, and
highly technical knowledge about materials, processes, and systems. While purely data-driven
machine learning has its immediate uses, the long-term success of AI here would depend on
leveraging first principles and technical knowledge effectively using ontologies. In this talk, I will
discuss these challenges and opportunities going forward.

Bio:
Professor Venkat Venkatasubramanian is Samuel
Ruben-Peter G. Viele Professor of Engineering in the
Department of Chemical Engineering, Professor of
Computer Science (Affiliate), and Professor of
Industrial Engineering and Operations Research
(Affiliate) at Columbia University. He earned his Ph. D.
in Chemical Engineering at Cornell, M.S. in Physics at
Vanderbilt, and B. Tech. in Chemical Engineering at the
University of Madras, India. He taught at Purdue
University for many years before returning to Columbia
in 2011.

Venkat is a complex-dynamical-systems theorist interested in developing mathematical models of
their structure, function, and behavior from fundamental conceptual principles. He considers himself
an artist in science whose natural tendency is to conduct curiosity-driven research in a style that might
be considered impressionistic, emphasizing conceptual issues over mere techniques. He strives to
create a simplified but essentially correct model of the reality that he studies. Venkat's research
interests are diverse, ranging from AI to systems engineering to theoretical physics to economics, but
they are centered around the theme of understanding complexity and emergent behavior in different
domains.
Venkat received the Norris Shreve Award for Outstanding Teaching in Chemical Engineering three
times at Purdue University. He won the Computing in Chemical Engineering Award from AIChE and
is a Fellow of AIChE. In 2011, the College of Engineering at Purdue University recognized his
contributions with the Research Excellence Award. He is a past president of the CACHE Corporation.
From 2009-19, he served as Editor for Computers and Chemical Engineering. His book, How Much
Inequality is Fair? Mathematical Principles of a Moral, Optimal, and Stable Capitalist Society, was
published in 2017. Three of his papers are among the ten most-cited papers in the 46-year history of
Computers & Chemical Engineering. Venkat's other interests include comparative theology, classical
music, and cricket.
* 12:35-13:00 '''Kaushik Roy''' - Topic and Brief Bio: Kaushik Roy is a fourth-year Doctoral student at the AI Institute at the University of South Carolina. His research interests include developing algorithms to combine statistical data-driven learning mechanisms with curated domain-specific information from external knowledge sources, focusing on social good applications. He has published several papers and delivered talks at premier venues on his work on AI for mental health assessment assistance, and other social good applications.

== Conference Call Information ==
* Date: '''Wednesday, 24 April 2024'''
* 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=4&day=24&year=2024&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour

{{:OntologySummit2024/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

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

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

[[Category:OntologySummit2024]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]

ConferenceCall 2024 04 24

2024-04-21T20:28:39Z

RaviSharma: /* Agenda */

ConferenceCall 2024 04 03

2024-04-03T10:22:51Z

RaviSharma: /* Agenda */

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Synthesis]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::03 Apr 2024 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 4:00pm GMT/6:00pm CEST
|-
! scope="row" | Convener
| [[convener::KenBaclawski|Ken Baclawski]]
|}

= [[OntologySummit2024|Ontology Summit 2024]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
* '''[[KenBaclawski|Ken Baclawski]]''' ''First Synthesis''
* '''[Ravi Sharma]''' ''Draft Slides''

== Conference Call Information ==
* Date: '''Wednesday, 03 April 2024'''
* 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=4&day=3&year=2024&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour

{{:OntologySummit2024/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

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

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

[[Category:OntologySummit2024]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]