Dear All, (01)
The full proceedings (slides, audio archive, chat-transcript, etc.)
from the open OntoIOp session (n.27) is now available online. Link to
the material can accessible under the "Archives" section on the
session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 (02)
A huge THANK YOU should go to Luciano Serafini for giving his talk on
"Multi Context Logics: A Formal Support for Integrating Knowledge"
today; and to those who participated in the session and the discussion
on how we could integrate this work (and similar languages) into DOL. (03)
Since we did have enough time to fully discuss this very interesting
subject, it was decided that we will continue to discuss the matter
via this mailing list, and also at the next OntoIOp team conference
call (n.28) which is scheduled for: (04)
= OntoIOp team-confcall (n.28) - Wed 2013.03.06 = (05)
Date: Wed 6-Mar-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=3&day=6&year=2013&hour=7&min=0&sec=0&p1=224
Duration: ~1.5 Hrs. (06)
... please mark your calendars, and come join us then. (07)
Regards. =ppy (08)
for and on behalf of the session chair
Till Mossakowski (09)
http://ontoiop.org/
-- (010)
---------- Forwarded message ----------
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> (011)
Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_02_20 (012)
Dear Colleagues, (013)
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. (014)
= Session Details (an augmented conference call) = (015)
* 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 (016)
* Chair: Dr. habil. Till Mossakowski (017)
* Topic: Integration of Distributed Description Logics (DDLs) and
similar languages into OntoIOp (018)
* Invited Speaker: Mr. Luciano Serafini (019)
* Talk Title: Representing Knowledge with Multiple Logical Theories (020)
* Talk Abstract: (021)
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) (022)
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. (023)
*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. (024)
Regards. =ppy (025)
For and on behalf of the Session Chair,
Till Mossakowski
-- (026)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (027)
|