ConferenceCall 2013 02 20

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)

Add the contact "joinconference" to your skype contact list first. To participate in the teleconference, make a skype call to "joinconference", then open the dial pad (see platform-specific instructions below) and enter the Conference ID: 141184# when prompted. (3N6P)

for Linux Skype users: please note that the dial-pad is only available on v4.1 (or later; or on 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. ... (ref.)(3N6S)

if you plan to be logging into this shared-screen option (which the speaker may be navigating), and you are not familiar with the process, please try to call in 5 minutes before the start of the session so that we can work out the connection logistics. Help on this will generally not be available once the presentation starts. (3N6V)

people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the slides above (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk. (3N6W)

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"). (3N6Y)

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. (3N6Z)

thanks to the soaphub.org folks, one can now use a jabber/xmpp client (e.g. gtalk) to join this chatroom. Just add the room as a buddy - (in our case here) ontolog_20130220@soaphub.org ... Handy for mobile devices! (3N70)

Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker. (3N72)

To un-mute, press "*7" ... To mute, press "*6" (please mute your phone, especially if you are in a noisy surrounding, or if you are introducing noise, echoes, etc. into the conference line.) (3N73)

we will usually save all questions and discussions till after all presentations are through. You are encouraged to jot down questions onto the chat-area in the mean time (that way, they get documented; and you might even get some answers in the interim, through the chat.) (3N74)

During the Q&A / discussion segment (when everyone is muted), If you want to speak or have questions or remarks to make, please raise your hand (virtually) by clicking on the "hand button" (lower right) on the chat session page. You may speak when acknowledged by the session moderator (again, press "*7" on your phone to un-mute). Test your voice and introduce yourself first before proceeding with your remarks, please. (Please remember to click on the "hand button" again (to lower your hand) and press "*6" on your phone to mute yourself after you are done speaking.) (3N75)

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. (3N79)

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)

* 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)

if you are already subscribed, post to <ontoiop-forum [at] ontolog.cim3.net> (3N83)

(if you are not yet subscribed) you may subscribe yourself to the [ ontoiop-forum ] listserv, by sending a blank email to <ontoiop-forum-join [at] ontolog.cim3.net> from your subscribing email address, and then follow the instructions you receive back from the mailing list system. (3N84)