{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:45:54Z","timestamp":1725597954321},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642227080"},{"type":"electronic","value":"9783642227097"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22709-7_24","type":"book-chapter","created":{"date-parts":[[2011,7,25]],"date-time":"2011-07-25T12:13:09Z","timestamp":1311595989000},"page":"232-241","source":"Crossref","is-referenced-by-count":4,"title":["Towards Incremental Reasoning for Context Aware Systems"],"prefix":"10.1007","author":[{"given":"Mohammad","family":"Oliya","sequence":"first","affiliation":[]},{"given":"Hung Keng","family":"Pung","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Resource description framework (rdf): Concepts and abstract syntax (2004), http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/","key":"24_CR1"},{"unstructured":"CC\/PP Information Page (2007), http:\/\/www.w3.org\/Mobile\/CCPP\/","key":"24_CR2"},{"key":"24_CR3","volume-title":"The description logic handbook : theory, implementation, and applications","author":"F. Baader","year":"2010","unstructured":"Baader, F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2010)"},{"issue":"2","key":"24_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.pmcj.2009.06.002","volume":"6","author":"C. Bettini","year":"2010","unstructured":"Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing\u00a06(2), 161\u2013180 (2010)","journal-title":"Pervasive and Mobile Computing"},{"key":"24_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-85379-4_3","volume-title":"Constructing Ambient Intelligence","author":"A. Bikakis","year":"2008","unstructured":"Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A survey of semantics-based approaches for context reasoning in ambient intelligence. In: Muhlhauser, M., Ferscha, A., Aitenbichler, E. (eds.) Constructing Ambient Intelligence. Communications in Computer and Information Science, vol.\u00a011, pp. 14\u201323. Springer, Heidelberg (2008)"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1361348.1361353","volume":"36","author":"C. Bolchini","year":"2007","unstructured":"Bolchini, C., Curino, C.A., Quintarelli, E., Schreiber, F.A., Tanca, L.: A data-oriented survey of context models. SIGMOD Rec.\u00a036, 19\u201326 (2007)","journal-title":"SIGMOD Rec."},{"key":"24_CR7","first-page":"1271","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence","author":"G. Giacomo De","year":"2006","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of the 21st National Conference on Artificial Intelligence, vol.\u00a02, pp. 1271\u20131276. AAAI Press, Menlo Park (2006)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-00985-3_6","volume-title":"Future Internet \u2013 FIS 2008","author":"E. Valle Della","year":"2009","unstructured":"Della Valle, E., Ceri, S., Barbieri, D.F., Braga, D., Campi, A.: A first step towards stream reasoning. In: Domingue, J., Fensel, D., Traverso, P. (eds.) FIS 2008. LNCS, vol.\u00a05468, pp. 72\u201381. Springer, Heidelberg (2009)"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MPRV.2004.19","volume":"3","author":"T. Gu","year":"2004","unstructured":"Gu, T., Pung, H.K., Zhang, D.Q.: Toward an osgi-based infrastructure for context-aware applications. IEEE Pervasive Computing\u00a03, 66\u201374 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/170035.170066","volume-title":"Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data","author":"A. Gupta","year":"1993","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, pp. 157\u2013166. ACM, New York (1993)"},{"key":"24_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, F.C.: Expressive syndication on the web using a description logic-based approach. Ph.D. thesis, University of Maryland, College Park, College Park, MD, USA, aAI3297367 (2007)","key":"24_CR12","DOI":"10.2139\/ssrn.3199397"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00354-009-0060-5","volume":"27","author":"C. Hoareau","year":"2009","unstructured":"Hoareau, C., Satoh, I.: Modeling and processing information for context-aware computing: A survey. New Generation Computing\u00a027, 177\u2013196 (2009)","journal-title":"New Generation Computing"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/MOBIQUITOUS.2005.19","volume-title":"Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services","author":"O. Lassila","year":"2005","unstructured":"Lassila, O., Khushraj, D.: Contextualizing applications via semantic middleware. In: Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, pp. 183\u2013191. IEEE Computer Society, Washington, DC, USA (2005)"},{"doi-asserted-by":"crossref","unstructured":"Lei, H.: Context awareness: a practitioner\u2019s perspective. In: International Workshop on Ubiquitous Data Management, pp. 43\u201352 (2005)","key":"24_CR15","DOI":"10.1109\/UDM.2005.6"},{"key":"24_CR16","volume-title":"International Conference of Principles of Knowledge Representation and Reasoning","author":"H. Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: International Conference of Principles of Knowledge Representation and Reasoning. AAAI, Menlo Park (2006)"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1017\/S0269888907001300","volume":"23","author":"M. Luther","year":"2008","unstructured":"Luther, M., Fukazawa, Y., Wagner, M., Kurakake, S.: Situational reasoning for task-oriented mobile service recommendation. Knowl. Eng. Rev.\u00a023, 7\u201319 (2008)","journal-title":"Knowl. Eng. Rev."},{"unstructured":"McGuinness, D., Harmelen, F.: Owl web ontology language overview 2003, http:\/\/www.w3.org\/TR\/owl-features\/","key":"24_CR18"},{"unstructured":"Pan, J.Z., Thomas, E.: Approximating owl-dl ontologies. In: Proceedings of the National Conference on Artificial Intelligence (2007)","key":"24_CR19"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TSE.2010.35","volume":"36","author":"M. Sama","year":"2010","unstructured":"Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D.S., Wang, Z.: Context-aware adaptive applications: Fault patterns and their automated identification. IEEE Transactions on Software Engineering\u00a036, 644\u2013661 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"24_CR21","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/98.943998","volume":"8","author":"M. Satyanarayanan","year":"2001","unstructured":"Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Personal Communications\u00a08(4), 10\u201317 (2001)","journal-title":"IEEE Personal Communications"},{"issue":"2","key":"24_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semantics: Science, Services and Agents on the World Wide Web\u00a05(2), 51\u201353 (2007)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"unstructured":"Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: 1st Int. Workshop on Advanced Context Modelling, Reasoning and Management (2004)","key":"24_CR23"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-04957-6_56","volume-title":"Flexible Query Answering Systems","author":"G. Unel","year":"2009","unstructured":"Unel, G., Roman, D.: Stream reasoning: A survey and further research directions. In: Andreasen, T., Yager, R.R., Bulskov, H., Christiansen, H., Larsen, H.L. (eds.) FQAS 2009. LNCS, vol.\u00a05822, pp. 653\u2013662. Springer, Heidelberg (2009)"},{"key":"24_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30567-5_1","volume-title":"Journal on Data Semantics II","author":"R. Volz","year":"2005","unstructured":"Volz, R., Staab, S., Motik, B.: Incrementally maintaining materializations of ontologies stored in logic databases. In: Spaccapietra, S., Hwang, J., Jajodia, S., King, R., McLeod, D., Orlowska, M.E., Strous, L. (eds.) Journal on Data Semantics II. LNCS, vol.\u00a03360, pp. 1\u201334. Springer, Heidelberg (2005)"},{"key":"24_CR26","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MPRV.2004.1321026","volume":"3","author":"X. Wang","year":"2004","unstructured":"Wang, X., Dong, J.S., Chin, C., Hettiarachchi, S., Zhang, D.: Semantic space: An infrastructure for smart spaces. IEEE Pervasive Computing\u00a03, 32\u201339 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"24_CR27","first-page":"933","volume-title":"Human-Computer Interaction","author":"M. Weiser","year":"1995","unstructured":"Weiser, M.: The computer for the 21st century. In: Baecker, R.M., Grudin, J., Buxton, W.A.S., Greenberg, S. (eds.) Human-Computer Interaction, pp. 933\u2013940. Morgan Kaufmann Publishers Inc., San Francisco (1995)"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-72667-8_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Weith\u00f6ner","year":"2007","unstructured":"Weith\u00f6ner, T., Liebig, T., Luther, M., B\u00f6hm, S., von Henke, F.W., Noppens, O.: Real-world reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 296\u2013310. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Gu, T., Pung, H.K., Zhang, D.: Peer-to-peer context reasoning in pervasive computing environments. In: 6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008, pp. 406\u2013411 (2008)","key":"24_CR29","DOI":"10.1109\/PERCOM.2008.37"},{"issue":"4","key":"24_CR30","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/JSAC.2009.090513","volume":"27","author":"H. Pung","year":"2009","unstructured":"Pung, H., Gu, T., Xue, W., Palmes, P., Zhu, J., Ng, W., Tang, C., Chung, N.: Context-aware middleware for pervasive elderly homecare. IEEE Journal on Selected Areas in Communications\u00a027(4), 510\u2013524 (2009)","journal-title":"IEEE Journal on Selected Areas in Communications"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22709-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T05:17:22Z","timestamp":1560403042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22709-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642227080","9783642227097"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22709-7_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}