Session	Planning
Duration	1.5 hour
Date/Time	Sep 13 2017 16:00 GMT
	9:00am PDT/12:00pm EDT
	6:00pm CEST/5:00pm BST
Convener	KenBaclawski

Ontology Summit 2018 First Research Session

Abstract

In this session, we cover the following papers:

"Contexts in Context" by Patrick J. Hayes (probably in 1997) https://www.ihmc.us/users/phayes/Pub/ContextsInContext.pdf

Obrst, L, D. Nichols. 2005. Context and Ontologies: Contextual Indexing of Ontological Expressions. AAAI 2005 Workshop on Context and Ontologies, poster, AAAI 2005, July 9-13, Pittsburgh, PA. http://www.mitre.org/publications/technical-papers/context-and-ontologies-contextual-indexing-of-ontological-expressions.

Blackburn, P. 2000. "Internalizing Labelled Deduction", Journal of Logic and Computation, 10: 137-168. Available at http://hylo.loria.fr/content/papers/files/blackburn.Internalizing.pdf

Agenda

Study the papers. KenBaclawski will present them.
Propose the papers to be studied at the next meeting.
Select volunteers to present the papers.

Conference Call Information

Date: Wednesday, 13-September-2017
Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC
- ref: World Clock
Expected Call Duration: ~1.5 hours

Video Conference URL: https://bluejeans.com/703588230
- If you have not used BlueJeans before, then connect to the URL above before the meeting time so that the required plug-in can be installed.

Chatroom: http://webconf.soaphub.org/conf/room/ontology_summit_2018
- Instructions: once you got access to the page, click on the "settings" button, and identify yourself (by modifying the Name field from "anonymous" to your real name, like "JaneDoe").
- You can indicate that you want to ask a question verbally by clicking on the "hand" button, and wait for the moderator to call on you; or, type and send your question into the chat window at the bottom of the screen.
This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page.
Please note that this session may be recorded, and if so, the audio archive is expected to be made available as open content, along with the proceedings of the call to our community membership and the public at-large under our prevailing open IPR policy.

Attendees

Proceedings

[12:02] AlexShkotin: hi! sorry i do not have microphone today

[12:15] David Whitten: Is it possible that the semantics is in the Montague lamba expressions?

[12:16] David Whitten: Context re Ontology use or development or re-use

[12:17] David Whitten: I thought the context for the semantics in a IC sense must be in the "global variables" shared among processes.

[12:18] David Whitten: Pragmatics in Linguistics is over more than a sentence.

[12:24] David Whitten: 1) Physical Context, 2) Linguistics/Topic Context 3) Conceptual Context 4) Deductive Context

[12:30] David Whitten: Physical Context changes as things happen near you. Linguistic Context changes as the conversation statements are made. Conceptual Context is based on "Common Sense" or world-knowledge increases.

[12:33] David Whitten: Are the Linguistic reasons to parse related to the "Speech Actions" coming from the sentence ?

[12:38] David Whitten: A Deductive Context depends on logic. This adds a new relation for each n-ary relation with an extra argument which is the context. Alternately if you allow the expression of a relation to be quoted, then you can add other information to the quoted relations.

[12:41] David Whitten: IKL based on Common-Logic was a two year project with two dozen participants that added the "that" statement to Common Logic as the form to do quoting. This allows meta-languages, evaluation of the quoted statement with different contexts, etc. "ist" (is-situation-true?) can be defined in terms of that.

[12:42] David Whitten: ist captures the idea that a group of statements is true in the context/situation of another group of statements.

[12:43] David Whitten: Is this a way of formalizing in the interactions of statements with microtheories

[12:44] RaviSharma: David says language is well define and is willing to talk about that in one of our sessions.

[12:44] David Whitten: John Sowa, thanks for offering to give a talk about IKL.

[12:47] David Whitten: Pat Hayes website for IKL GUIDE is https://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html

[12:48] RaviSharma: who is speaking?

[12:49] David Whitten: Not Pat Hayes nor John Sowa. maybe Gavin ?

