Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 (01)
This is a final REMINDER that virtual open OntoIOp session on
"Representing Knowledge with Multiple Logical Theories" is coming up
tomorrow (Wed Feb-20.) (02)
RSVP now (details below) if you haven't already! (03)
* Date: Wednesday, 20-Feb-2013 (04)
* Start Time: 7:00am PST / 10:00 am EST / 4:00pm CET / 15:00 GMT/UTC
ref: World Clock -
http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=20&year=2013&hour=7&min=0&sec=0&p1=224 (05)
* Expected Call Duration: ~1.5 hours (06)
* Dial-in:
** Phone (US): +1 (206) 402-0100 ... Conference ID: 141184# , or
** Skype: "joinconference" (i.e. make a skype call to the contact with
skypeID="joinconference")
... when prompted enter Conference ID: 141184# (07)
Just point your browser to the session page:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 when
you are about to connect into the session. Details will be there at
the top of the pages. Try dialing-in a few minutes before the
scheduled start-time. (08)
Talk to you all tomorrow! =ppy
-- (09)
---------- Forwarded message -----[updated]-----
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Sun, Feb 17, 2013 at 9:45 PM
Subject: Open OntoIOp Session - Representing Knowledge with Multiple
Logical Theories - Wed 2013.02.20
To: OntoIOp open discussion <ontoiop-forum@xxxxxxxxxxxxxxxx> (010)
Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 (011)
Dear Colleagues, (012)
You are cordially invited to join us at next Wednesday's OntoIOp team
meeting (n.27), which will be run as an open session (because the
subject is of general interested.) We have invited Luciano Serafini to
talk about DDL (distributed description logics) at this session.
Luciano's talk is entitled "Representing knowledge with multiple
logical theories". 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. (013)
= Session Details (an augmented conference call) = (014)
* Date: Wednesday, 20-Feb-2013
* Start Time: 7:00am PST / 10:00 am EST / 4:00pm CET / 15:00 GMT/UTC
** ref: World Clock:
http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=20&year=2013&hour=7&min=0&sec=0&p1=224
* Expected Call Duration: ~1.5 hours
* details on session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 (015)
* Chair: Prof. Dr. Till Mossakowski (016)
* Topic: Integration of Distributed Description Logics (DDLs) and
similar languages into OntoIOp (017)
* Invited Speaker: Mr. Luciano Serafini (018)
* Talk Title: Representing Knowledge with Multiple Logical Theories (019)
* Talk Abstract: (020)
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. (021)
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. (022)
*RSVP Now!* ... Register your attendance by emailing
<peter.yim@xxxxxxxx> off-line, or (for members of the community,)
register yourself directly on the wiki session page. Please include
your affiliation and specify the date of the session(s) when you are
writing in to register and specify date of the session you plan to
attend. (023)
Regards. =ppy (024)
For and on behalf of the Session Chair,
Till Mossakowski (025)
http://ontoiop.org/
-- (026)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (027)
|