Session	Synthesis
Duration	1 hour
Date/Time	12 May 2021 16:00 GMT
	9:00am PDT/12:00pm EDT
	5:00pm BST/6:00pm CEST
Convener	KenBaclawski
Track	Synthesis

Ontology Summit 2021 Synthesis

Ontologies are a rich and versatile construct. They can be extracted, learned, modularized, interrelated, transformed, analyzed, and harmonized as well as developed in a formal process. This summit will explore the many kinds of ontologies and how they can be manipulated. The goal is to acquaint both current and potential users of ontologies with the possibilities for how ontologies could be used for solving problems.

Agenda

12:00 - 13:00 EDT Informal Synthesis Session Video Recording

Conference Call Information

Date: Wednesday, 12 May 2021
Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC
- ref: World Clock
Expected Call Duration: 1 hour
The Video Conference URL is https://bit.ly/3i1uPRl
- iPhone one-tap :
  - +16465588656,,83077436914#,,,,,,0#,,822275# US (New York)
  - +13017158592,,83077436914#,,,,,,0#,,822275# US (Germantown)
- Telephone:
  - Find your local number: https://us02web.zoom.us/u/kd3SqdIOZl
  - Meeting ID: 830 7743 6914
  - Passcode: 822275
Chat Room: https://bit.ly/39PzQJW
- If the chat room is not available, then use the Zoom chat room.

Attendees

Discussion

[12:15] ToddSchneider: Landscape =def. all the visible features of an area of countryside or land, often considered in terms of their aesthetic appeal

[12:19] RaviSharma: sustainability and time span Todd Gary and Ken discussed

[12:20] RaviSharma: Gary also mentioned that landscape could tie the tracks, then others said architecture of landscape is hard to envision

[12:21] RaviSharma: Ken showed Tim Berners Lee article of rules and least power for purpose - sort of!

[12:28] ToddSchneider: The IOF requires both natural language and First Order Logic definitions. Plus an intermediate definition, semi-formal, to bridge natural language and First Order Logic definitions.

[12:31] RaviSharma: we need to view landscape as a vantage point - Gary's comment

[12:32] whitten: There is little mention of SalientAssumptions, the microtheory hierarchy, as part of a definition.

[12:33] whitten: I can't discuss this verbally as my voice connection is lacking.

[12:33] ToddSchneider: See the Appendix 0 (end of the page) at https://www.industrialontologies.org/technical-principles/

[12:34] whitten: The idea of a Formal Language as a way to make a statement/proposition available to a computer.

[12:36] ToddSchneider: Landscape: What is an ontology; How is an ontology used; How is an ontology developed or created; How is an ontology maintained or extended;

[12:37] whitten: The Computer Natural language and the English and the semi-formal definitions for Human understandable has a problem that humans can piece together a statement with its own assumed statements that state its assumptions.

[12:38] whitten: I believe John Sowa has stated that a Controlled Natural Language can be mechanically converted into Formal Logic.

[12:40] whitten: If you are depending on diagrams, you really need to understand and formalize the assumptions between Image Schemas implicit in the diagram.

[12:41] whitten: Listing a vocabulary and taxonomy already in use in a field is a useful in creating Formal definitions.

[12:47] Gary Berg-Cross: I would add to the general outline the issue of quality ontologies - needed for KGs, what they leverage and what development processes add quality.

[12:51] RaviSharma: David Whitten made Cyc related and biomed field related comments to draw conclusions.

[12:51] ToddSchneider: Something has come up. Have to go.

[12:53] janet singer: What makes an ontology fit for purpose? What makes an ontology *sustainably* fit for purpose over time (changes in situations/contexts)? Approaches: 1) begin with well-developed theory, 2) use methods for learning/updating from data, 3) combine the two

[13:00] Mark Underwood: I wasn't able to get a speaker from this WG, but there are some sustainability aspects to this proposed IEEE standard https://site.ieee.org/sagroups-7007/

[13:00] Gary Berg-Cross: Yes, issues of sustainability comes up in a look the landscape.

[13:01] RaviSharma: thanks everyone. Ken says no session on 19th May

Resources

Video Recording

Previous Meetings

... further results

Next Meetings