Skip to Main Content
We introduce a novel approach to handle location- dependent query processing in location-aware environments. We define a hybrid logic-based query language by building a semantic model that benefits from the well- founded model checking techniques. Our language is defined by four modal operators; it can express common location-dependent queries, and has the ability to deal with relative locations. A prototype implementation of the query engine is also presented and will be discussed.