From OntologPSMW

Jump to: navigation, search
[ ]

Contents

Joint SOCoP-OOR Event - a Spatial Ontology Presentation - Tue 2012_06_19     (1)

Presenter: TorstenHahmann     (1A)

Title: A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries     (1B)

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

  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/     (1D7E)
    • view-only password: "ontolog"     (1D7E1)
    • 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.     (1D7E2)
    • 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.     (1D7E3)
    • 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").     (1D7F1)
    • 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.     (1D7F2)
    • 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!     (1D7F3)
  • Discussions and Q & A:     (1D7G)
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.     (1D7G1)
    • 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.)     (1D7G2)
    • 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.)     (1D7G3)
    • 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.)     (1D7G4)
  • RSVP to 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.)     (1D7I)
  • 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.     (1D7K)

Attendees     (1E)

  • Expecting:     (1E2)
    • ... 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 <gbergcross@gmail.com> so that we can reserve enough resources to support everyone's participation. ...     (1E3A)

Abstract     (1F)

Title: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"     (1F1)

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

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

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

Agenda     (1G)

Presentation: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"     (1G1)

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

Proceedings     (1H)

Please refer to the above     (1H1)

IM Chat Transcript captured during the session    (1H2)

see raw transcript here.     (1H2A)

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

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

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

[08:21] Peter P. Yim: Welcome to the     (1H2E)

Joint SOCoP-OOR Event - a Spatial Ontology Presentation - Tue 2012_06_19     (1H2F)

Topic: A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries     (1H2G)

Session Co-chairs: Dr. GaryBergCross (SOCoP) & Professor Michael Grüninger (U of Toronto)     (1H2I)

Mute control: *7 to un-mute ... *6 to mute     (1H2K)

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

Proceedings:     (1H2M)

[08:29] anonymous morphed into Tim Darr     (1H2N)

[08:20] anonymous morphed into Torsten Hahmann     (1H2O)

[08:21] anonymous morphed into Bart Gajderowicz     (1H2P)

[08:22] Bart Gajderowicz: Hello Torsten and Ken     (1H2Q)

[08:35] Peter P. Yim: -- session started: 8:35am PDT --     (1H2R)

[08:35] Peter P. Yim: == co-chairs introducing session     (1H2S)

[08:38] TerryLongstreth1 morphed into Terry Longstreth     (1H2T)

[08:39] anonymous morphed into Boyan Brodaric     (1H2U)

[08:40] Peter P. Yim: == Torsten Hahmann presenting his talk ...     (1H2V)

[08:57] Michael Grüninger: hi Torsten -- we cannot hear you     (1H2W)

[08:57] Torsten Hahmann: I can still hear you     (1H2X)

[08:57] Torsten Hahmann: trying to figure it out     (1H2Y)

[09:13] Terry Longstreth: Torsten's phone reminds me of my cubscout crystal radio     (1H2Z)

[08:58] anonymous morphed into Josh Lieberman     (1H2AA)

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

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

[09:05] Michael Grüninger: @Nancy -- yes, this is not a class hierarchy, but rather a partially     (1H2AD)

ordered set of ontologies with the same set of primitive concepts and relations     (1H2AE)

[09:39] GaryBergCross: Nancy's earlier question on hierarchy might be clarified. You form     (1H2AF)

hierarchy by added restricting axioms and/or primitives.     (1H2AG)

[09:41] Michael Grüninger: Hierarchies arise from adding different sets of axioms to theories.     (1H2AH)

All theories in the same hierarchy have the same set of primitives.     (1H2AI)

[09:09] Todd Schneider: Michael, could you post the URL that Torsten just mentioned?     (1H2AJ)

I'd very much like to see the definition of 'relative dimension'.     (1H2AK)

[09:14] Todd Schneider: Michael, Thank you.     (1H2AM)

[09:19] Todd Schneider: Is there any representation of joining one or more spaces to form     (1H2AN)

something of larger dimension?     (1H2AO)

[09:29] Todd Schneider: Thank you Torsten. Have to go.     (1H2AP)

[09:34] DeborahMacPherson: Thanks for the presentation - need to go to a meeting.     (1H2AQ)

Downloaded the slides to continue mulling over. Thanks     (1H2AR)

[09:41] anonymous morphed into Elizabeth Florescu     (1H2AS)

[09:46] Peter P. Yim: == now in the Q&A segment of the session     (1H2AT)

[09:49] Peter P. Yim: link to COLORE (COmmon Logic Ontology Repository) - http://colore.oor.net     (1H2AU)

[09:53] Peter P. Yim: great session!     (1H2AV)

[09:53] Peter P. Yim: -- session ended: 9:52am PDT --     (1H2AW)

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

  • Further Question & Remarks - please post them to the [ socop-forum ] listserv     (1H2AY)
    • all subscribers to the previous summit discussion, and all who responded to today's call will automatically be subscribed to the [ socop-forum ] listserv     (1H2AY1)
    • if you are already subscribed, post to <socop-forum [at] ontolog.cim3.net>     (1H2AY2)
    • (if you are not yet subscribed) you may subscribe yourself to the [ socop-forum ] listserv, by sending a blank email to <socop-forum-join [at] ontolog.cim3.net> from your subscribing email address, and then follow the instructions you receive back from the mailing list system.     (1H2AY3)
      • please email Gary Berg-Cross <gbergcross@gmail.com> if you have any question.     (1H2AY3A)

Additional Resources     (1I)


For the record ...     (1I6)

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


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