[12:49] RaviSharma: Is it David?

[12:50] MikeBennett: Matthew West is speaking now.

[12:50] RaviSharma: thanks

[12:56] John Sowa: Leo wrote this paper in 2005, while he was also participating in the IKRIS project, which produced IKL.

[12:56] David Whitten: Leo gives a list of meanings for Contexts. I assume everyone is using a definition of "ontology" that is compatible with the definition of an ontology as a set of propositions that as a whole are true without any contradictions.

[12:58] John Sowa: The 'that' operator is the mechanism for annotating a group of statements as a context.

[13:02] David Whitten: the ist operator started from John McCarthy, a context might be made from 'that' and an ontology or 'that' and a situation or 'that' and a microtheory. ist then would take one of these contexts and a statement and generate a truth value.

[13:05] David Whitten: a group in Germany (?who?) has implemented a Common Logic system that could be augmented with 'that' to make an IKL implementation.

[13:08] David Whitten: Ravi Sharma, and Matthew West and Ken Baclawski have open mikes.

[13:12] David Whitten: John Sowa wants to recognize that there is a difference two ways context can be used.

[13:13] RaviSharma: finally I found and turned off my microphone - thanks

[13:14] RaviSharma: will all these papers be put on the recording or this chat as links I know Pat's is already there?

[13:14] David Whitten: John says two models for "simple" 1)Simpler for make a Tarski model theory or 2) Simpler for editing/managing logical statements

[13:15] RaviSharma: David thanks kindly keep making notes as I am also on another call.

[13:16] RaviSharma: Is Ken speaking now?

[13:16] David Whitten: a "nominal" in this hybrid logic serves as a context for another logic, such as an FOL or modal logic.

[13:16] RaviSharma: or is it still John?

[13:17] John Sowa: You can map hybrid logic to IKL. The 'that' operator of IKL is syntactically simple, but semantically very powerful,

[13:17] David Whitten: This is Ken. definitely not John

[13:17] RaviSharma: thanks

[13:17] John Sowa: The that operator can represent both modal logic and hybrid logic.

[13:20] David Whitten: The hybrid logic shown on the screen is from https://plato.stanford.edu/entries/logic-hybrid/

[13:21] RaviSharma: David if you could also kindly put links for other papers, it would help us. thanks.

[13:21] RaviSharma: John Sowa is speaking now.

[13:22] David Whitten: Hybrid Logic and IKL can both enhance a base logic. Common Logic is a specific formal definition of a superset of FOL.

[13:23] David Whitten: the that operator in IKL is similar to the phrase followed by the word "that" in English

[13:24] MatthewWest: Apologies, I have to leave now.

[13:25] RaviSharma: John - Is this also used to help in transliteration? or translation?

[13:25] David Whitten: the 'that' operator of IKL allows for naming a group of logical statements. The 'ist' operator allows testing truth for a statement with a group of logical statements.

[13:27] RaviSharma: John will be giving the talk next week

[13:27] David Whitten: Might be nice to know if Leo Orbst agrees as well as Pat Hayes and Chris Menzel

[13:28] RaviSharma: could you talk if they do not, Ken we can request David?

[13:28] RaviSharma: David for 27th?

[13:29] David Whitten: I'll consider a talk for the 27th. It might have a medical slant tho.

[13:29] David Whitten: I do medical informatics with the VistA EHR for a living

[13:29] RaviSharma: yes that would be nice.

[13:30] KenBaclawski: Meeting adjourned.

[13:30] RaviSharma: ken where do I see recording and hear it?

[13:31] David Whitten: I don't know who the mp3 creator is now.

[13:31] ToddSchneider: Ravi, Ken will post a link on today's meeting page.

[13:31] David Whitten: I think it might have been Peter Yim before.

[13:31] ToddSchneider: David, Ken is.

[13:32] KenBaclawski: The recording will be posted on the meeting page.

[13:33] RaviSharma: thanks

Additional Resources

Video Recording

Previous Meetings

Next Meetings

... further results

Ontolog Forum

Contents