From OntologPSMW

Jump to: navigation, search
[ ]

Contents

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

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 Luciano Serafini 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.     (1A)

  • Invited Speaker: Mr. LucianoSerafini     (1D)
  • Talk Title: Multi Context Logics: A Formal Support for Integrating Knowledge     (1E)

  • Dial-in:     (1F7D)
    • Phone (US): +1 (206) 402-0100 ... (long distance cost may apply)     (1F7D1)
    • Skype: joinconference (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer)     (1F7D2)
      • when prompted enter Conference ID: 141184#     (1F7D2A)
      • Unfamiliar with how to do this on Skype? ...     (1F7D2B)
        • 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.     (1F7D2B1)
      • Can't find Skype Dial pad? ...     (1F7D2C)
        • for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"     (1F7D2C1)
        • 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.)     (1F7D2C2)
  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/     (1F7E)
    • view-only password: "ontolog"     (1F7E1)
    • 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.     (1F7E2)
    • 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.     (1F7E3)
    • 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").     (1F7F1)
    • 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.     (1F7F2)
    • 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!     (1F7F3)
  • Discussions and Q & A:     (1F7G)
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.     (1F7G1)
    • 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.)     (1F7G2)
    • 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.)     (1F7G3)
    • 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.)     (1F7G4)
  • RSVP to peter.yim@cim3.com with your affiliation appreciated, ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the community already.)     (1F7I)
  • 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.     (1F7K)

Attendees     (1G)

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.     (1G8)
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.     (1G9)

Agenda     (1H)

  • Session Format: this is a virtual session conducted over an augmented conference call     (1H1)

Proceedings     (1I)

Please refer to the above     (1I1)

IM Chat Transcript captured during the session    (1I2)

(for better clarity, the version below is a re-organized and lightly edited chat-transcript.)     (1I2A)

Participants are welcome to make light edits to their own contributions as they see fit.     (1I2B)

-- begin in-session chat-transcript --     (1I2C)

[6:55] Peter P. Yim: Welcome to the     (1I2D)

Open OntoIOp Session (n.27) - Wed 2013-02-20     (1I2E)

  • Topic: Integration of Distributed Description Logics (DDLs) and similar languages into OntoIOp     (1I2F)
  • Talk Title: Representing Knowledge with Multiple Logical Theories     (1I2I)

Logistics:     (1I2J)

  • (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName (in WikiWord format)     (1I2L)
    • 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,)     (1I2P1)

if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it.     (1I2Q)

Proceedings:     (1I2S)

[7:23] Peter P. Yim: == Till Mossakowski opens the session ...     (1I2T)

[7:24] Peter P. Yim: Till: we will go to Luciano's talk first     (1I2U)

[7:24] Peter P. Yim: == Luciano Serafini presenting ... see: the [1-Serafini] slides     (1I2V)

[7:25] Peter P. Yim: Till: ok to interrupt the talk if anyone has a question     (1I2W)

[8:18] Peter P. Yim: Luciano: [action] typo on side#28 ... will supply an update to Peter later for the archives     (1I2X)

[8:38] Peter P. Yim: @Tll @ Luciano - there is a lot of interference between your voice lines, please try not to speak simultaneously     (1I2Y)

[8:50] Peter P. Yim: Till: pausing at slide#54     (1I2Z)

[8:52] Peter P. Yim: 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     (1I2AA)

[8:53] Peter P. Yim: == Till Mossakowski presenting ... see: the [0-Chair] slides     (1I2AB)

[9:00] Christoph Lange: 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.     (1I2AC)

[9:00] Terry Longstreth: I have to leave. Good Session.     (1I2AD)

[9:02] Till Mossakowski: 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.     (1I2AE)

[9:03] Peter P. Yim: 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.)     (1I2AF)

[9:03] Christoph Lange: Thanks, Luciano, for presenting -- see you in 2 weeks! (And I think we'll need to email a lot before that, about the CD)     (1I2AG)

[9:03] Peter P. Yim: -- session ended: 6:02pm CEST --     (1I2AH)

-- end of in-session chat-transcript --     (1I2AI)

  • Further Question & Remarks - please post them to the [ ontoiop-forum ] listserv     (1I2AJ)
    • if you are already subscribed, post to <ontoiop-forum [at] ontolog.cim3.net>     (1I2AJ1)
    • (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.     (1I2AJ2)
    • (in case you aren't already a member) you may also want to join the ONTOLOG community and be subscribed to the [ ontolog-forum ] listserv, when general ontology-related topics (not specific to this year's Summit theme) are discussed. Please refer to Ontolog membership details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J     (1I2AJ3)

Additional Resources     (1J)


For the record ...     (1J3)

How To Join (while the session is in progress)     (1K)


This page has been migrated from the OntologWiki - Click here for original page     (1K4)