Actions

Ontolog Forum

Revision as of 01:11, 1 April 2021 by imported>KenBaclawski (→‎Ontological Commitment)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Session Synthesis
Duration 1 hour
Date/Time 31 Mar 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

Conference Call Information

  • Date: Wednesday, 31 Mar 2021
  • Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1700 UTC
    • Ref: World Clock
    • Note: The US and Canada are both on Daylight Saving Time.
  • 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:
  • Chat Room: https://bit.ly/39PzQJW
    • If the chat room is not available, then use the Zoom chat room.

Attendees

Discussion

Requirements for Definitions

[11:59] AlexShkotin: Track B. Definitions.Synthesis:we should continue to study systems of definitions in different ontologies in the direction of total formalization.

[12:12] ToddSchneider: What are the requirements for 'definition'?

[12:16] AlexShkotin: @Todd, to be precise, full and contextless.

[12:19] AlexShkotin: Definitions are for knowledge acquisition and agreement.

Ontology Summit Track Organization

[12:16] RaviSharma: An excellent overview was presented by Ken to get us started on synthesis session, an excellent job of getting major aspects from each speakers.

[12:17] RaviSharma: However assumption that we can synthesize these tracks is itself my question?

[12:17] RaviSharma: Does the inter-track synthesis make a sense logically and practically.

[12:18] RaviSharma: Logic because are tracks logically connected naturally or are forced to integrate or synthesize?

[12:19] RaviSharma: Also if these are synthetic as Todd suggested then does the synthesis result in a meaningful end goal or understanding that enhances the theme of Harmonization?

[12:22] RaviSharma: So my Q is what aspect or track is most relevant for overall ontology harmonization?

[12:34] RaviSharma: Gary says - these are important part of landscape, little bit of history and how we started, we can integrate them.

[12:39] RaviSharma: So we can still address at least two parts independently for a while say harmonization and we do later need to address it with Generation as well.

Definition of Harmonization

[12:21] RaviSharma: Gary described the harmonization of definitions, my Q is whether it leads to harmonization of ontologies that result from harmonized definitions.

[12:23] RaviSharma: I am not currently addressing generation but asking the question whether harmonization of ontologies is dependent on how similarly these are generated?

[12:25] Gary Berg-Cross: @Ravi et al. Harmonization, which needs to be defined in and for the communique, needs to occur at each level of the spectrum and within it.

[12:31] ToddSchneider: harmonize =def. make consistent; produce a pleasing visual combination

[12:35] ToddSchneider: One way to (attempt to) develop ontologies that provide a greater chance for 'harmonization' (or integration?) is to align with some foundational ontology (in development).

[12:35] janet singer: Attempt to capture what Ravi said: Does how we generate ontologies impact their harmonization?

[12:36] ToddSchneider: Janet, definitely.

[12:41] RaviSharma: excellent from Todd

[12:43] RaviSharma: Gary addressed that NL and other aspects of harmonization were addressed in his presentation

[12:43] RaviSharma: Logical way but some things are difficult to harmonized

[12:44] ToddSchneider: How should 'harmonization' of ontologies be understood? Logical consistency? Ontological Consistency? Implementation consistency? Model equivalence (i.e. the set of models of the ontologies are 'equivalent')?

[12:46] RaviSharma: Todd - Harmonized implies sing together in harmony similarly work together

[12:48] RaviSharma: Gary- Onto spectrum in communique address harmonization at different levels also meaning axioms are harmonized at representational level.

[12:49] RaviSharma: Todd- Set of models for larger than those for CL?

[12:49] Andrea Westerinen: @Todd, but OWL + SWRL can express this. I think that we need to clarify the distinction.

[12:49] RaviSharma: Meant based on OWL will be more than those for CL

[12:51] janet singer: Taking off on Ravi's point re sharpening an organizing question: How do the various dimensions of ontology generation (automatic vs manual, different learners, contexts for communications, conceptualizations and definitions, domain knowledge and formalizations, logics) lead to issues in future harmonization and sustainability?

[12:52] RaviSharma: Ken - Are there standards? for ontologies, and for harmonization?

[12:59] ToddSchneider: Harmonization and reuse?

[13:00] RaviSharma: Ravi says - let us have notion of heterogeneous ontology creation as one use case and let us study harmonization among such ontologies namely what exists today. Then let us study use case 2 where these are generated by predefined requirements and known technologies, then study their harmonization.

[13:01] Gary Berg-Cross: I use the semantic gradient/ladder to discuss harmonization. It consist of a range of semantic resources including vocabularies, taxonomies, thesauri, & ontologies arranged by their degree of formal representation. Contributions across the ladder even at the lower end (e.g. vocabularies, taxonomies etc.) are valuable and have their niche - but we must be clear where stuff is, what it's suited for, and what its drawbacks are, perhaps how it was created as well as how it is related to other information and knowledge across the semantic spectrum. A goal of developing semantic resources is that resources on each rung of the ladder can be understood to contextually enhance/feed the others above and below. In a sense they can be "harmonized" with each other. [13:02] BobbinTeegarden: Do rungs of the ladder represent levels of abstraction? Detail?

[13:03] ToddSchneider: Are harmonization and reuse (operationally) equivalent?

[13:09] RaviSharma: Gary and Robert Rovetto have discussion on horizontal spectrum, levels of ontologies? Levels assume architecture.

[13:18] Robert Rovetto: @Ravi...to clarify your restatement: the past discussion (a brief email) was simply that I suggested a spectrum is more precise. Re:levels, that was not in the discussion — rather, just a point I've argued over last few years at different venues, namely that the characterization of an ontology in terms of levels (e.g., lower level) is not precise enough and assumes an certain architecture. Not all ontological systems employ a levels approach. It is one of many ways to conceptualize an ontological system.

