In Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation. Italian National Research Council (1993)
|Abstract||I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.|
|Keywords||ontology mereology topology mereotopology|
|Through your library||Configure|
Similar books and articles
Barry Smith (1994). Ontologia i analiza logiczna rzeczywistości. Filozofia Nauki 2:5-22.
Barry Smith (1996). Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering 20:287–303.
Daniel R. Patten (2013). Mereology on Topological and Convergence Spaces. Notre Dame Journal of Formal Logic 54 (1):21-31.
Barry Smith (ed.) (1982). Parts and Moments: Studies in Logic and Formal Ontology. Philosophia Verlag.
Desmond Paul Henry (1991). Medieval Mereology. B.R. Grüner.
B. Smith & D. M. Mark (1998). Ontology and Geographic Kinds. In T. Poiker & N. Chrisman (eds.), Proceedings of the 8th International Symposium on Spatial Data Handling, 308–320. International Geographic Union.
Barry Smith (1997). On Substances, Accidents and Universals: In Defence of a Constituent Ontology. Philosophical Papers 26 (1):105-127.
Barry Smith & Chris Welty (2002). Ontology: Towards a New Synthesis. In Formal Ontology in Information Systems. ACM Press.
Kanti Lal Das & Anirban Mukherjee (eds.) (2008). Language and Ontology. Northern Book Centre.
Pierre Grenon & Barry Smith (2004). SNAP and SPAN: Towards Dynamic Spatial Ontology. Spatial Cognition and Computation 4 (1):69–103.
Maureen Donnelly & Barry Smith (2003). Layers: A New Approach to Locating Objects in Space. In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science. Springer.
Barry Smith & Kevin Mulligan (1983). Framework for Formal Ontology. Topoi 2 (1):73-85.
Thomas Mormann (2013). Heyting Mereology as a Framework for Spatial Reasoning. Axiomathes 23 (1):137- 164.
Added to index2012-09-23
Total downloads5 ( #160,483 of 549,196 )
Recent downloads (6 months)1 ( #63,397 of 549,196 )
How can I increase my downloads?