Algebraization and representation of mereotopological structures
نویسندگان
چکیده
Boolean contact algebras are the abstract counterpart of region–based theories of space, which date back to the early 1920s. In this paper, we survey the development of these algebras and relevant construction and representation theorems.
منابع مشابه
A Diagrammatic Representation for Entities and Mereotopological Relations in Ontologies
In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focused here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on...
متن کاملQualgebras and knotted 3-valent graphs
This paper is devoted to qualgebras and squandles, which are quandles enriched with a compatible binary/unary operation. Algebraically, they are modeled after groups with conjugation and multiplication/squaring operations. Topologically, qualgebras emerge as an algebraic counterpart of knotted 3-valent graphs, just like quandles can be seen as an “algebraization” of knots; squandles in turn sim...
متن کاملAn Algebraization of Linear Continuum Structures
This paper continuous the approach of developing an ordertheoretic structure theory of one-dimensional continuum structures as elaborated in [Wi07] (see also [Wi83],[Wi03]). The aim is to extend the order-theoretic structure theory by a meaningful algebraization; for this, we concentrate on the real linear continuum structure with its derived concept lattice which gives rise to the so-called “r...
متن کاملOrganization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کاملEclipse in Occlusion A perspectival mereotopological representation of celestial eclipses
This paper presents a formalisation and exploration of the concept of eclipse from the perspective of qualitative spatial reasoning. Building upon theories of spatial connectivity, occlusion and shadows, we show that eclipses can be described and reasoned about using mereotopological relations, and that these formalisms can be used to disprove some commonsense misconceptions about the nature of...
متن کامل