An introduction to database systems: vol. 1 (5th ed.)
An introduction to database systems: vol. 1 (5th ed.)
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Information Sciences: an International Journal
Modeling uncertainty using partial information
Information Sciences: an International Journal
Dealing with fuzziness in active mobile database systems
Information Sciences—Informatics and Computer Science: An International Journal
Imprecise reasoning in geographic information systems
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Approximate Qualitative Temporal Reasoning
Annals of Mathematics and Artificial Intelligence
Imprecision in Finite Resolution Spatial Data
Geoinformatica
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Information Fusion in Logic: A Brief Overview
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Integrating Spatio-Thematic Information
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Specifying Open GIS with Functional Languages
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Reasoning in expressive description logics
Handbook of automated reasoning
Part and Complement: Fundamental Concepts in Spatial Relations
Annals of Mathematics and Artificial Intelligence
Reasoning about categories in conceptual spaces
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Information Sciences: an International Journal
Information Sciences: an International Journal
Qualitative relations between moving objects in a network changing its topological relations
Information Sciences: an International Journal
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
A model for describing and composing direction relations between overlapping and contained regions
Information Sciences: an International Journal
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
An inconsistency tolerant approach to querying spatial databases
Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems
Qualitative Spatial Representation and Reasoning for Data Integration of Ocean Observational Systems
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Qualitative probabilistic networks with reduced ambiguities
Applied Intelligence
Information Sciences: an International Journal
Efficient reasoning with RCC-3D
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Reasoning with qualitative velocity: towards a hybrid approach
HAIS'12 Proceedings of the 7th international conference on Hybrid Artificial Intelligent Systems - Volume Part I
Consistent query answering under spatial semantic constraints
Information Systems
Hi-index | 0.07 |
This paper explores the development and use of a qualitative reasoning system for describing consistency between different geographic data sets. Consistency is closely related to issues of uncertainty and interoperability in geographic information, and the paper assesses how automated reasoning about consistency can be used to support the integration of heterogeneous geographic data sets. The system developed is based on description logic. The decidability and tractability characteristics of description logic allow consistency checking to be deferred during data integration, so minimizing the information loss that usually accompanies any data integration task. Further, the user interface allows users to negotiate with the system in defining consistency. The results of the research suggest that further work could significantly increase the level of automation for many geographic data integration tasks.