Temporal reasoning based on semi-intervals
Artificial Intelligence
Reasoning about Gradual Changes of Topological Relationships
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
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning on spatial semantic integrity constraints
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Spatial relations between classes of individuals
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Narrative Geospatial Knowledge in Ethnographies: Representation and Reasoning
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
A mismatch description language for conceptual schema mapping and its cartographic representation
GIScience'10 Proceedings of the 6th international conference on Geographic information science
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Hi-index | 0.00 |
The facilitation of interoperability requires a clear distinction if a relation refers to classes of individuals or to specific instances, in particular when it comes to the logical properties of the involved relations. Class relations are defined whenever the semantics of entire classes are described, independently of single instances. Typical examples are spatial semantic integrity constraints or ontologies of entity classes. The paper continues research on spatial class relations by deepening the analysis of the reasoning properties of class relations. The work is based on a set of 17 abstract class relations defined in [11]. The paper provides a complete composition table for the 17 abstract class relations and redefines the concept of conceptual neighbourhood for class relations. This approach can be used to find conflicts and redundancies in sets of semantic integrity constraints or other applications of spatial class relations.