OOR/ConferenceCall 2012 06 19

= Joint SOCoP-OOR Event - a Spatial Ontology Presentation - Tue 2012_06_19 =

Presenter: TorstenHahmann

Title: A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries

Session Co-chairs: Gary Berg-Cross (SOCoP) & MichaelGruninger (U of Toronto)

Archives:


 * Abstract
 * Agenda
 * Prepared slides
 * Audio recording of the session [ 1:10:47 ; mp3 ; 8.1 MB ]
 * transcript of the online chat during the session
 * Additional Resources

Conference Call Details:

 * Date: Tuesday, 19-Jun-2012
 * Start Time: 8:30am PDT / 11:30am EDT / 5:30pm CEST / 15:30 UTC
 * ref: World Clock
 * Expected Call Duration: ~1.5 hours


 * Dial-in:
 * Phone (US): +1 (206) 402-0100  (long distance cost may apply) 
 * ... [ backup nbr: (415) 671-4335 ]
 * Skype: joinconference ... (generally free-of-charge, when connecting from your computer)
 * when prompted enter PIN: 141184#


 * Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/
 * view-only password: "ontolog"
 * 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.
 * 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.


 * In-session chat-room url: http://webconf.soaphub.org/conf/room/oor_20120619
 * 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").
 * 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.
 * 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) oor_20120619@soaphub.org ... Handy for mobile devices!


 * Discussions and Q & A:
 * Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.
 * 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.)
 * 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.)
 * 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.)


 * Please review our Virtual Session Tips and Ground Rules - see: VirtualSpeakerSessionTips


 * RSVP  to [mailto:gbergcross@gmail.com Gary Berg-Cross] appreciated, ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the SOCoP or Ontolog community.)


 * This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_06_19


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

