From OntologPSMW

Jump to: navigation, search
[ ]
    (1)
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

Contents

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.     (2A)

Agenda     (2B)

Conference Call Information     (2C)

Attendees     (2D)

Discussion     (2E)

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

[12:19] RaviSharma: sustainability and time span Todd Gary and Ken discussed     (2E2)

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

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

[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.     (2E5)

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

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

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

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

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

[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;     (2E11)

[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.     (2E12)

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

[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.     (2E14)

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

[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.     (2E16)

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

[12:51] ToddSchneider: Something has come up. Have to go.     (2E18)

[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     (2E19)

[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/     (2E20)

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

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

Resources     (2F)

Previous Meetings     (2G)


Next Meetings     (2H)