Location ontologies based on mereotopological pluralism

[1]  Michael Grüninger,et al.  A New Look at Ontology Correctness , 2015, AAAI Spring Symposia.

[2]  Nicola Guarino,et al.  An Ontological Theory of Physical Objects , 2001 .

[3]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[4]  Ringo Baumann,et al.  Towards an Ontology of Space for GFO , 2016, FOIS.

[5]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[6]  J. Schaffer.  Spacetime the one substance , 2009 .

[7]  Philippe Muller,et al.  Topological Spatio–Temporal Reasoning and Representation , 2002, Comput. Intell..

[8]  Bahar Aameri.  Using Partial Automorphisms to Design Process Ontologies , 2012, FOIS.

[9]  Michael Grüninger,et al.  Encountering the Physical World , 2017, JOWO.

[10]  Kris McDaniel,et al.  Modal Realism with Overlap , 2004 .

[11]  B. Schröder.  Ordered Sets: An Introduction , 2012 .

[12]  N. Markosian.  A Spatial Approach to Mereology , 2014 .

[13]  R. Ceballos.  Parthood and location , 2011 .

[14]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[15]  Torsten Hahmann,et al.  Ontology Verification with Repositories , 2010, FOIS.

[16]  Dennis Lehmkuhl.  The Metaphysics of Super-Substantivalism , 2018 .

[17]  Torsten Hahmann,et al.  Modular first-order ontologies via repositories , 2012, Appl. Ontology.

[18]  Adam Pease,et al.  The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applic ations , 2002 .

[19]  Michael Grüninger,et al.  A New Perspective on the Mereotopology of RCC8 , 2017, COSIT.

[20]  Cornelius Rosse,et al.  A formal theory for spatial representation and reasoning in biomedical ontologies , 2006, Artif. Intell. Medicine.

[21]  Matt Leonard,et al.  What is mereological harmony? , 2015, Synthese.

[22]  Lawrence Sklar,et al.  Space, Time, and Spacetime , 1974 .

[23]  Aristotle,et al.  The Basic Works of Aristotle , 1941 .

[24]  David Lewis,et al.  Parts Of Classes , 1991 .

[25]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[26]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..