Actions

ConferenceCall 2025 01 15: Difference between revisions

Ontolog Forum

No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 19: Line 19:


= [[OntologySummit2025|Ontology Summit 2025]] {{#show:{{PAGENAME}}|?session}} =
= [[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 ==
== Agenda ==
* 12:00 - 12:20 Introduction to the Summit and Track 1'''[[GaryBergCross|Gary Berg-Cross]]'''  
* 12:00 - 12:20 Introduction to the Summit and Track 1 '''[[GaryBergCross|Gary Berg-Cross]]'''  
* 12:20 - 12:30 Track 2 '''[[RaviSharma|Ravi Sharma]]'''  
** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-1-Launch--GaryBerg-Cross_20250115.pdf Slides]
* 12:30 - 12:40 Track 3
* 12:20 - 12:30 Track 2 '''[[AlexShkotin|Alex Shkotin]]'''  
* 12:40 - 12:50 Track 4
** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Track-2-Launch--AlexShkotin_20250115.pdf Slides]
* 12:30 - 12:40 Track 3 '''[[MikeBennett|Mike Bennett]]'''
* 12:40 - 12:50 Track 4 '''[[RaviSharma|Ravi Sharma]]'''
** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/Domain-Awareness--RaviSharma_20250115.pdf Slides]
* 12:50 - 13:00 General Q&A
* 12:50 - 13:00 General Q&A
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/OntologySummit2025-Introduction__KenBaclawski.pdf Introductory Slides]
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/OntologySummit2025-Introduction__KenBaclawski.pdf Introductory Slides]
Line 35: Line 43:
{{:OntologySummit2025/ConferenceCallInformation}}
{{:OntologySummit2025/ConferenceCallInformation}}


== Participants ==
== Discussion ==
01:10:54 Ítalo Oliveira: A modeling language capturing these upper-level theories does exist. It is OntoUML, whose metamodel corresponds to the Unified Foundational Ontology (UFO). It allows one to create conceptual models obeying by design upper-level ontological distinctions.


== Discussion ==
01:18:56 Robert Rovetto: Here's a working catalog of definitions of 'ontology' at https://tinyurl.com/mu3pusmu (100+ listed thus far)
 
01:38:28 Ítalo Oliveira: It’s difficult to make your ontology approximate to your intended models. It’s an open problem that requires a systematic approach to testing and debugging, that is, to the whole ontology development process. This applies to OWL ontologies but even more so to foundational ontologies in FOL since the latter are often just proven to be satisfiable and nothing more.
 
01:50:13 Elizabeth Florescu: Thank you Ravi for remembering Peter Yim!
 
01:50:29 Ítalo Oliveira: I haven’t looked it up, but I am sure there are works using ontologies for data integration in scientific contexts. There’s a major question about designing the right ontological theories for, say, physics. However, data merge is clearly a nice use case of ontologies in scientific enterprises (imagine you have different equipment and sensors capturing data for your experiments).


== Resources ==
== Resources ==
* [https://ontologforum.s3.amazonaws.com/OntologySummit2025/Kickoff/MainSeriesKickoff_20250221.mp4 Video Recording]
* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2025/Launch/SummitOverview--GaryBerg-Cross_20250115.mp4 Video Recording]
* [https://youtu.be/IdG2YNkjnhY Youtube Video]
* [https://youtu.be/JynSd8NM020 Youtube Video]


== Next Meetings ==
== Next Meetings ==

Latest revision as of 03:20, 17 January 2025

Session Overview
Duration 1 hour
Date/Time 15 Jan 2025 17:00 GMT
9:00am PST/12:00pm EST
5:00pm GMT/6:00pm CET
Convener Gary Berg-Cross

Ontology Summit 2025 Overview

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

Conference Call Information

Discussion

01:10:54 Ítalo Oliveira: A modeling language capturing these upper-level theories does exist. It is OntoUML, whose metamodel corresponds to the Unified Foundational Ontology (UFO). It allows one to create conceptual models obeying by design upper-level ontological distinctions.

01:18:56 Robert Rovetto: Here's a working catalog of definitions of 'ontology' at https://tinyurl.com/mu3pusmu (100+ listed thus far)

01:38:28 Ítalo Oliveira: It’s difficult to make your ontology approximate to your intended models. It’s an open problem that requires a systematic approach to testing and debugging, that is, to the whole ontology development process. This applies to OWL ontologies but even more so to foundational ontologies in FOL since the latter are often just proven to be satisfiable and nothing more.

01:50:13 Elizabeth Florescu: Thank you Ravi for remembering Peter Yim!

01:50:29 Ítalo Oliveira: I haven’t looked it up, but I am sure there are works using ontologies for data integration in scientific contexts. There’s a major question about designing the right ontological theories for, say, physics. However, data merge is clearly a nice use case of ontologies in scientific enterprises (imagine you have different equipment and sensors capturing data for your experiments).

Resources

Next Meetings

 Session
ConferenceCall 2025 01 22Keynote
ConferenceCall 2025 01 29Track 1
ConferenceCall 2025 02 05Track 1
... further results