Actions

Ontolog Forum

Revision as of 15:20, 16 September 2020 by imported>KennethBaclawski (→‎Resources)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Session Topic Discussion
Duration 1 hour
Date/Time September 09 2020 16:00 GMT
9:00am PDT/12:00pm EDT
5:00pm BST/6:00pm CEST
Convener Ken Baclawski

Ontology Summit 2021 Topic Discussion

Agenda

  • Discussion of the summit theme

Conference Call Information

  • Date: Wednesday, 09-September-2020
  • Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC
  • 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.

Participants

Discussion

Douglas R. Miles: @Cas https://app.element.io/#/room/#freenode_#frdcsa:matrix.org is where we been talking. Its a proxy to our Discord server.

KenBaclawski: === Ontology Generation and Harmonization ===

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.

  • Track A: The Ontological Landscape

Different types of ontologies have different uses and require different techniques. Some major types include: foundational, reference, domain, and application ontologies. The different types overlap. This track will survey the landscape of ontology types and propose guidelines on how to identify the type of an ontology and how to use it.

  • Track B: Definitions

A definition is a formal statement of the meaning or significance of an entity, including words, phrases, classes and properties. Accordingly, definitions can serve as links between formal ontologies and informal ontologies as well as between different formal ontologies. This track will survey the different notions and levels of formality of definitions.

  • Track C: Learning Ontologies

Ontologies can now be created using automated techniques such as NLP and ML. This track will survey the current techniques and will propose guidelines on the most appropriate use of the techniques.

  • Track D: Neuro-Symbolic and Commonsense

Neuro-symbolic and commonsense systems combine logic and language processing. These systems have been developed for a long time by the AI community. This track will examine how these AI techniques can be employed for ontology generation and harmonization.

  • Track E: Organizations

Many organizations, including government agencies, standards bodies and commercial firms, use ontologies and have developed tools for various ontological activities, such as creation, evolution, mapping and other forms of harmonization. This track will survey organizations that have been most active in ontology engineering.

Duschletta: Sounds like Track A is exactly that, seeing the different use cases of the ontologies that exist

Douglas R. Miles: Horn-PSOA Tarski (http://ruleml.org/1.02/profiles/HornPSOA-Tarski)

Horn Logic Herbrand (http://ruleml.org/1.02/profiles/Horn-Herbrand)

First-Order Logic Herbrand (http://ruleml.org/1.02/profiles/FOL-Herbrand)

First-Order Deontic Alethic Logic (http://ruleml.org/1.02/profiles/fodal)

Reified Classical Situation Calculus (http://ruleml.org/1.02/profiles/reified-classical-situation-calculus)

Douglas R. Miles: Programming languages that are being introduced for BPM include: Business Process Execution Language (BPEL), Web Services Choreography Description Language (WS-CDL).

Duschletta: Bridging Ontologies

Douglas R. Miles: https://www.researchgate.net/figure/Situation-Theory-Ontology-Behavioral-STO-B_fig8_277839696

Douglas R. Miles: https://www.ccs.neu.edu/home/kenb/

Douglas R. Miles: www.baclawski.com

Cassiopeia Miles: There does seem to be a cognitive dissonance with Track C and D in that to design a Track D process, which is a goal of many here, you would have a lot of Track C knowledge as a base.

Cassiopeia Miles: (Thank you both, I wasn't expecting to make such an impact on the scope. ) Duschletta: Thank you!!

Resources

Video Recording

Previous Meetings

Next Meetings

... further results