Model-Theoretic Characterization of Asher and Vieu s Ontology of Mereotopology

Torsten Hahmann, Michael Gruninger. Model-Theoretic Characterization of Asher and Vieu s Ontology of Mereotopology. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 263-273, AAAI Press, 2008.

Abstract

Abstract is missing.