• DocumentCode
    2036863
  • Title

    Pairwise-consistency checking of basic cardinal direction constraints

  • Author

    Sun, Wei ; Ouyang, Jihong ; Ma, Tingxin ; Liu, Dayou

  • Author_Institution
    Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
  • Volume
    2
  • fYear
    2011
  • fDate
    8-10 April 2011
  • Firstpage
    369
  • Lastpage
    372
  • Abstract
    In this paper we study a formal model for qualitative spatial reasoning with cardinal direction relations called direction-relation matrix. We give an O(n2) algorithm to check the pairwise-consistency of basic cardinal direction constraints with the variables ranging over the set of simple regions. To the best of our knowledge, this was an open problem. A previous algorithm of the same model with our paper for this problem works in O(n3).
  • Keywords
    computational complexity; inference mechanisms; basic cardinal direction constraints; cardinal direction relations; direction-relation matrix; formal model; pairwise-consistency checking; qualitative spatial reasoning; Algebra; Algorithm design and analysis; Cognition; Computational modeling; Computer science; Marine vehicles; Spatial databases; cardinal direction constraint; pairwise-consistency; rectangle algebra; relation converse;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electronics Computer Technology (ICECT), 2011 3rd International Conference on
  • Conference_Location
    Kanyakumari
  • Print_ISBN
    978-1-4244-8678-6
  • Electronic_ISBN
    978-1-4244-8679-3
  • Type

    conf

  • DOI
    10.1109/ICECTECH.2011.5941720
  • Filename
    5941720