Attendees

 * Attended:
 * GaryBergCross (co-chair)
 * MichaelGruninger (co-chair)
 * TorstenHahmann (invited speaker)
 * PeterYim
 * ToddSchneider
 * KenBaclawski
 * TerryLongstreth
 * BartGajderowicz
 * EvanWallace
 * BoyanBrodaric
 * TimDarr
 * NancyWiegand
 * DaliaVaranka
 * DeborahMacPherson
 * JoshLieberman
 * MikeDean
 * BobSmith
 * ElizabethFlorescu


 * Expecting:
 * ... if you are coming to the meeting, please add your name above (plus your affiliation, if you aren't already a member of the community) above, or e-mail Gary Berg-Cross  so that we can reserve enough resources to support everyone's participation. ...
 * ... if you are coming to the meeting, please add your name above (plus your affiliation, if you aren't already a member of the community) above, or e-mail Gary Berg-Cross  so that we can reserve enough resources to support everyone's participation. ...


 * Regrets:
 * LeoObrst
 * JohnBateman

Abstract
Title: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"

Abstract: This work focuses on bridging the gap between very weak ontologies of abstract space (in particular those relying only on topological and mereological relations) and more traditional geometries.


 * As basis we developed a general mereotopology based on spatial containment and relative dimension that is dimension-independent, i.e., in which points, curves, areas, etc. can coexist. By successively adding additional primitive relations (boundary containment, betweenness, and convex hulls) and ontological assumptions we construct a hierarchies of spatial ontologies.  We locate existing spatial ontologies ranging from mereotopologies to various geometries in these hierarchies, thereby establishing the relationships amongst them.  As more and more ontologies of abstract space are included, we refine our understanding of their shared and differing ontological assumptions as well as their necessary primitive relations.

All theories are axiomatized in Common Logic, formally verified with the help of automated tools, and will be made available as part of COLORE. The hierarchies can be used as basis for the integration of diverse spatial ontologies from geography, engineering, architecture, and other fields.

Agenda
Presentation: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"


 * Session Format: this is a virtual session conducted over an augmented conference call


 * 1. Opening - co-chairs [5 min.] ... [ slides ]
 * 2. Invited Presentation - TorstenHahmann [45~60 min.]
 * 3. Q & A and open discussion [All: ~20 min.] -- please refer to process above
 * 4. Wrap-up / Announcements - (co-chairs)

Proceedings:
Please refer to the above

IM Chat Transcript captured during the session:

see raw transcript here.

(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.

-- begin in-session chat-transcript --

[08:21] PeterYim: Welcome to the

= Joint SOCoP-OOR Event - a Spatial Ontology Presentation - Tue 2012_06_19 =

Topic: A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries

Presented by: TorstenHahmann

Session Co-chairs: Dr. GaryBergCross (SOCoP) & Professor MichaelGruninger (U of Toronto)

Session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_06_19

Mute control: *7 to un-mute ... *6 to mute

Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"

Proceedings:
[08:29] anonymous morphed into TimDarr

[08:20] anonymous morphed into TorstenHahmann

[08:21] anonymous morphed into BartGajderowicz

[08:22] BartGajderowicz: Hello Torsten and Ken

[08:35] PeterYim: -- session started: 8:35am PDT --

[08:35] PeterYim: == co-chairs introducing session

[08:38] TerryLongstreth1 morphed into TerryLongstreth

[08:39] anonymous morphed into BoyanBrodaric

[08:40] PeterYim: == TorstenHahmann presenting his talk ...

[08:57] MichaelGruninger: hi Torsten -- we cannot hear you

[08:57] TorstenHahmann: I can still hear you

[08:57] TorstenHahmann: trying to figure it out

[09:13] TerryLongstreth: Torsten's phone reminds me of my cubscout crystal radio

[08:58] anonymous morphed into JoshLieberman

[09:01] NancyWiegand: (ref. slide 12) What's a hierarchy, in this sense?

[09:04] GaryBergCross: Nancy, he shows some hierarchies on later slide like slide 22..

[09:05] MichaelGruninger: @Nancy -- yes, this is not a class hierarchy, but rather a partially ordered set of ontologies with the same set of primitive concepts and relations

[09:39] GaryBergCross: Nancy's earlier question on hierarchy might be clarified. You form hierarchy by added restricting axioms and/or primitives.

[09:41] MichaelGruninger: Hierarchies arise from adding different sets of axioms to theories. All theories in the same hierarchy have the same set of primitives.

[09:09] ToddSchneider: Michael, could you post the URL that Torsten just mentioned? I'd very much like to see the definition of 'relative dimension'.

[09:14] MichaelGruninger: http://www.cs.toronto.edu/~torsten/qs/

[09:14] ToddSchneider: Michael, Thank you.

[09:19] ToddSchneider: Is there any representation of joining one or more spaces to form something of larger dimension?

[09:29] ToddSchneider: Thank you Torsten. Have to go.

[09:34] DeborahMacPherson: Thanks for the presentation - need to go to a meeting. Downloaded the slides to continue mulling over. Thanks

[09:41] anonymous morphed into ElizabethFlorescu

[09:46] PeterYim: == now in the Q&A segment of the session

[09:49] PeterYim: link to COLORE (COmmon Logic Ontology Repository) - http://colore.oor.net

[09:53] PeterYim: great session!

[09:53] PeterYim: -- session ended: 9:52am PDT --

-- end of in-session chat-transcript --


 * Further Question & Remarks - please post them to the [ socop-forum ] listserv
 * all subscribers to the previous summit discussion, and all who responded to today's call will automatically be subscribed to the [ socop-forum ] listserv
 * if you are already subscribed, post to 
 * (if you are not yet subscribed) you may subscribe yourself to the [ socop-forum ] listserv, by sending a blank email to  from your subscribing email address, and then follow the instructions you receive back from the mailing list system.
 * please email Gary Berg-Cross  if you have any question.

Additional Resources:

 * SOCoP
 * The OpenOntologyRepository Initiative
 * COLORE - Common Logic Ontology Repository
 * Semantic Technology Laboratory (STL) at the University of Toronto - http://stl.mie.utoronto.ca/
 * CommonLogic axiomatizations of the spatial ontologies mentioned in the talk - http://www.cs.toronto.edu/~torsten/qs/

For the record ...

How To Join (while the session is in progress)

 * 1. Call in from a phone or from skype: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_06_19#nid3BUB
 * 2. Open chat in a new browser window: http://webconf.soaphub.org/conf/room/oor_20120619
 * 3. Download the speaker's slides here: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_06_19#nid3BU2
 * or, 3.1 (access our shared-screen vnc server, if you are not behind a corporate firewall)