
	Where results make sense

Topic: Mereotopology

Related Topics

Category theory

Topology

Hierarchichal

Topological graph theory

Ordered tree data structure

Graph theory

Hierarchical tree structure

Tree (graph theory)

Commutative diagram

List of graph theory topics

Lead sulfide

In the News (Fri 11 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Mereotopology - Wikipedia, the free encyclopedia
		Mereotopology is a formal theory, combining mereology and topology, of the topological relationships among wholes, parts, and the boundaries between parts.
		Smith (1996) and others have shown that mereotopology can be useful in ontological (Smith 1996), by formalizing relations such as contact, connection, boundaries, interiors, holes, and so on.
		------, 1997, "Boundaries: An Essay in Mereotopology" in Hahn, L., ed., The Philosophy of Roderick Chisholm.
	en.wikipedia.org /wiki/Mereotopology (325 words)

	The Journal of Design Research
		Mereotopology (MT) is the branch of logic dealing with the qualitative formalisation of two fundamental relationships between entities: parthood (i.e.
		This theory, called design mereotopology (DMT) will be a formal theory of reasoning that interprets the principles of MT from the point of view of what the author calls engineering sense (as distinct from common sense).
		While trying to address these problems, the author came across mereotopology and therein found a new tool that the author believes is more compatible with design engineering and engineering sense.
	jdr.tudelft.nl /articles/issue2002.01/article3.html (5954 words)

	Mereology - Wikipedia, the free encyclopedia
		Topological notions of boundaries and connection can be married to mereology, resulting in mereotopology.
		Much early work on mereology was motivated by a suspicion that set theory was ontologically suspect, and that Occam's Razor requires that one minimise the number of posits in one's theory of the world and of mathematics.
		Their strengths include: topology and mereotopology; boundaries and holes; the mereological implications of Whitehead's Process and Reality and work descended therefrom; mereology as a theory of events; mereology as a "proto-geometry" for physical objects; mereology and theoretical computer science.
	en.wikipedia.org /wiki/Mereology (2380 words)

	Citations: Towards a Geometry of Commonsense: Semantics and a Complete Axiomatization of Mereotopology - Asher, Vieu ... (Site not responding. Last check: 2007-11-04)
		Mereotopology also captured the attention of the artificial intelligence community.
		2 Basic notions of geometry: mereotopology, distance and dimension In this section are presented the primitive elements of the theory, and the language developed to manipulate basic geometrical notions.
		N Asher and L Vieu, `Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology', in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI95), Montreal, (1995).
	citeseer.ist.psu.edu /context/7357/348558 (3367 words)

	Pinon: Achievements in an Event Semantics
		In la, for example, Rebecca's reaching of the summit bounded her climbing towards the summit, but it didn't bound (in the same sense) the sum of all other processes and states that followed her climbing.
		The reason for using a mereotopology is that the notion of boundary as intended here is not definable within a (classical) mereology.
		The mereotopology that I adopt is closest to that proposed by B. Smith (1994).
	www-linguistics.stanford.edu /Linguistics/salt7/abs/pinon.html (1257 words)

	Parts and Places The Structures of Spatial Representation Roberto Casati and Achille Varzi, Cambridge, MA. - Book ...
		The book brings mereotopology to a wider public, by using simple words next to more technical ones and by providing several examples from our everyday experience of space next to formal theories of space.
		A remark, which also applies to the previous chapter, is that emphasis is put on the axiomatization of the theories and on the differences in expressive power among them, but little is said or shown about the underlying models and model theoretic issues.
		Hence, even though the idea that formal maps exist and thatthe laws of mereotopology govern them is very interesting in principle, it does not seem to decreasethe gap between formal theories of maps and actually implementable systems.
	evans-experientialism.freewebspace.com /aiello.htm (1884 words)

	Conference on Spatial Information Theory: COSIT
		Barry Smith: Since around 1994 I had been aware of the existence of David Mark in Buffalo as someone who was interested in the interplay of mereotopology and cognition; David and I began to collaborate intensively only later, but he had already in 1994 awakened my curiosity as regards the COSIT community.
		I also developed with Achille Varzi a new way of approaching mereotopology, according to which two distinct axiomatizations are required to deal with the two different sorts of boundaries phenomena.
		The mereotopology needed by fiat boundaries is non-standard -- it does not recognize the opposition between closed and open objects.
	www.geo.unizh.ch /cosit03/smith.html (1211 words)

	The Journal of Design Research (Site not responding. Last check: 2007-11-04)
		Mereotopology is the branch of logic that treats the qualitative formalisation of parthood and connection relations between entities.
		This paper introduces mereotopology and discusses some of the principles guiding the development of design mereotopology (DMT), a logic being developed by the author for product modelling.
		Typical MT logics cannot be applied directly to engineering applications because they assume a "common sense" approach, whereas design requires a more strict "engineering sense." DMT can provide a framework for improved understanding of product modelling knowledge and will lead to better computer-based aids to manipulate that knowledge.
	jdr.tudelft.nl /abstracts/issue2002.01/abstract3.html (128 words)

	Philosophy Papers Online: Author Display (Site not responding. Last check: 2007-11-04)
		In particular, we submit that if there are correct analyses grounding circular definitions, then we are bound to further restrict the substitutivity principle, for we must admit that it might fail even in non- psychological contexts.
		Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons.
		Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness.
	phonline.org /author.php?keyauth=av72 (4567 words)

	27 (Site not responding. Last check: 2007-11-04)
		We discuss several strategies of extending mereology to mereotopology, to a theory of location, holes, and environments.
		The course can be regarded as an exercise in the use of logical methods for philosophical purposes.
		Mereotopology (2) – mereology as sub-theory of topology – Bittner
	www.uni-leipzig.de /~tbittner/courses03/MereologySyllabusFall03.htm (919 words)

	FI Volume 46 Abstracts
		It is considered the virtue of mereotopology that it takes regions instead of points to be the primitive entities of space.
		As mereotopology is assumed to avoid the difficulties incurred by considering points as primitive entities, mereotopology is thought to provide the means for common-sense spatial representation and reasoning.
		On the contrary, we argue that the virtue of mereotopology is its capability to treat regions and points as primitive entities.
	www.mimuw.edu.pl /~szczuka/FI/abs46.html (1908 words)

	Atlas: A necessary relation algebra for mereotopology by Michael Winter (Site not responding. Last check: 2007-11-04)
		Thus, it is natural to use methods of relations algebras to study ``contact relations'' and explore their expressive power.
		It follows that the expressiveness of the RCC in relational logic is much greater than the original 8 RCC base relations might suggest.
		The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-29.
	atlas-conferences.com /c/a/f/o/29.htm (229 words)

	Workshop on Reasoning about Space
		Mereotopology is the approach to topology which takes regions, rather than points, to be the primitive constituents of space.
		First-order mereotopology is the study of first-order theories of various (classes of) topological spaces, in which the variables range over spatial regions and the non-logical primitives are given fixed topological interpretations.
		This talk concentrates on the first-order mereotopology of the Cartesian plane and Cartesian 3-space.
	www.illc.uva.nl /RaS (656 words)

	Continuous Transitions in Mereotopology - Cohn, Hazarika (ResearchIndex) (Site not responding. Last check: 2007-11-04)
		We present a general formal framework for continuity and continuous transitions in mereotopology for spatio-temporal histories and thus sketch the correctness of the conceptual neighbourhood for the qualitative spatial representation language RCC-8.
		@misc{ cohn01continuous, author = "A. Cohn and S. Hazarika", title = "Continuous transitions in mereotopology", text = "A G Cohn and S M Hazarika.
		25 A complete axiom system for polygonal mereotopology of the p..
	citeseer.ifi.unizh.ch /450025.html (568 words)

	[No title] (Site not responding. Last check: 2007-11-04)
		This interest has expressed itself in the development of various calculi for topological reasoning in which regions are taken as primary, an enterprise known as mereotopology.
		This talk investigates the mereotopology of 2-dimensional space.
		Our strategy is to define a formal mereotopological language with a familiar ``practical'', point-based interpretation: we then propose that, in order to pass the test of practical applicability, any alternative spatial ontology should make the same formulae in our language true.
	www.cs.bham.ac.uk /news/notice-board/compsem/compsem.autumn97 (1890 words)

	[No title]
		Barry Smith and Berit Brogaard (2002) "Quantum mereotopology", Annals of Mathematics and Artificial Intelligence 35 (1/2): 153-175.
		Abstract: Mereotopology faces problems when its methods are applied to objects which lose and gain parts yet preserve their identities over time.
		This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called 'consistent histories' interpretation of quantum mechanics.
	www.bioelektronika.com /biblio.htm (1113 words)

	Amazon.com: Parts and Places: The Structures of Spatial Representation: Books: Roberto Casati,Achille C. Varzi (Site not responding. Last check: 2007-11-04)
		The main strength of the latter is its coverage of the substantial recent progress in mereotopology, and of the applications of mereology to machine intelligence.
		That is, they have put the study of parts and wholes (mereology) on some firm footing by starting with some ideas from topology and creating a first level theory.
		The authors develop many axioms for mereotopology for everything from "standard" topological relations up to holes and boundaries.
	www.amazon.com /exec/obidos/tg/detail/-/026203266X?v=glance (1650 words)

	A Proof System for Contact Relation Algebras (ResearchIndex) (Site not responding. Last check: 2007-11-04)
		31 and part--whole relations: The prospect of mereotopology (context) - Varzi - 1996
		25 A complete axiom system for polygonal mereotopology of the r..
		4 A necessary relation algebra for mereotopology (context) - Duntsch, Schmidt et al.
	citeseer.ifi.unizh.ch /242534.html (535 words)

	SUO: About SUMO's Mereotopology
		FAIW, here is a list of questions and comments regarding the first part of the module 'Mereotopology' of the SUMO (not including Varzi and Casati's hole story).
		From now on, to follow these comments, I suggest holding a print out of the part of the file on mereotopology up to Varzi and Casati's stuff.
		The document mentions papers from Smith and from Guarino.
	grouper.ieee.org /groups/suo/email/msg08099.html (1058 words)

	[yak@collab] Re: Faceted Classification and Knowledge Representation (Site not responding. Last check: 2007-11-04)
		Interestingly > enough, this whole move from mereology (which I've been studying for > several years) to mereotopology (on the order of weeks) was due to > me trying to solve Topic Map graph sorting via graph topological > sorting, and I came upon the term "mereotopology" which immediately > struck a chord.
		Barry Smith does seem to be the dominant figure in mereotopology at the moment.
		May the USA (and the world) be spared this nightmare.
	collab.blueoxen.net /forums/cgi-bin/mesg.cgi?a=yak&i=3FFF4C1F.60209@rcn.com (2378 words)

	Archived SMI Events
		The modeling step lays emphasis on rigorous modeling principles, on an explicit representation of the meaning and on semantic consistency.
		It is based on existing symbolic models of anatomy although they do not describe the brain cortex, and on theoretical works on knowledge modeling that are focused on taxonomy and mereotopology.
		Our approach relies on a strict distinction between the relationships representing specialization, composition and spatial organization of anatomical structures.
	smi-web.stanford.edu /auslese/smi-web/archivedEventDetail.jsp?eventID=812 (277 words)

	[No title]
		I am involved in several research groups on the topic of spatial reasoning, where GIS applications are discussed, a French one (a PRC-IA group) and the European network SPACENET (led by Tony Cohn).
		The most up-to-date publication relating our common work on theories of commonsense space is our IJCAI'95 paper, on "mereotopology".
		"Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology", In: Proceedings of IJCAI'95.
	www.ncgia.buffalo.edu /i21/papers/asher_vieu.txt (664 words)

	RE: SUO: RE: About SUMO's Mereotopology
		-Ian > -----Original Message----- > From: Jean-Luc Delatre [mailto:jld@club-internet.fr] > Sent: Thursday, March 14, 2002 11:50 PM > To: Ian Niles > Subject: Re: SUO: RE: About SUMO's Mereotopology > > > Ian Niles a écrit : > > > > Jean-Luc, > > > > Thanks for your message.
		With your > > permission, I'd like to post our exchange to the entire group.
		Prev by thread: SUO: RE: About SUMO's Mereotopology
	suo.ieee.org /email/msg08107.html (1207 words)

	Re: SUO: RE: About SUMO's Mereotopology
		Next by Date: SUO: *Date 17 Mar 2002 -- Differential Logic and Dynamic Systems
		Prev by thread: RE: SUO: RE: About SUMO's Mereotopology
		Next by thread: Re: SUO: RE: About SUMO's Mereotopology
	suo.ieee.org /email/msg08110.html (746 words)

	Towards a sharable numeric and symbolic knowledge base on cerebral cortex anatomy: lessons learned from a prototype. (Site not responding. Last check: 2007-11-04)
		It is intended to be easily reusable in various application contexts such as teaching, decision support in neurosurgery and sharing of neuroimaging data for research purposes.
		Our analysis shows that (1) a formal representation of taxonomy and mereotopology, and (2) use of identity criteria to represent symbolic concepts, are needed to serve those applications.
		analysis, application, base, brain, combines, concepts, contexts, cortex, criteria, data, decision, easily, formal, gyral, identity, implemented, intended, knowledge, mereotopology, needed, neuroimaging, neurosurgery, numeric, propose, purposes, representation, research, reusable, serve, sharing, sulco, support, symbolic, taxonomy, teaching, technologies, web
	www.accelerated-learning-online.com /research/towards-sharable-numeric-symbolic-knowledge-base-cerebral-cortex.asp (516 words)

	[No title] (Site not responding. Last check: 2007-11-04)
		Ontology and the Logistic Analysis of Reality, in N. Guarino and R. Poli (eds.), Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova: Institute for Systems Theory and Biomedical Engineering of the Italian National Research Council (1993), 51-68; Smith, B., 1997.
		Boundaries: An Essay in Mereotopology, in L. Hahn (ed.), The Philosophy of Roderick Chisholm (Library of Living Philosophers), Chicago and LaSalle: Open Court, 1997, 534-561.
		See also Varzi, A. C., 1996, Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology, Data and Knowledge Engineering 20, 259-86.
	www.geog.buffalo.edu /igis/IGERT_cognitive_fn.html (351 words)

	Academic journal publications for 1998 (Site not responding. Last check: 2007-11-04)
		A complete axiom system for polygonal mereotopology of the real plane
		Complete logics for QSR: a guide to plane mereotopology
		This page is generated automatically, changes should be made via the publications database update pages.
	www.cs.manchester.ac.uk /papers/byyear/1998.php (352 words)

Try your search on: Qwika (all wikis)