A logical language for data and knowledge bases
A logical language for data and knowledge bases
Partition Strategy for Distributed Query Processing in Fast Local Networks
IEEE Transactions on Software Engineering
A formal definition of binary topological relationships
3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
A logical framework for depiction and image interpretation
Artificial Intelligence
Analysing the familiar: Reasoning about space and time in the everyday world
Analysing the familiar: Reasoning about space and time in the everyday world
Computer image retrieval by features: suspect identification
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
Multimedia database systems
Structured multimedia database systems
Structured multimedia database systems
Design and evaluation of algorithms for image retrieval by spatial similarity
ACM Transactions on Information Systems (TOIS)
Maintaining knowledge about temporal intervals
Communications of the ACM
Searching Multimedia Databases by Content
Searching Multimedia Databases by Content
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Image Information Systems: Where Do We Go From Here?
IEEE Transactions on Knowledge and Data Engineering
Performance Issues in Distributed Query Processing
IEEE Transactions on Parallel and Distributed Systems
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Semantic Queries with Pictures: The VIMSYS Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
An Information-Retrieval Approach for Image Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Qualitative and Topological Relationships in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
A rule-based video database system architecture
Information Sciences—Informatics and Computer Science: An International Journal
Object and image indexing based on region connection calculus and oriented matroid theory
Discrete Applied Mathematics - Special issue: Advances in discrete geometry and topology (DGCI 2003)
BilVideo: Design and Implementation of a Video Database Management System
Multimedia Tools and Applications
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Object and image indexing based on region connection calculus and oriented matroid theory
Discrete Applied Mathematics - Special issue: Advances in discrete geometry and topology (DGCI 2003)
A language and a visual interface to specify complex spatial patterns
PAKDD'07 Proceedings of the 11th Pacific-Asia conference on Advances in knowledge discovery and data mining
Combinative reasoning with RCC5 and cardinal direction relations
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
An inference system for relationships between spatial granularities
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
| Hi-index | 0.00 |
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems and other applications. We present a set of rules that allow us to deduce new relationships from a given set of relationships. A deductive mechanism using these rules can be used in query-processing systems that retrieve pictures by content. The given set of rules is shown to be isound; that is, the deductions are logically correct. The rules are also shown to be icomplete for three-dimensional systems; that is, every relationship that is implied by a given consistent set of relationships iF is deducible from iF using the given rules. In addition, we show that the given set of rules is incomplete for two-dimensional systems. We also present efficient algorithms for the deduction and reduction problems. The deduction problem consists of computing all the relationships deducible from a given set, while the reduction problem consists of computing a minimal subset of a given set of relationships that implies all the relationships in the given set.