Open OntoIOp Session (meeting n.27) - Wed 2013-02-20    (3MNT)

This is a regular OntoIOp team meeting (n.27) ... but will be run as an open session (in the format of an Ontolog virtual event.) We have invited LucianoSerafini to talk about DDL at this session. After his presentation, we will discuss whether and how we should integrate distributed description logics (DDLs) and similar languages into OntoIOp. We welcome anyone interested in the topic to participate and contribute to the discussion.    (3MNV)

Archives:    (3N65)

Conference Call Details    (3N6G)

Attendees    (3N7A)

In the field of Knowledge Representation, logical theories are used to represent in a formal way phenomena. Due to the expressivity limitations of logical languages, it's unavoidable that a logical theory describes only some of the aspects of a phenomenon and abstract away many others. The effect of this is that, depending on the aspects that are relevant there could be multiple theories describing the same (or interrelated) phenomenon(phenomena) each of which focus on some set of aspects. In this situation it becomes important to provide a formal representation of the correlations between the phenomena. To solve this problem there are two main approaches. The first is to replace the local theories with a global theory, expressive enough to represent everything about the phenomena which are represented in the local theories as well as the correlations between the phenomena. A second approach, focusing on the formalization of the interrelations introduces a set of inter-theory formulas, aka. bridge rules, that are used to formalize constraints between models of local theories, aka. compatibility relations. The main advantage of this approach is that all the features of the local theories (e.g., the language, the reasoning, complexity, model theory, etc..) can be reused and combined via bridge rules and compatibility relation; dually bridge rules and compatibility relations can be designed to control "bad" interaction between the theories in order to maintain the "good" properties of the local theory in the entire formal system.    (3N5P)

In the last 20 year, we have studies these types of formalisms for propositional logics, modal logics, temporal logics, description logics, first order logics, and the languages of the semantic web (RDF, OWL, etc.) In the seminar we will summarize the main motivations and results in Distributed First Order Logics and Distributed Description Logics.    (3N5Q)

Agenda:    (3MO2)

Proceedings:    (3N7V)

Please refer to the above    (3N7W)

IM Chat Transcript captured during the session:    (3N7X)

 (for better clarity, the version below is a re-organized and lightly edited chat-transcript.)
 Participants are welcome to make light edits to their own contributions as they see fit.    (3N7Z)
 -- begin in-session chat-transcript --    (3N80)
	[6:55] PeterYim: Welcome to the    (3N9W)
	 = Open OntoIOp Session (n.27) - Wed 2013-02-20 =    (3N9X)
	* Topic: Integration of Distributed Description Logics (DDLs) and similar languages into OntoIOp    (3N9Y)
	* Chair: Prof. Dr. TillMossakowski    (3N9Z)
	* Invited Speaker: Mr. LucianoSerafini    (3NA0)
	* Talk Title: Representing Knowledge with Multiple Logical Theories    (3NA1)
	Logistics:    (3NA2)
	* Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20    (3NA3)
	* (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName (in WikiWord format)    (3NA4)
	* Mute control: *7 to un-mute ... *6 to mute    (3NA5)
	* Can't find Skype Dial pad?
	** for Windows Skype users: it's under the "Call" dropdown menu as "Show Dial pad"
	** for Linux Skype users: please note that the dial-pad is only available on v4.1 (or later or the earlier Skype versions 2.x,)
	   if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it.    (3NA6)
	Attendees: TillMossakowski (chair), LucianoSerafini (invited),  PeterYim (scribe), ChristophLange, OliverKutz, TerryLongstreth    (3NA7)
	 == Proceedings: ==    (3NA8)
	[7:23] PeterYim: == TillMossakowski opens the session ...    (3NA9)
	[7:24] PeterYim: Till: we will go to Luciano's talk first    (3NAA)
	[7:24] PeterYim: == LucianoSerafini presenting ... see: the [1-Serafini] slides    (3NAB)
	[7:25] PeterYim: Till: ok to interrupt the talk if anyone has a question    (3NAC)
	[8:18] PeterYim: Luciano: [action] typo on side#28 ... will supply an update to Peter later for the archives    (3NAD)
	[8:38] PeterYim: @Tll @ Luciano - there is a lot of interference between your voice lines, please try not to speak simultaneously    (3NAE)
	[8:50] PeterYim: Till: pausing at slide#54    (3NAF)
	[8:52] PeterYim: Till: we will move to the "Integration of Distributed Description Logics (DDLs) and similar languages into OntoIOp" talk now, so we can get some feedback from Luciano    (3NAG)
	[8:53] PeterYim: == TillMossakowski presenting ... see: the [0-Chair] slides    (3NAH)
	[9:00] ChristophLange: I have a question about the integration of this "structuring" operation, but I think I'll ask it by email as we're running out of time.    (3NAI)
	[9:00] TerryLongstreth: I have to leave.  Good Session.    (3NAJ)
	[9:02] TillMossakowski: Luciano suggests to integrate DDL bridges as a new structuring operation to DOL, rather than having DDL as a special language in the language graph.    (3NAK)
	[9:03] PeterYim: will continue discussion in next meeting (Wed Mar-6, same time) and possibly also on the [ontoiop-forum] list (Peter will subscribe Luciano to the [ontoiop-forum] list list.)    (3NAL)
	[9:03] ChristophLange: Thanks, Luciano, for presenting -- see you in 2 weeks!  (And I think we'll need to email a lot before that, about the CD)    (3NAM)
	[9:03] PeterYim: -- session ended: 6:02pm CEST --    (3NAN)
 -- end of in-session chat-transcript --    (3N81)

Additional Resources:    (3N87)

For the record ...    (3N8A)

How To Join (while the session is in progress)    (3N8B)