@inproceedings{ hahmann08mereotopology,
  title = {A model-theoretic characterization of Asher and Vieu's ontology of mereotopology}
}
,
  url = {1225747764_hahmann08mereotopology.pdf}
}
,
  booktitle = {Proceedings of KR'08: Principles of Knowledge Representation and Reasoning}
}
,
  author = {Hahmann, Torsten and Gruninger, Michael}
}
,
  year = {2008}
}
,
  month = {September 16--19}
}
,
  address = {Sydney, Australia}
}
,
  opturl = {hahmann08mereotopology.pdf}
}