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

Presenter: TorstenHahmann    (3BTG)

Title: A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries    (3BTH)

Session Chair: Gary Berg-Cross (SOCoP) & MichaelGruninger (U of Toronto)    (3BTY)

Archives:    (3BTZ)

Conference Call Details:    (3BU6)

Attendees    (3BUX)

Abstract:    (3BV9)

Title: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"    (3BVA)

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.    (3BVB)

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.    (3BVC)

Agenda:    (3BVD)

Presentation: "A Reconciliation of Ontologies of Abstract Space: From Mereotopologies to Geometries"    (3BVE)

Proceedings:    (3BVK)

Please refer to the [ above]    (3BVL)

IM Chat Transcript captured during the session:    (3BVM)

 see raw transcript [ here].    (3BVN)
 (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.    (3BVO)
 -- begin in-session chat-transcript --    (3BVP)
 -- end of in-session chat-transcript --    (3BVQ)

Additional Resources:    (3BVW)


For the record ...    (3BW1)

How To Join (while the session is in progress)    (3BW2)