Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
Requirements and research issues in geographic data modeling
Proceedings of the 9th ACM international symposium on Advances in geographic information systems
Editorial: “Consistency Revisited”
Geoinformatica
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
Constraints and Triggers in an Object-Oriented Geo Database Kernel
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Spatial relations between classes of individuals
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Reasoning on Spatial Relations between Entity Classes
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
An inconsistency tolerant approach to querying spatial databases
Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems
Measuring consistency with respect to topological dependency constraints
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Formalization and reasoning about spatial semantic integrity constraints
Data & Knowledge Engineering
Consistent query answering under spatial semantic constraints
Information Systems
| Hi-index | 0.00 |
Semantic integrity constraints specify relations between entity classes. These relations must hold to ensure that the data conforms to the semantics intended by the data model. For spatial data many semantic integrity constraints are based on spatial properties like topological or metric relations. Reasoning on such spatial relations and the corresponding derivation of implicit knowledge allow for many interesting applications. The paper investigates reasoning algorithms which can be used to check the internal consistency of a set of spatial semantic integrity constraints. Since integrity constraints are defined at the class level, the logical properties of spatial relations can not directly be applied. Therefore a set of 17 abstract class relations has been defined, which combined with the instance relations enables the specification of integrity constraints. The investigated logical properties of the class relations enable to discover conflicts and redundancies in sets of spatial semantic integrity constraints.