Qualitative spatio-temporal representation and reasoning trends and future directions
Shyamanta M. Hazarika
Citations43
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This chapter discusses the use of transition graphs for reasoning about continuous spatial change over time and proves a number of metalogical theorems that characterize these correspondences in terms of the expressivity of associated first-order languages.
Abstract
"This book is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence, covering both theory and application-centric research and providing a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning" - Provided by publisher
Keywords
Computer ScienceSocial Sciences
Communications of the ACMMaintaining knowledge about temporal intervals
7,550 Citations1983James F. Allen
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
IEEE Transactions on ComputersSpatial Planning: A Configuration Space Approach
2,095 Citations1983Tomás Lozano‐Pérez
Algorithms for computing constraints on the position of an object due to the presence of ther objects, which arises in applications that require choosing how to arrange or how to move objects without collisions are presented.
Artificial IntelligenceQualitative process theory
2,023 Citations1984Kenneth D. Forbus
This paper describes the basic concepts of qualitative process theory, several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning.
A Spatial Logic based on Regions and Connection.
1,927 Citations1992David Randell, Zhanfeng Cui +1 more
An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness.
Artificial IntelligenceA qualitative physics based on confluences
1,499 Citations1984Johan de Kleer, John Seely Brown
A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
Artificial IntelligenceLearning metric-topological maps for indoor mobile robot navigation
1,049 Citations1998Sebastian Thrun
This paper describes an approach that integrates both paradigms: grid-based and topological, which gains advantages from both worlds: accuracy/consistency and efficiency.
Genome biologyRelations in biomedical ontologies
1,044 Citations2005Barry Smith, Werner Ceusters +8 more
A methodology for providing consistent and unambiguous formal definitions of the relational expressions used in biomedical ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation is advanced.
Parts : a Study in Ontology
983 Citations1987Peter Simons
Transactions of the American Mathematical SocietyThe theory of representations for Boolean algebras
860 Citations1936M. H. Stone
Schizophrenia BulletinThe Neurodevelopmental Hypothesis of Schizophrenia, Revisited
844 Citations2009S. Hossein Fatemi, Timothy D. Folsom
The neurodevelopmental model is related to a number of findings about schizophrenia and alternate explanations of the origin of schizophrenia including the neurodegenerative model are examined.
The British Journal of PsychiatryBrain volume in first-episode schizophrenia
843 Citations2006R. Grant Steen, Courtney Mull +3 more
Average volumetric changes are close to the limit of detection by MRI methods, indicating whether schizophrenia is a neurodegenerative process that begins at about the time of symptom onset, or whether it is better characterised as a neurodevelopmental process that produces abnormal brain volumes at an early age.
Robotics and Autonomous SystemsA robot exploration and mapping strategy based on a semantic hierarchy of spatial representations
707 Citations1991Benjamin Kuipers, Yung-Tai Byun
A robust qualitative method is developed that can build an accurate map of a previously unkown environment in spite of substantial random and systematic sensorimotor error and successful navigation is not critically dependent on the accuracy, or even the existence, of the geometrical description.
Fundamenta InformaticaeQualitative Spatial Representation and Reasoning: An Overview
675 Citations2001Anthony G. Cohn, Shyamanta M. Hazarika
The paper is a overview of the major qualitative spatial representation and reasoning techniques including ontological aspects, topology, distance, orientation and shape, and qualitative spatial reasoning including reasoning about spatial change.
Lecture notes in computer scienceReasoning about binary topological relations
625 Citations1991Max J. Egenhofer
A new formalism is presented to reason about topological relations based upon the nine intersections of boundaries, interiors, and complements between two objects that is applicable as a foundation for an algebra over topological Relations.
Journal of Symbolic LogicThe calculus of individuals and its uses
552 Citations1940Henry S. Leonard, Nelson Goodman
An unfortunate dependence of logical formulation upon the discovery and adoption of a special physical theory, or the presumption that such a suitable theory could in every case be discovered in the course of time, indicates serious deficiencies in the ordinary logistic.
Lecture notes in computer scienceA small set of formal topological relationships suitable for end-user interaction
503 Citations1993Eliseo Clementini, Paolino Di Felice +1 more
The first method is an extension of the geometric point-set approach by taking the dimension of the intersections into account, which results in a very large number of different topological relationships for point, line, and area features.
Elsevier eBooksRepresentations of Commonsense Knowledge
454 Citations1990
The power of representations in expressing world knowledge and in supporting significant inferences is analyzed using many detailed examples and the book is an essential reference for AI researchers and developers.
Notre Dame Journal of Formal LogicA calculus of individuals based on ``connection''.
394 Citations1981Bowman L. Clarke
Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman, comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens and de l'individu universel).
The LancetMagnetic resonance imaging of brain in people at high risk of developing schizophrenia
353 Citations1999Stephen M. Lawrie, Heather C. Whalley +8 more
People at high risk of developing schizophrenia for genetic reasons have several structural brain abnormalities that are similar to those in patients with the disorder, and at-risk individuals with particularly small AHC or thalami are most likely to develop schizophrenia.
Lecture notes in computer scienceA formal definition of binary topological relationships
337 Citations1989Max J. Egenhofer
A formal definition of spatial relationships is necessary to clarify the users' diverse understanding of spatial relationship and to actually deduce relationships among spatial objects.
Artificial IntelligenceQualitative navigation for mobile robots
331 Citations1990Tod S. Levitt, Daryl T. Lawton
This work has developed a multi-level theory of spatial representation of the environment based upon the observation and re-acquisition of distinctive visual events, i.e., landmarks, that provides the theoretical foundations for a visual memory database that smoothly integrates available metric knowledge of relative or absolute angles and distances.
AI MagazineNavigation and mapping in large-scale space
310 Citations1988Benjamin Kuipers
It is proposed that robust navigation and mapping systems for large- scale space can be developed by adhering to a natural, four-level semantic hierarchy of descriptions for representation, planning, and execution of plans in large-scale space.
Studies in logic and the foundations of mathematicsWhat is Elementary Geometry?
303 Citations1959Alfred Tarski
Data & Knowledge EngineeringMereotopology: A theory of parts and boundaries
299 Citations1996Barry Smith
The term ‘ontology’ has recently acquired a certain currency within the knowledge engineering community, especially in relation to the ARPA knowledge-sharing initiative, and here it is axiomatic formal ontology that has proved to be of most interest for the ontology-building purposes of the knowledge engineer.
Computer-Aided DesignOntology-based assembly design and information sharing for collaborative product development
269 Citations2006Kyoung‐Yun Kim, David G. Manley +1 more
The ability of the AsD ontology to be reasoned can capture both assembly and joining intents by a demonstration with a realistic mechanical assembly and a new assembly design information-sharing framework and an assembly design browser for a collaborative product development.
Data & Knowledge EngineeringParts, wholes, and part-whole relations: The prospects of mereotopology
249 Citations1996Achille C. Varzi
The Philosophical ReviewHoles and Other Superficialities.
205 Citations1996David Lewis, Roberto Casati +1 more
Artificial IntelligenceTowards a general theory of topological maps
199 Citations2003Emilio Remolina, Benjamin Kuipers
A general theory ofTopological maps is presented whereby sensory input, topological and local metrical information are combined to define the topological maps explaining such information.
A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy
196 Citations2003Cornelius Rosse, José L. V. Mejino
The Foundational Model of Anatomy is proposed as a reference ontology in biomedical informatics for correlating different views of anatomy, aligning existing and emerging ontologies in bioinformatics and providing a structure-based template for representing biological functions.
Journal of Visual Languages & ComputingDeriving the Composition of Binary Topological Relations
193 Citations1994Max J. Egenhofer
The composition table of the eight binary topological relations that exist between n-dimensional point sets with a co-dimension of 0.5 can serve as in a computational model for an assessment of whether a set of topological predicates is consistent or not and in spatial query processing when no explicit information about spatial relations is available.
Artificial IntelligenceComposing cardinal direction relations
191 Citations2003Spiros Skiadopoulos, Manolis Koubarakis
This work considers progressively more expressive classes of cardinal direction relations and gives composition algorithms for these classes and demonstrates that in some cases, the binary relation resulting from the composition of two cardinal direction Relations cannot be expressed using the relations defined by Goyal and Egenhofer.
Lecture notes in computer scienceQualitative Spatial Reasoning with Topological Information
185 Citations2002Jochen Renz
This work Enumeration of the Relations of the Maximal Tractable Subsets of RCC-8 and Empirical Evaluation of Reasoning with R CC-8 shows positive results in terms of tractability and representation.
Bulletin of the American Mathematical SocietyThe point of pointless topology
178 Citations1983Peter Johnstone
Artificial IntelligenceQualitative analysis of MOS circuits
176 Citations1984Brian Williams
Temporal qualitative analysis is a technique for analyzing the qualitative large signal behavior of MOS circuits that straddle the line between the digital and analog domains and uses knowledge about the structure of equations and the properties of structure classes to resolve ambiguities.
Applied IntelligenceMulti-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
175 Citations2002Brandon Bennett, Anthony G. Cohn +2 more
A two-dimensional logic capable of describing topological relationships that change over time, called PSTL (Propositional Spatio-Temporal Logic), is constructed and it is shown that it contains decidable fragments into which various temporal extensions of the spatial logic RCC-8 can be embedded.
Computers Environment and Urban SystemsOntologies and knowledge sharing in urban GIS
170 Citations2000Fred Fonseca, Max J. Egenhofer +2 more
This paper discusses issues related to the use of ontologies in the development of urban geographic information systems and proposes the creation of software components from diverse ontologies as a way to share knowledge and data.
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
170 Citations1995Nicholas Asher, Laure Vieu
This work offers an alternative to Tarski, starting with mereotopological notions that have proved useful in the semantic analysis of spatial expressions and gives a complete axiomatization of this account of mereotipological reasoning.
International Journal of Approximate ReasoningApproximate topological relations
168 Citations1997Eliseo Clementini, Paolino Di Felice
In this paper, approximate topological relations are destined to capture boundary uncertainty, variations over time, proximity measures, and vector-raster representations.
Automating temporal annotation with TARSQI
165 Citations2005Marc Verhagen, Inderjeet Mani +7 more
An overview of TARSQI, a modular system for automatic temporal annotation that adds time expressions, events and temporal relations to news texts, is presented.
Principles of Knowledge Representation and ReasoningSpatial Reasoning with Propositional Logics
163 Citations1994Brandon Bennett
By encoding spatial relationships in a propositional representation automated reasoning becomes more effective, and specifies representations in both classical and intuitionistic propositional logic, which provide for efficient reasoning about a large class of spatial relations.
Journal of Artificial Intelligence ResearchEfficient Methods for Qualitative Spatial Reasoning
141 Citations2001Jochen Renz, Bernhard Nebel
The experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC-8 instances, even if they are in the phase transition region - provided that one uses the maximal tractable subsets of RCC-8 that have been identified by us.
Lecture notes in computer scienceWhat Is a Qualitative Calculus? A General Framework
138 Citations2004Gérard Ligozat, Jochen Renz
It is shown that the natural algebraic object governing this kind of calculus is a non-associative algebra (in the sense of Maddux), and that the notion of weak representation is the right notion for describing most basic properties.
Journal of the ACMSatisfiability of word equations with constants is in PSPACE
136 Citations2004Wojciech Plandowski
International Journal of Geographical Information SystemsConcepts and paradigms in spatial information: are current geographical information systems truly generic?
135 Citations1995P.A. Burrough, Andrew U. Frank
The role of culture and language in describing geographical reality and the ways geographical data models reflect how people view the world are examined and differences between those who see the world as made of exact entities and smooth continuous surfaces are explored.
Elsevier eBooksMULTIPLE REPRESENTATIONS OF KNOWLEDGE IN A MECHANICS PROBLEM-SOLVER
131 Citations1990Johan de Kleer
A program, NEWTON, uses the method of envisionment, whereby simple questions may be answered directly, and plans produced for solving more complex problems, and resorts to mathematical equations only if the qualitative reasoning fails to produce a solution.
International Journal of Geographical Information SystemsA Voronoi-based 9-intersection model for spatial relations
129 Citations2001Jun Chen, Chengming Li +2 more
The Voronoi-based 9-intersection model (V9I) can also distinguish additional relations which are beyond topological relations, such as high-resolution disjoint relations and relations of complex spatial entities.
Lecture notes in computer scienceQualitative Direction Calculi with Arbitrary Granularity
125 Citations2004Jochen Renz, Debasis Mitra
This paper proposes a generalization of previous approaches which enables qualitative calculi with an arbitrary level of granularity, so powerful that they can even emulate a quantitative representation based on a coordinate system.
A pointless theory of space based on strong connection and congruence
125 Citations1996Stefano Borgo, Nicola Guarino +1 more
A logical theory of space where only tridimensional regions are assumed in the domain is presented, and three distinct primitives are used to describe their mereological, topological and morphological properties.
Lecture notes in computer scienceThe Mereotopology of Discrete Space
117 Citations1999Antony Galton
An attempt is made to bridge the gap between the continuous and discrete models of space by developing a high-level qualitative spatial theory premissed on a discrete model of space, exploiting the intrinsic metric of the discrete framework to define a measure of distinctness for regions, which affords an analogue of continuous change.
Artificial IntelligenceCombining topological and size information for spatial reasoning
115 Citations2002Alfonso Gerevini, Jochen Renz
A new path-consistency algorithm for combining RCC-8 relations and qualitative size relations is proposed and it is shown that deciding satisfiability for the combined sets of constraints is NP-hard, even when only the R CC-8 basic relations are used.
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives.
111 Citations1998Philippe Müller
It is shown what kind of properties usually assumed as desirable parts of any space-time theory are recovered from the authors' model, thus giving a sound theoretical basis for a natural, qualitative representation of motion.
Theoretical Computer ScienceA representation theorem for Boolean contact algebras
109 Citations2005Ivo Düntsch, Michael Winter
A representation theorem for Boolean contact algebras is proved which implies that the axioms for the region connection calculus (RCC) are complete for the class of subalgebra of the algeBRas of regular closed sets of weakly regular connected T1 spaces.
Lecture notes in computer scienceWeak Composition for Qualitative Spatial and Temporal Reasoning
100 Citations2005Jochen Renz, Gérard Ligozat
It turns out that the most important property of a qualitative calculus is not whether weak composition is equivalent to composition, but whether the relations are closed under constraints, and a new concept for qualitative relations, the "closure under constraints".
Fundamenta InformaticaeContact Algebras and Region-based Theory of Space: Proximity Approach – II
97 Citations2006Georgi Dimov, Dimiter Vakarelov
The paper can be regarded as a full realization of the proximity approach to the region-based theory of space and a lattice-theoretic generalization of methods and constructions from the theory of proximity spaces.
The GALEN High Level Ontology
95 Citations1996Rogers P Pole
This paper summarises the top level schema of the GALEN Common Reference model, which includes a taxonomy and an associated set of semantic link types.
Lecture notes in computer scienceProximity operators for qualitative spatial reasoning
85 Citations1995Mark Gahegan
This paper discusses how a model to support proximal reasoning could be constructed, with the meaning of linguistic variables being instantiated within a given context at execution time.
Artificial IntelligenceSpatial reasoning in a fuzzy region connection calculus
82 Citations2008Steven Schockaert, Martine De Cock +1 more
A generalization of the region connection calculus based on fuzzy set theory is presented, and it is revealed that reasoning in this fuzzy RCC is NP-complete, thus preserving the computational complexity of reasoning in the RCC.
Annals of Mathematics and Artificial IntelligenceRegion–based theory of discrete spaces: A proximity approach
80 Citations2007Ivo Düntsch, Dimiter Vakarelov
This work introduces Boolean proximity algebras as a generalization of Efremovič proximities which are suitable in reasoning about discrete regions and shows that each such algebra is isomorphic to a substructure of a complete and atomic Boolean proximity algebra.
International Journal of Geographical Information SystemsAlgebraic approach to spatial reasoning
80 Citations1992Terence R. Smith, Keith K. Park
A relation algebra for these topological relations is developed and a computational implementation of this algebra is described, which could be usefully incorporated into geographical information systems and related systems.
Journal of Artificial Intelligence ResearchCombining Spatial and Temporal Logics: Expressiveness vs. Complexity
76 Citations2005David Gabelaia, Roman Kontchakov +3 more
It is demonstrated how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPace-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete.
Lecture notes in computer scienceA hierarchical representation of qualitative shape based on connection and convexity
76 Citations1995Anthony G. Cohn
Using just two primitive notions, that of two regions connecting, and the convex hull of a region, a wide variety of concave shapes can be distinguished and a hierarchical representation at varying levels of granularity can be obtained.
Artificial Intelligence ReviewRelation Algebras and their Application in Temporal and Spatial Reasoning
71 Citations2005Ivo D�ntsch
An introduction to relation algebras is given, and an overview of their role in qualitative temporal and spatial reasoning is given.
Philosophical StudiesThe structure of spatial localization
70 Citations1996Roberto Casati, Achille C. Varzi
Spatial Representation and Reasoning in Artificial Intelligence
70 Citations1997Laure Vieu
This book explains how space serves as the basis for many metaphors, including temporal, and gave rise to mathematics itself, geometry being the first formal system known.
International Journal of Human-Computer StudiesClassical mereology and restricted domains
66 Citations1995Carola Eschenbach, Wolfgang Heydrich
It is claimed that the structural differences between restricted domains are not based on different mereological concepts, but on different concepts of being a whole, which sheds more light on the specific nature of these domains, their similarities and differences.
Qualitative spatiotemporal representation and reasoning: a computational perspective
66 Citations2003Frank Wolter, Michael Zakharyaschev
This paper argues for the rich world of representation that lies between these two extremes of representation that lies between these two extremes of inference.
Modeling Spatial Relations Between Lines and Regions: Combining Formal Mathematical Models and Human Subjects Testing
62 Citations2013David Mark, Max J. Egenhofer
IEEE Transactions on Knowledge and Data EngineeringTopological invariants for lines
61 Citations1998Eliseo Clementini, Paolino Di Felice
A set of topological invariants for relations between lines embedded in the 2-dimensional Euclidean space is given and is proven to be necessary and sufficient to characterize topological equivalence classes of binary relations between simple lines.
National Conference on Artificial IntelligenceSpatial and qualitative aspects of reasoning about motion
59 Citations1980Kenneth D. Forbus
The spatial and qualitative aspects of reasoning about motion through free space are studied through the construction of a program to perform such reasoning.
International Joint Conference on Artificial IntelligenceTowards an Integrated Logic of Space, Time and Motion.
58 Citations1993Antony Galton
This paper shows how Allen’s temporal logic, with the modifications suggested by Galton to enable it to accommodate continuityphenomena, can be combined with the spatial logic of Randall, Cui and Cohn to yield a useful framework for reasoning about the motion of a rigid body in space.
International mathematical seriesRegion-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics
57 Citations2007Dimiter Vakarelov
It is shown how new results in some practically motivated areas of QSR and KR can be obtained by combining methods from such established classical disciplines as Boolean algebras, topology and logic.
Artificial IntelligenceResponse to my critics
55 Citations1996Hubert L. Dreyfus
This paper shows how to modify an R n model so as to have an appropriate topological structure, and illustrates how the new models support standard reasoning algorithms, provide simple models for previously difficult situations, and suggest interesting new analyses based on change or non-change in scene topology.
International Journal of Human-Computer StudiesTaxonomies of logically defined qualitative spatial relations
54 Citations1995Anthony G. Cohn, David Randell +1 more
This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from two primitive (but axiomatized) notions, which allows many more relations to be defined.
GeoInformaticaVagueness and Rough Location
51 Citations2002Thomas Bittner, John G. Stell
An algebraic formalization of rough location is proposed, and hence, a formal method for the representation of objects subject to vagueness on a computer is presented, which can provide the foundation for the implementation of vague objects and their location indeterminacy in GIS.
Principles of Knowledge Representation and ReasoningHow Far Can We ‘C’? Defining a ‘Doughnut’ Using Connection Alone
50 Citations1994Nicholas M. Gotts
The paper shows how taxonomies of topological properties and relations can be developed, using the single primitive C, where C(x, y) indicates that regions x and y are ‘connected’, meaning that their closures share at least one point.
GeoInformaticaTopology in Raster and Vector Representation
49 Citations2000Stephan Winter, Andrew U. Frank
Egenhofer's nine-intersection, well-known for vector representations, is defined here on a raster, using a hybrid raster model, and then systematically transformed to yield functions which can be used in a convolution operation applied to a regular raster representation.
Lecture notes in computer scienceThe algebraic structure of sets of regions
49 Citations1997John G. Stell, Mike Worboys
A proof that elements of certain Heyting algebras provide models of the Region-Connection Calculus developed by Cohn et al. is presented, using the mathematically well known techniques of “pointless topology”.
A foundation for region-based qualitative geometry
49 Citations2000Brandon Bennett, Anthony G. Cohn +2 more
A categorical axiom system, whose models can be interpreted classically in terms of Cartesian spaces over ℝ, and it is shown that within this system the concept of sphere and the congruence relation are interdefinable.
Lecture notes in computer scienceStratified Rough Sets and Vagueness
46 Citations2003Thomas Bittner, John G. Stell
This paper shows how the mechanisms for making rough descriptions with respect to an equivalence relation can be extended to give rough descriptionswith respect to a granular partition, and shows how this relates to partitions of partial sets, i.e., partitions of sets in which not all members are known.
HAL (Le Centre pour la Communication Scientifique Directe)Modal logics for region-based theories of space
43 Citations2007Philippe Balbiani, Tinko Tinchev +1 more
This paper is dedicated to Professor Andrzej Grzegorczyk, whose paper "Axiomatization of geometry without points" is one of the first contributions to the region-based theory of space.
Mathematische AnnalenA set of postulates for abstract geometry, expressed in terms of the simple relation of inclusion
43 Citations1913Edward V. Huntington
A Categorical Axiomatisation of Region-Based Geometry
41 Citations2001Brandon Bennett
Region Based Geometry is an axiomatic theory of qualitative configurations of spatial regions based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive.
Mereotopological reasoning about parts and (w)holes in bio-ontologies
40 Citations2001Stefan Schulz, Udo Hahn
This work deals with mereotopological properties of parts and associated wholes, locations and empty spaces (holes), with particular reference to biological structures, leading to a basic ontology which contains 'solid object', 'hole' and'boundary' as mutually disjoint primitives.
Basic Problems of Mereotopology
39 Citations1998Achille C. Varzi
Lecture notes in computer scienceAtomicity vs. Infinite Divisibility of Space
39 Citations1999Claudio Masolo, Laure Vieu
This paper investigates the possibility of characterizing properties of space such as divisibility, density and atomicity in spaces modeled by mereologies and mereotopologies, and properties of atoms like extension and self-connectedness will be considered.
Artificial IntelligencePouring liquids: A study in commonsense physical reasoning
38 Citations2008Ernest Davis
A theory is presented that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers.
Lecture notes in computer scienceRough Sets in Approximate Spatial Reasoning
35 Citations2001Thomas Bittner, John G. Stell
This paper shows how systems of relations between regions can be extended from precisely known regions to approximate ones, and the equivalence between them is proved.
Connection Relations in Mereotopology
32 Citations1998Anthony G. Cohn, Achille C. Varzi
A model-theoretic framework forigating and comparing a variety of mereotopological theories with respect to the intended interpretation of their primitives and the composition of their intended do- mains is provided.
IEEE Transactions on Biomedical EngineeringOVERSEER: a prototype expert system for monitoring drug treatment in the psychiatric clinic
28 Citations1989Joseph D. Bronzino, R.A. Morelli +1 more
The chief benefit of OVERSEER's monitoring approach is the unobtrusive manner in which it evaluates psychopharmacological treatment and provides information regarding patient management to the hospital.
Logic and Logical PhilosophyReasoning about space: The hole story
26 Citations2003Achille C. Varzi
Much of the authors' naive reasoning about space involves reasoning about holes and holed objects.
Artificial intelligence for engineering design analysis and manufacturingOntology-based modeling and integration of morphological characteristics of assembly joints for network-based collaborative assembly design
26 Citations2008Kyoung‐Yun Kim, Seongah Chin +2 more
This case study demonstrates the usability of the proposed framework for network-based design collaboration and the mereotopological definitions for assembly joints are implemented in Semantic Web Rule Language (SWRL) rules and Web Ontology Language triples.
PolyU Institutional Research Archive (Hong Kong Polytechnic University)A Voronoi-based spatial algebra for spatial relations*
26 Citations2002Zhilin Li, Renliang Zhao +1 more
A generic algebra for spatial relations is presented, which overcomes the shortcomings of the existing models and it can effectively describe the relations of spatial objects.
Studia LogicaA Necessary Relation Algebra for Mereotopology
25 Citations2001Ivo Duuml ntsch, G. Schmidt +1 more
It is shown that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, and hence, in any standard model of mereotopology.
Fundamenta InformaticaeROUGH RELATION ALGEBRAS
24 Citations1994Ivo Düntsch
In this paper, some algebraic and arithmetical properties of rough relation algebras are studied and the representable rough relationAlgebrAs are characterised.
Lecture notes in computer scienceParts, Locations, and Holes — Formal Reasoning about Anatomical Structures
23 Citations2001Stefan Schulz, Udo Hahn
This work develops and formally describes a basic ontology consisting of the mutually disjoint primitives solid object, hole and boundary and embeds the relations part-of and location-of into a parsimonious description logic (ALC) and emulate advanced reasoning across these relations by taxonomic subsumption.
Logic and Logical PhilosophyContinuous lattices and Whiteheadian theory of space
22 Citations2004Thomas Mormann
European Conference on Artificial IntelligenceTaking Dimension Seriously in Qualitative Spatial Reasoning.
22 Citations1996Antony Galton
QYD alleviates SAP by reducing intestinal barrier dysfunction, inhibiting intestinal bacteria and endotoxin translocation, and preventing NF-κB activation.
…