Role of Context

[12:25] RaviSharma: Alex and Todd - context is model in physics with its underlying parameters being used in context of that model?

[12:34] RaviSharma: role of context for example Gary said.

[12:36] Mike Bennett: Context is simply a nexus of concepts, that would be in the concept ontology itself.

Disharmonies

[12:47] Ken Baclawski: If ontologies disagree would explicitly specifying how they disagree be a form of "harmonization"? Should one always try to specify such disagreements?

[12:50] RaviSharma: Ken and Todd and Gary - Mutually logically inconsistent?

[12:51] RaviSharma: Ken - Bio Taxonomies explicitly disagree but there are documented?

[12:51] RaviSharma: Gary - Criteria for life at taxonomy level?

[12:53] RaviSharma: Todd - we can examine logical inconsistencies in light of harmonizations

[12:53] janet singer: A taxonomy of ontology pathologies is a good idea Failure Modes and Effects Analysis for ontologies

[12:53] RaviSharma: Ken - modularizing, different purposes?

[12:54] Mike Bennett: No ontology is 'right' (or wrong). Each represents someone's conceptualization of the world.

[12:54] RaviSharma: To Ken - do you mean limiting" to be fit for the purpose" this would be intentional?

[12:55] Gary Berg-Cross: Historical attempts to standardize/harmonize terms included creating core metadata models and common conceptual models for combining data into a single representation. These however have largely failed to be adopted because of flawed conceptualizations, lack of community agreement, inadequate representation and thus amount to the creation silos. We are trying to address this now with improved methods.

[12:55] RaviSharma: Janet and Ken - disharmony does not imply not working together.

[12:56] RaviSharma: The nature of disharmony is real - but we work around them in terms of Statistics and probabilities and yet many times end results make sense, not always?

[12:58] Gary Berg-Cross: The problems of inconsistent term concepts - These come about of many in-house terminologies which lead to a proliferation of idiosyncratic, and in many cases, arbitrary variation in how scientific terms are defined and inter-related. This leads to significant challenges in finding and integrating relevant earth science information across independently-derived, distributed information sources. The lack of consistent linkage severely hinders progress on investigations that transgress traditional disciplinary boundaries, even though these types of efforts are increasingly needed to address many of the most critical, complex, inter-related of various science research challenges coming with interdisciplinary efforts.

[13:01] RaviSharma: When you compare the two, you will probably see indeterminacies that are based on how domain expertise enters these generations?

[13:03] BobbinTeegarden: Ravi are you implying that level of abstraction is pertinent in harmony?

[13:06] RaviSharma: Bobbin discussed levels of abstraction and common definitional level - it was useful.

Ontological Commitment

[13:02] RaviSharma: Mike Bennett started discussion on ...?

[13:03] RaviSharma: Mike please fill in

[13:03] Mike Bennett: Ontological commitment - is the source of many disharmonies among ontologies. Need to formalize that. Challenge: if there are autogenerated ontologies, how are they to address questions of ontological commitment? That process needs to be managed in some way.

[13:05] Andrea Westerinen: @Mike does having a human-understandable view (such as related to events) help in regard to the ontological commitments? I would like to explore that with you.

[13:05] Mike Bennett: @Andrea interesting idea. Humans all have their own ontological commitments - more varied than we expect of each other.

[13:06] Mike Bennett: @Andrea happy to have a chat about that.

[13:06] janet singer: I don't see how one can analyze generation and harmonization without exploring what ontological commitment is

[13:09] ToddSchneider: What is the relation(s) among 'abstraction', 'generalization', 'ontological commitment', 'set of models (a la Tarski)'?

[13:09] janet singer: Andrea: Yes, having an event perspective goes together with anticipating/understanding the operational effects (intended and untended) of using an ontology or of using a tool with given ontological commitments.

[13:25] Robert Rovetto: Re: ontological commitments...this is worth exploring. When it comes to a computational ontology, rather than a philosophical one, it is more difficult to determine. Because the latter will, ideally, know to make all assumptions explicit and will ideally have a significant degree of introspection. Since the audience or pool of potential computational ontology developers are from a wider set of backgrounds, knowledge, and understanding, we cannot assume that when a person makes an ontology that they have thought about assumptions they may be making. That is, it is not necessarily the case that a person is making ontological commitments for their computational ontology, in part because they may not. An interview with them can reveal some by asking what the intended meaning of this or that construct in their ontology is. But without knowing this we cannot say all are making commitments. The only sense in which we can say that is if their ontology adopts a particular logic and thus a particular set of inference rules. Then one can say that this or that follows from something else.

Landscape Issues

[13:04] Gary Berg-Cross: As part of synthesis have we/are we addressed some landscape issues raised?

  • How are the ontologies expected to be used?
  • How will changes to the ontology and entailments be rolled out?
    • Governance?
  • How will ontologies be sustained? What does this entail?
    • Is there the financial wherewithal to sustain it (e.g. business model)?
    • Track D addresses this
  • What is the architecture of the ontologies and associated constructs (e.g. queries)?
  • What is the architecture of the information system that will use the ontologies?
  • How will any transition (of the information system to using ontologies) be accomplished?

Definition of "Term"

[13:06] Mike Bennett: We need to define the term 'Term'

[13:07] ToddSchneider: term =def. a word or phrase used to describe a thing or to express a concept, especially in a particular kind of language or branch of study (Will this do? OR do we need to being sequences of symbols?)

[13:08] RaviSharma: Robert Rovetto - mentioned language - ontology - use of category - difficult to imply a single meaning to a word in a language such assertions may be difficult

Adjournment

[13:10] Cas Miles: Thank you all, very interesting things to think about!

[13:10] RaviSharma: Thanks everyone

Resources

Previous Meetings

... further results

Next Meetings

... further results