Actions

Ontolog Forum

Session Track 4
Duration 1 hour
Date/Time 16 Apr 2025 16:00 GMT
9:00am PDT/12:00pm EDT
5:00pm BST/6:00pm CEST
Convener Ravi Sharma

Ontology Summit 2025 Track 4

Agenda

Ravi Sharma will be giving a presentation to begin Track 4.

  • Outline TRACK 4 - Ontology and Data
    • Difference between Mathematics and Ontology
    • Examples of ontologies with large amounts of instance data (e.g., ABox, KG)
    • How are Ontologies and AI being used for Science Nobel Prizes?
  • Speakers for Next Sessions
  • References
  • Q&A
  • Slides
  • Presentation Video Recording
  • Discussion Video Recording

Conference Call Information

Discussion

12:49 Cory Casanave: Absolutely - interoperability & federation should be a focus.

12:56 Douglas Miles: Amazing questions about thinking they don't need ontology.
12:57 Douglas Miles: They had to glue the mathematics to something... for example the classes of equations that use rotational velocity... only bind to specific things (referring to when certain equations work the same between domains)
13:00 Douglas Miles: I really like Arthur M. Young's "3-fold" vs "4-fold" divisions (how they relate to physics)

13:01 Mike Bennett: The "Binding" of terms in an ontology to things in reality is an interesting question (binding might be the wrong word). Also and separately the binding to data.

13:02 janet singer: Wouldn’t ontology for these specialized areas of physics assume the ‘entities’ are definable by something other than the mathematics?

13:04 Gary Berg-Cross: People use the idea of aligning vocabularies to concepts that are names in an ontology and one needs to make the definitions of a term be axioms in the ontology for them to be a useful alignment. This was covered to some degree on my track on semantic harmonization some years ago.

13:14 Gary Berg-Cross: "When a physicist creates a model, he gives a description of a system which uses simplified system properties in order to enable the construction of a mathematical model. Once the mathematical model is available, purely mathematical reasoning processes such as variable substitution or term approximation can be used to refine it....; The fact that variables used in mathematical equations are both mathematical entities and represent real magnitudes enables classical physics to mediate between reality and mathematics. Modern theoretical physics, in contrast, cannot achieve this, as there are no available universals. Applied physics can be used to engineer technical systems that can be used to demonstrate the ability of the models to explain and predict aspects of nature. They thereby combine classical and modern physics. But even here the system elements from modern physics are not universals either, as we have seen." Landgrebe & Smith

13:15 Alican Tüzün: There is also argument that, some philosophers which follows "logic", are against the notion of combining the mathematics and logics. Maybe they are right?

13:16 Mike Bennett: Sorry I got booted off somehow

13:26 Phil Jackson: There is an extremely wide range of semantics for all the data on the web... perhaps beyond the scope of any existing technology...? Or perhaps beyond the scope of any existing ontology...?

  • 13:27 Mike Bennett: Beyond the scope of Realist ontology, certainly.

13:27 Douglas Miles: There really needs to be another project like IRAARUS or CYC again ... all the data was curated because we assumed such tools would be available

13:27 Phil Jackson: thanks!

13:28 Douglas Miles: ty

Resources

Previous Meetings

 Session
ConferenceCall 2025 04 09Track 3
ConferenceCall 2025 04 02Track 3
ConferenceCall 2025 03 26Track 3
... further results

Next Meetings

 Session
ConferenceCall 2025 04 23Track 4
ConferenceCall 2025 04 30Track 4
ConferenceCall 2025 05 07Track 4
... further results
Retrieved from "https://ontologforum.com/index.php?title=ConferenceCall_2025_04_16&oldid=5339"