Ontolog Forum
| Session | Planning |
|---|---|
| Duration | 1 hour |
| Date/Time | September 26 2018 16:00 GMT |
| 9:00am PDT/12:00pm EDT | |
| 5:00pm BST/6:00pm CST | |
| Convener | KenBaclawski |
Ontology Summit 2019 Planning
Agenda
- Discussion of Summit topics
- Industrial Ontology Foundry (IOF) and Semantic Technologies for Systems Engineering (ST4SE)
- Social Constructs
- Open Knowledge Network
- Processes
- Bad Ontologies
- Ontology of Ontologies (but no labels should be accepted as significant if they can’t be operationalized and tied to effective distinctions)
- Mathematics and Statistics
- Suggested mergers of the themes above are in OntologySummit2019/Theme
Conference Call Information
- Date: Wednesday, 26-September-2018
- 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://zoom.us/j/689971575
- iPhone one-tap :
- US: +16699006833,,689971575# or +16465588665,,689971575#
- Telephone:
- Dial(for higher quality, dial a number based on your current location): US: +1 669 900 6833 or +1 646 558 8665
- Meeting ID: 689 971 575
- International numbers available: https://zoom.us/u/Iuuiouo
- iPhone one-tap :
- Chat Room
Attendees
- Alex Shkotin
- Andrea Westerinen
- Evan Wallace
- Gary Berg-Cross
- Janet Singer
- Jim Disbrow
- John Sowa
- Ken Baclawski
- Ram D. Sriram
- Ravi Sharma
- Todd Schneider
Proceedings
[11:42] Ken Baclawski: Agenda Discussion of Summit topics Industrial Ontology Foundry (IOF) and Semantic Technologies for Systems Engineering (ST4SE) Social Constructs Open Knowledge Network Processes Bad Ontologies Ontology of Ontologies (but no labels should be accepted as significant if they cant be operationalized and tied to effective distinctions) Mathematics and Statistics
[12:17] Ken Baclawski: Ram suggested also considering Explainable AI as a topic.
[12:18] Ram D. Sriram: Explainable AI & Common Sense Reasoning are two potential topics
[12:18] Ram D. Sriram: Open Knowledge Network is needed for Common Sense Reasoning. So it will be a part of it.
[12:21] Gary Berg-Cross: Are we talking about these "topics" as alternate ones from which we pick one, or as part of the same Summit "topic"?
[12:21] ToddSchneider: Not sure. There is overlap.
[12:22] Ken Baclawski: @Gary: These would be alternatives. It would be too much to try doing them all.
[12:22] Gary Berg-Cross: John try https://zoom.us/j/689971575
[12:22] ToddSchneider: John, the meeting URL is https://zoom.us/j/689971575. You'll have to download their app.
[12:25] Gary Berg-Cross: There are relevant talks we might consider leveraging from at this year's FOIS: For example,
Some Open Issues After Twenty Years of Formal Ontology Authors Stefano Borgo, Pascal Hitzler Pages 1 - 9 DOI10.3233/978-1-61499-910-2-1
Ontologies for Artificial Minds Authors Alessandro Oltramari Pages 13 - 13 DOI10.3233/978-1-61499-910-2-13
Abstract:
Ontologists build formal models to understand the structure of reality. The fun starts and I had a lot of it back in the PhD days (!) when Formal Ontology is applied to understand the structure of what we indisputably use to understand reality itself: the mind. Philosophers have spent lifetimes hovering over this conundrum but I stopped ....
[12:26] Gary Berg-Cross: For FOIS 2018 proceedings see http://ebooks.iospress.nl/volume/formal-ontology-in-information-systems-proceedings-of-the-10th-international-conference-fois-2018
[12:32] RaviSharma: My suggestion is that we include a track on Uncertainty ontologies
[12:34] RaviSharma: and another on affinity among things or entities
[12:35] RaviSharma: both have statistics and refinement of relationships or predicates analysis
[12:36] RaviSharma: processes are good topic
[12:38] RaviSharma: for example how BPMN depictions in processes and ontology have synergy?
[12:39] AlexShkotin: have a look at this axiomatic theory https://www.elsevier.com/books/a-first-course-in-rational-continuum-mechanics/truesdell/978-0-12-701301-5
[12:40] ToddSchneider: Ontology Summit 2007 - Ontology, Taxonomy, Folksonomy: Understanding the Distinctions
[12:40] ToddSchneider: http://ontologforum.org/index.php/OntologySummit2007
[12:40] John Sowa: See my web page on "processes and causality" : http://jfsowa.com/ontology/causal.htm
[12:41] John Sowa: For a shorter summary, see http://jfsowa.com/ontology/process.htm
[12:42] RaviSharma: A First Course in Rational Continuum Mechanics 1st Edition General Concepts Authors: C. Truesdell Editors: Samuel Eilenberg Hyman Bass eBook ISBN: 9781483220482
[12:43] RaviSharma: this is from Alex Shkotin
[12:44] RaviSharma: this includes everything
[12:44] Gary Berg-Cross: Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems
[12:46] AlexShkotin: @Ravi there is a Content there for ex. "12. Axioms of Mechanics
13. The Axioms of Inertia."
[12:46] RaviSharma: I like current topics suggested by Ram
[12:47] RaviSharma: AI - differentiation
[12:48] RaviSharma: explainable AI
[12:48] Ken Baclawski: https://www.darpa.mil/attachments/XAIProgramUpdate.pdf
[12:49] Gary Berg-Cross1: Also https://www.darpa.mil/program/explainable-artificial-intelligence
[12:50] Gary Berg-Cross1: "New machine-learning systems will have the ability to explain their rationale, characterize their strengths and weaknesses, and convey an understanding of how they will behave in the future. The strategy for achieving that goal is to develop new or modified machine-learning techniques that will produce more explainable models. These models will be combined with state-of-the-art human-computer interface techniques capable of translating models into understandable and useful explanation dialogues for the end user (Figure 2). Our strategy is to pursue a variety of techniques in order to generate a portfolio of methods that will provide future developers with a range of design options covering the performance-versus-explainability trade space..."
[12:51] Gary Berg-Cross1: "XAI is one of a handful of current DARPA programs expected to enable third-wave AI systems, where machines understand the context and environment in which they operate, and over time build underlying explanatory models that allow them to characterize real world phenomena.
The XAI program is focused on the development of multiple systems by addressing challenge problems in two areas: (1) machine learning problems to classify events of interest in heterogeneous, multimedia data; and (2) machine learning problems to construct decision policies for an autonomous system to perform a variety of simulated missions. These two challenge problem areas were chosen to represent the intersection of two important machine learning approaches (classification and reinforcement learning) and two important operational problem areas for the DoD (intelligence analysis and autonomous systems).
In addition, researchers are examining the psychology of explanation..."
[12:53] Gary Berg-Cross1: See also http://www.intelligentrobots.org/files/IJCAI2017/IJCAI-17_XAI_WS_Proceedings.pdf#page=36 part of IJCAI 2017
[12:54] Gary Berg-Cross1: http://home.earthlink.net/~dwaha/research/meetings/ijcai17-xai/
[12:55] EvanWallace: I have to drop off soon. I'm supportive of the other topics. Note - I also would want to make sure that we get buy in from the IOF and ST4SE communities before committing to *that* topic.
[12:57] RaviSharma: I would support explainable AI it has close synergy for Machine learning and deep learning
[12:59] Gary Berg-Cross1: Perhaps "Explanation" is the topic.
[12:59] Andrea Westerinen: Sorry, but I have to go ... have a 1pm call.
[12:59] EvanWallace: Got to go.
[13:01] RaviSharma: https://scholar.google.co.in/scholar?hl=en&as_sdt=0%2C5&q=explainable+AI+and+ontology&btnG=
[13:01] ToddSchneider: So 'Explainable' is the subject?
[13:01] Ram D. Sriram: @Gary: How about Machine Reasoning Explanation
[13:02] RaviSharma: the link of scholar search has some good topics on XAI and ontology
[13:08] RaviSharma: Todd I agree
[13:09] ToddSchneider: 'Explanations' sounds like a good title.
[13:11] RaviSharma: Alex has a point in URL of Elsevier many topics of Universe including Physics and math are included but it is not clear why Mechanics word is prominent?
[13:12] RaviSharma: thanks and Bye it is nearly 11PM in India.