test Browse by Author Names Browse by Titles of Works Browse by Subjects of Works Browse by Issue Dates of Works
       

Advanced Search
Home   
 
Browse   
Communities
& Collections
  
Issue Date   
Author   
Title   
Subject   
 
Sign on to:   
Receive email
updates
  
My Account
authorized users
  
Edit Profile   
 
Help   
About T-Space   

T-Space at The University of Toronto Libraries >
School of Graduate Studies - Theses >
Master >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1807/10432

Title: Model-Theoretic Analysis of Asher and Vieu's Mereotopology
Authors: Hahmann, Torsten
Advisor: Gruninger, Michael John
Department: Computer Science
Keywords: mereotopology
representation theorem
pseudocomplemented lattice
orthocomplemented lattice
first-order ontology
characterization as graphs of lattices
connection structure
characterization up to isomorphism
axiomatic theory
p-ortholattices
Issue Date: 25-Jul-2008
Abstract: In the past little work has been done to characterize the models of various mereotopological systems. This thesis focuses on Asher and Vieu's first-order mereotopology which evolved from Clarke's Calculus of Individuals. Its soundness and completeness proofs with respect to a topological translation of the axioms provide only sparse insights into structural properties of the mereotopological models. To overcome this problem, we characterize these models with respect to mathematical structures with well-defined properties - topological spaces, lattices, and graphs. We prove that the models of the subtheory RT− are isomorphic to p-ortholattices (pseudocomplemented, orthocomplemented). Combining the advantages of lattices and graphs, we show how Cartesian products of finite p-ortholattices with one multiplicand being not uniquely complemented (unicomplemented) gives finite models of the full mereotopology. Our analysis enables a comparison to other mereotopologies, in particular to the RCC, of which lattice-theoretic characterizations exist.
URI: http://hdl.handle.net/1807/10432
Appears in Collections:Master
Department of Computer Science - Master theses

Files in This Item:

File Description SizeFormat
Hahmann_Torsten_200803_MSc_thesis.pdf1.41 MBAdobe PDF
View/Open

This item is licensed under a Creative Commons License
Creative Commons

Items in T-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

uoft