A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Abstraction and specification in program development
Abstraction and specification in program development
Journal of the ACM (JACM)
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Qualitative Representation of Spatial Knowledge
Qualitative Representation of Spatial Knowledge
Language and Spatial Cognition
Language and Spatial Cognition
Algorithms for Hierarchical Spatial Reasoning
Geoinformatica
Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Relatively free relation algebras
Proceedings of the Conference on Algebraic Logic and Universal Algebra in Computer Science
2D Projection Interval Relationships: A Symbolic Representation of Spatial Relationships
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter)
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Spatial Cognition and Computation
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
The Knowledge Engineering Review
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
An algebraic approach to image schemas for geographic space
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Categorical methods in qualitative reasoning: the case for weak representations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
An interstage change model for sandbox geography
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
Hi-index | 0.00 |
Recent research in geographic information systems hasbeen concerned with the construction of algebras tomake inferences about spatial relations by embeddingspatial relations within a space in which decisionsabout compositions are derived geometrically. Wepursue an alternative approach by studying spatialrelations and their inferences in a concrete spatialscenario, a room space that contains such manipulableobjects as a box, a ball, a table, a sheet of paper,and a pen. We derive from the observed spatialproperties an algebra related to the fundamentalspatial concepts of containers and surfaces and showthat this container-surface algebra holds allproperties of Tarski's relation algebra, except forthe associativity. The crispness of the compositionscan be refined by considering the relative size of theobjects) and their roles (i.e., whether it isexplicitly known that the objects are containers orsurfaces).