You are previewing Qualitative Spatio-Temporal Representation and Reasoning.
O'Reilly logo
Qualitative Spatio-Temporal Representation and Reasoning

Book Description

Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information theory encompasses spatial as well as temporal representation and reasoning. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning. This revolutionary new field is increasingly becoming a core issue within mobile computing, GIS/spatial information systems, databases, computer vision as well as knowledge discovery and data mining.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Book Series
  5. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
  6. Preface
    1. INTRODUCTION
    2. WHAT IS QSTR?
    3. THE INSIDE STORY
    4. FINAL COMMENTS
  7. Chapter 1: Region-Based Theories of Space
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND
    4. 3. ONTOLOGICAL CHOICES IN MEREOTOPOLOGY
    5. 4. SYSTEMATIC TREATMENTS OF MEREOTOPOLOGY
    6. 5. LOGICAL AXIOMATIZATIONS OF MEREOTOPOLOGY
    7. 6. ALGEBRAIC REPRESENTATIONS OF MEREOTOPOLOGY
    8. 7. TOPOLOGY FOR MEREOTOPOLOGY
    9. 8. GRAPHS FOR MEREOTOPOLOGY
    10. 9. APPLICATION DOMAINS OF MEREOTOPOLOGY
    11. 10. REMAINING CHALLENGES
    12. 11. SUMMARY
  8. Chapter 2: PLCA
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND
    4. 3. PLCA EXPRESSION
    5. 4. OPERATIONS ON PLCA EXPRESSION
    6. 5. REASONING ON ATTRIBUTED PLCA
    7. 6. EMBEDDING PLCA IN A PLANE
    8. 7. DRAWING ALGORITHM
    9. 8. EXTENSION TO SHAPE REPRESENTATION
    10. 9. CONCLUSION
  9. Chapter 3: Qualitative Reasoning and Spatio-Temporal Continuity
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. RELATED WORK
    4. 3. QUALITATIVE HOMOGENEOUS DECOMPOSITIONS
    5. 4. TRANSITION GRAPHS FOR SOME SAMPLE PROBLEMS
    6. 5. CONCLUSION AND FUTURE WORK
    7. Appendix: Proofs
  10. Chapter 4: A Qualitative Trajectory Calculus to Reason about Moving Point Objects
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. THE QUALITATIVE TRAJECTORY CALCULUS
    5. QTC: BASIC (QTC)
    6. QTC: DOUBLE CROSS (QTC)
    7. REPRESENTING AND REASONING WITH QTC
    8. EXTENDING QTC
    9. EXAMPLE CASE
    10. FUTURE RESEARCH DIRECTIONS
    11. CONCLUSION
  11. Chapter 5: Methodologies for Qualitative Spatial and Temporal Reasoning Application Design
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND
    4. 3. CHARACTERISTICS OF QSTR APPLICATIONS
    5. 4. FORMAL SOFTWARE REQUIREMENTS FOR QSTR APPLICATIONS
    6. 5. STRUCTURING QSTR APPLICATIONS
    7. 6. DESIGNING NEIGHBOURHOODS OVER FRAGMENTS
    8. 7. VALIDATING QSTR APPLICATION USING H-COMPLEXITY
    9. 8. FUTURE RESEARCH
    10. 9. CONCLUSION
  12. Chapter 6: Enriching the Qualitative Spatial Reasoning System RCC8
    1. ABSTRACT
    2. INTRODUCTION
    3. TOPOLOGICAL MODELS AS BASIS OF THE RCC8 SYSTEM
    4. ENRICHING THE QUALITATIVE SPATIAL REASONING SYSTEM RCC8 AT THE DETAILED LEVEL WITH TWO ADDITIONAL LEVELS (LEVEL-1 AND LEVEL-2)
    5. APPLICATIONS
    6. FUTURE RESEARCH: NEW COMPOSITION TABLE OF THE RCC8 SYSTEM
    7. CONCLUSION
  13. Chapter 7: A Region-Based Ontology of the Brain Ventricular System and Its Relation to Schizophrenia
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. THE BASIC INCLUSION THEORY
    4. 3. CONTINUITY AND FIAT BOUNDARIES
    5. 4. A SPATIAL BIO-ONTOLOGY FOR THE VENTRICULAR BRAIN SYSTEM
    6. 5. AN EXAMPLE OF APPLICATION: ONTOLOGY AND NEUROIMAGE ANALYSIS
    7. 6. DISCUSSION AND OPEN ISSUES
  14. Chapter 8: Explanation Generation over Temporal Interval Algebra
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND ON TEMPORAL REASONING
    4. GEOMETRICAL REPRESENTATION OF MTSs
    5. MTS CLASSIFICATION
    6. CONSISTENCY CHECKING AND CULPRIT DETECTION FOR SEVENTEEN KROKHIN-MTSs
    7. DISCUSSION
  15. Chapter 9: Reasoning about Space, Actions, and Change
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. SPACE, ACTIONS, AND CHANGE: APPLICATION PERSPECTIVES
    4. 3. RSAC: A LOGICAL PERSPECTIVE TO INTEGRATION
    5. 4. RSAC: KEY CHALLENGES AND QUESTIONS
    6. 5. SUMMARY OF CHAPTER
    7. LITERATURE AND COMMUNITY
  16. Chapter 10: Integrated Ontologies for Spatial Scene Descriptions
    1. ABSTRACT
    2. BACKGROUND
    3. INTEGRATED SCENE DESCRIPTION ONTOLOGIES
    4. FUTURE RESEARCH DIRECTIONS
    5. CONCLUSION
  17. Chapter 11: Qualitative Spatial Reasoning for Applications
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. THREE APPLICATION AREAS FOR QSTR
    4. 3. QSTR SUPPORT FOR APPLICATIONS
    5. 4. THE SPARQ TOOLBOX
    6. 5. CONCLUSION AND OUTLOOK
  18. Chapter 12: On the Representation and Recognition of Temporal Patterns of Activities in Smart Environments
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. RELATED WORK
    4. 3. REPRESENTATION OF TEMPORAL CONTEXTS
    5. 4. ASSESSMENT OF TEMPORAL CONTEXTS
    6. 5. EXPERIMENTAL RESULTS AND DISCUSSION
    7. 6. CONCLUSION
  19. Chapter 13: Topical and Spatio-Temporal Search over Distributed Online Databases
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. MULTI-DIMENSIONAL DATABASE CONTENT SUMMARIES
    5. DATABASE SELECTION ALGORITHM
    6. FUTURE RESEARCH DIRECTIONS
    7. CONCLUSION
  20. Compilation of References
  21. About the Contributors