Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Jena: implementing the semantic web recommendations
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
An efficient SQL-based RDF querying scheme
VLDB '05 Proceedings of the 31st international conference on Very large data bases
The Description Logic Handbook
The Description Logic Handbook
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Hexastore: sextuple indexing for semantic web data management
Proceedings of the VLDB Endowment
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Incrementally maintaining materializations of ontologies stored in logic databases
Journal on Data Semantics II
A mobile reasoner for semantic-based matchmaking
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
TripleBit: a fast and compact system for large scale RDF data
Proceedings of the VLDB Endowment
Query rewriting under query refinements
Knowledge-Based Systems
Hi-index | 0.00 |
To make mobile device applications more intelligent, one can combine the information obtained via device sensors with background knowledge in order to deduce the user's current context, and then use this context to adapt the application's behaviour to the user's needs. In this paper we describe Delta-Reasoner, a key component of the Intelligent Mobile Platform (IMP), which was designed to support context-aware applications running on mobile devices. Context-aware applications and the mobile platform impose unusual requirements on the reasoner, which we have met by incorporating advanced features such as incremental reasoning and continuous query evaluation into our reasoner. Although we have so far been able to conduct only a very preliminary performance evaluation, our results are very encouraging: our reasoner exhibits sub-second response time on ontologies whose size significantly exceeds the size of the ontologies used in the IMP.