{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:17:35Z","timestamp":1755926255327,"version":"3.37.3"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T00:00:00Z","timestamp":1540252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T00:00:00Z","timestamp":1540252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2019,2,15]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Over the last few years, context-aware computing has received a growing amount of attention among the researchers in the IoT and ubiquitous computing community. In principle, context-aware computing transforms a physical environment into a smart space by sensing the surrounding environment and interpreting the situation of the user. This process involves three major steps: context acquisition, context modelling, and context-aware reasoning. Among other approaches, ontology-based context modelling and rule-based context reasoning are widely used techniques to enable semantic interoperability and interpreting user situations. However, implementing rich context-aware applications that perform reasoning on resource-bounded mobile devices is quite challenging. In this paper, we present a context-aware systems development framework for smart spaces, which includes a lightweight efficient rule engine and a wide range of user preferences to reduce the number of rules while inferring personalized contexts. This shows rules can be reduced in order to optimize the inference engine execution speed, and ultimately to reduce total execution time and execution cost.<\/jats:p>","DOI":"10.1007\/s11036-018-1140-x","type":"journal-article","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T05:19:54Z","timestamp":1540271994000},"page":"82-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5430-450X","authenticated-orcid":false,"given":"Abdur","family":"Rakib","sequence":"first","affiliation":[]},{"given":"Ijaz","family":"Uddin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,23]]},"reference":[{"key":"1140_CR1","doi-asserted-by":"crossref","unstructured":"Bardram JE, N\u00f8rskov N (2008) A context-aware patient safety system for the operating room. In: Proceedings of of the 10th international conference on ubiquitous computing, pp 272\u2013281","DOI":"10.1145\/1409635.1409672"},{"key":"1140_CR2","first-page":"3","volume-title":"What changes from ubiquitous computing to internet of things in interaction evaluation?","author":"RMC Andrade","year":"2017","unstructured":"Andrade RMC, Carvalho RM, de Ara\u00fajo IL, Oliveira KM, Maia MEF (2017) What changes from ubiquitous computing to internet of things in interaction evaluation? Springer International Publishing, Cham, pp 3\u201321"},{"key":"1140_CR3","doi-asserted-by":"crossref","unstructured":"Ballagas MRR, Borchers J, Sheridan JG (2006) The smart phone: a ubiquitous input device. In: IEEE pervasive computing, vol 5, pp 70\u201377","DOI":"10.1109\/MPRV.2006.18"},{"key":"1140_CR4","doi-asserted-by":"crossref","unstructured":"Karlson AK, Iqbal ST, Meyers B, Ramos G, Lee K, Tang JC (2010) Mobile taskflow in context: a screenshot study of smartphone usage. In: Proceedings of the SIGCHI conference on human factors in computing systems. ACM, pp 2009\u20132018","DOI":"10.1145\/1753326.1753631"},{"issue":"1","key":"1140_CR5","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1109\/SURV.2013.042313.00197","volume":"16","author":"C Perera","year":"2014","unstructured":"Perera C, Zaslavsky A, Christen P, Georgakopoulos D (2014) Context aware computing for the internet of things: a survey. Communications Surveys & Tutorials, IEEE 16(1):414\u2013454","journal-title":"Communications Surveys & Tutorials, IEEE"},{"key":"1140_CR6","doi-asserted-by":"crossref","unstructured":"Abowd GD, Dey AK, Brown PJ, Davies N, Smith M, Steggles P (1999) Towards a better understanding of context and context-awareness. In: Handheld and ubiquitous computing. Springer, pp 304\u2013307","DOI":"10.1007\/3-540-48157-5_29"},{"key":"1140_CR7","volume-title":"Expert systems: design and development","author":"J Durkin","year":"1994","unstructured":"Durkin J (1994) Expert systems: design and development. Prentice Hall, New York"},{"key":"1140_CR8","volume-title":"Artificial intelligence: a modern approach","author":"S Russell","year":"2002","unstructured":"Russell S, Norvig P (2002) Artificial intelligence: a modern approach, 2nd edn. Prentice-hall, New York","edition":"2nd edn."},{"key":"1140_CR9","unstructured":"Lagun E Evaluation and implementation of match algorithms for rule-based multi-agent systems using the example of Jadex. Master\u2019s Thesis, Universit\u00e4t Hamburg"},{"key":"1140_CR10","unstructured":"Giarratano JC, Riley G (2005) Expert systems: principles and programming. Thomson Course Technology"},{"key":"1140_CR11","volume-title":"Artificial intelligence: structures and strategies for complex problem solving","author":"G Luger","year":"2001","unstructured":"Luger G (2001) Artificial intelligence: structures and strategies for complex problem solving. Addison Wesley, Reading"},{"key":"1140_CR12","unstructured":"Friedman-Hill E (2003) Jess in Action: Java rule-based systems. Manning Publications"},{"issue":"1","key":"1140_CR13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C Forgy","year":"1982","unstructured":"Forgy C (1982) Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artif Intell 19(1):17\u201337","journal-title":"Artif Intell"},{"issue":"4","key":"1140_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1017\/S026988890000062X","volume":"1","author":"H Reichgelt","year":"1984","unstructured":"Reichgelt H, van Harmelen F (1984) Criteria for choosing representation languages and control regimes for expert systems. Knowl Eng Rev 1(4):2\u201317","journal-title":"Knowl Eng Rev"},{"issue":"2","key":"1140_CR15","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s11229-009-9557-1","volume":"169","author":"N Alechina","year":"2009","unstructured":"Alechina N, Logan B, Nga NH, Rakib A (2009) Verifying time, memory and communication bounds in systems of reasoning agents. Journal Synthese@Springer-Verlag 169(2):385\u2013403","journal-title":"Journal Synthese@Springer-Verlag"},{"key":"1140_CR16","doi-asserted-by":"crossref","unstructured":"Rakib A, Haque HM (2014) A Logic for context-aware non-monotonic reasoning agents. In: Gelbukh A et al (eds) MICAI\u201914, human-inspired computing and its applications, vol 8856. LNCS, Springer, pp 453\u2013471","DOI":"10.1007\/978-3-319-13647-9_41"},{"key":"1140_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.future.2013.10.027","volume":"34","author":"K-L Skillen","year":"2014","unstructured":"Skillen K-L et al (2014) Ontological user modelling and semantic rule-based reasoning for personalisation of Help-On-Demand services in pervasive environments. Futur Gener Comput Syst 34:97\u2013109","journal-title":"Futur Gener Comput Syst"},{"key":"1140_CR18","unstructured":"The prot\u00e9g\u00e9 ontology editor and knowledge-base framework (Version 4.1), 2011, http:\/\/protege.stanford.edu\/"},{"key":"1140_CR19","doi-asserted-by":"crossref","unstructured":"Mahfooz Ul Haque H, Rakib A, Uddin I (2017) Modelling and reasoning about context-aware agents over heterogeneous knowledge sources. In: 5th international conference on context-aware systems and applications (ICCASA\u201916), vol 193. LNICST, Springer-Verlag, pp 1\u201311","DOI":"10.1007\/978-3-319-56357-2_1"},{"issue":"2-3","key":"1140_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ ter Horst","year":"2005","unstructured":"ter Horst HJ (2005) Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Web Semant Sci Serv Agents World Wide Web 3(2-3):79\u2013115","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"key":"1140_CR21","doi-asserted-by":"crossref","unstructured":"Grosof B, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003. ACM Press, pp 48\u201357","DOI":"10.2139\/ssrn.460986"},{"key":"1140_CR22","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and ruleML. Acknowledged W3C submission, standards proposal research report: Version 0.6"},{"issue":"1","key":"1140_CR23","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/TSMC.1981.4308579","volume":"11","author":"RG Smith","year":"1981","unstructured":"Smith RG, Davis R (1981) Frameworks for cooperation in distributed problem solving. IEEE Trans Syst Man Cybern 11(1):61\u201370","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"4","key":"1140_CR24","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock JL (1987) Defeasible reasoning. Cogn Sci 11(4):481\u2013518","journal-title":"Cogn Sci"},{"key":"1140_CR25","doi-asserted-by":"crossref","unstructured":"Eker S, Meseguer J, Sridharanarayanan A (2003) The maude LTL model checker and its implementation. In: Ball T, Rajamani SK (eds) SPIN2003, vol 2648. LNCS, Springer-Verlag, pp 230\u2013234","DOI":"10.1007\/3-540-44829-2_16"},{"key":"1140_CR26","doi-asserted-by":"crossref","unstructured":"Chronis I, Madan A, Pentland AS (2009) Socialcircuits: the art of using mobile phones for modeling personal interactions. In: Proceedings of the ICMI-MLMI\u201909 workshop on multimodal sensor-based systems and mobile phones for social computing. ACM, pp 1\u20134","DOI":"10.1145\/1641389.1641390"},{"issue":"9","key":"1140_CR27","doi-asserted-by":"publisher","first-page":"11950","DOI":"10.1016\/j.eswa.2009.03.067","volume":"36","author":"JJ Jung","year":"2009","unstructured":"Jung JJ (2009) Contextualized mobile recommendation service based on interactive social network discovered from mobile users. Expert Syst Appl 36(9):11950\u201311956","journal-title":"Expert Syst Appl"},{"issue":"1","key":"1140_CR28","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/TSMCB.2008.2006638","volume":"39","author":"DO Olgu\u00edn","year":"2009","unstructured":"Olgu\u00edn DO et al (2009) Sensible organizations: Technology and methodology for automatically measuring organizational behavior. IEEE Trans Syst Man Cybern, Part B (Cybernetics) 39(1):43\u201355","journal-title":"IEEE Trans Syst Man Cybern, Part B (Cybernetics)"},{"issue":"4","key":"1140_CR29","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s00779-005-0046-3","volume":"10","author":"N Eagle","year":"2006","unstructured":"Eagle N, Pentland AS (2006) Reality mining: sensing complex social systems. In Pers Ubiquit Comput 10(4):255\u2013268","journal-title":"In Pers Ubiquit Comput"},{"key":"1140_CR30","doi-asserted-by":"crossref","unstructured":"Aly WM, Eskaf KA, Selim AS (2017) Fuzzy mobile expert system for academic advising. In: IEEE 30th Canadian conference on electrical and computer engineering (CCECE). IEEE, pp 1\u20135","DOI":"10.1109\/CCECE.2017.7946846"},{"key":"1140_CR31","first-page":"41","volume":"2013","author":"F Sartori","year":"2013","unstructured":"Sartori F, Manenti L, Grazioli L (2013) A conceptual and computational model for knowledge-based agents in android. WOA@ AI* IA 2013:41\u201346","journal-title":"WOA@ AI* IA"},{"issue":"4","key":"1140_CR32","first-page":"68","volume":"7","author":"MF Abulkhair","year":"2016","unstructured":"Abulkhair MF, Ibrahim LF (2016) Using rule base system in mobile platform to build alert system for evacuation and guidance. In Int J Adv Comput Sci Appl 7(4):68\u201379","journal-title":"In Int J Adv Comput Sci Appl"},{"key":"1140_CR33","unstructured":"Gu T, Pung HK, Zhang D (2004) A middleware for building context-aware mobile services. In: IEEE 59th vehicular technology conference, vol 5. IEEE, pp 2656\u20132660"},{"key":"1140_CR34","volume-title":"An intelligent broker architecture for pervasive context-aware systems","author":"H Chen","year":"2004","unstructured":"Chen H (2004) An intelligent broker architecture for pervasive context-aware systems. PhD thesis, University of Maryland, Baltimore County"},{"key":"1140_CR35","unstructured":"Ul-Haque HM (2017) A formal approach to modelling and verification of context-aware systems. PhD thesis, University of Nottingham"},{"issue":"3","key":"1140_CR36","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00779-010-0329-1","volume":"15","author":"B Guo","year":"2011","unstructured":"Guo B, Zhang D, Imai M (2011) Toward a cooperative programming framework for context-aware applications. In Pers Ubiquit Comput 15(3):221\u2013233","journal-title":"In Pers Ubiquit Comput"},{"key":"1140_CR37","unstructured":"Forgy CL (1979) On the efficient implementation of production systems. PhD thesis, Carnegie-Mellon University"},{"issue":"7","key":"1140_CR38","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/TSE.2004.32","volume":"30","author":"JA Kang","year":"2004","unstructured":"Kang JA, Cheng AMK (2004) Shortening matching time in ops5 production systems. IEEE Trans Softw Eng 30(7):448\u2013457","journal-title":"IEEE Trans Softw Eng"},{"key":"1140_CR39","unstructured":"Hanson EN, Hasan MS (1993) Gator: an optimized discrimination network for active database rule condition testing. University of Florida.\u2013Gainesville: CIS Departement"},{"issue":"1","key":"1140_CR40","first-page":"36","volume":"2","author":"I Wright","year":"2003","unstructured":"Wright I, Marshall JAR (2003) The execution kernel of rc++: Rete*, a faster rete with treat as a special case. Int. J Intell Games & Simulation 2(1):36\u201348","journal-title":"Int. J Intell Games & Simulation"},{"key":"1140_CR41","doi-asserted-by":"crossref","unstructured":"Miranker DP (1990) Treat: a new and efficient match algorithm for ia production systems","DOI":"10.1016\/B978-0-273-08793-9.50007-8"},{"key":"1140_CR42","unstructured":"Miranker DP, Brant DA, Lofaso BJ, Gadbois D (1990) On the performance of lazy matching in production systems. In: AAAI, vol 90, pp 685\u2013692"},{"issue":"2","key":"1140_CR43","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund K (2015) Rule-based runtime verification revisited. Int J Softw Tools Technol Transfer 17(2):143\u2013170","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"1140_CR44","unstructured":"Doorenbos RB (1995) Production matching for large learning systems. Technical report, CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE"},{"key":"1140_CR45","unstructured":"Slazynski M, Bobek S, Nalepa GJ (2014) Migration of rule inference engine to mobile platform. challenges and case study. In: Knowledge engineering and software engineering (KESE10), p 71"},{"key":"1140_CR46","doi-asserted-by":"crossref","unstructured":"Uddin I, Ul Haque HM, Rakib A, Rahmat MRS (2016) Resource-bounded context-aware applications: A survey and early experiment. In: International conference on nature of computation and communication. Springer, pp 153\u2013164","DOI":"10.1007\/978-3-319-46909-6_15"},{"key":"1140_CR47","doi-asserted-by":"crossref","unstructured":"Ronszcka AF, Banaszewski RF, Linhares RR, Tacla CA, Stadzisz PC, Sim\u00e3o JM (2015) Notification-oriented and rete network inference: a comparative study. In: 2015 IEEE international conference on systems, man, and cybernetics (SMC). IEEE, pp 807\u2013 814","DOI":"10.1109\/SMC.2015.150"},{"key":"1140_CR48","unstructured":"Armstrong D (2014) Memory efficient stream reasoning on resource-limited devices. PhD thesis, Trinity College"},{"key":"1140_CR49","first-page":"211","volume":"7","author":"G Liu","year":"2014","unstructured":"Liu G, Huang S, Zhang D, Du Y (2014) A rete rule reasoning algorithm based on the audit method ontology. Int J Hybrid Inf Technol 7:211\u2013244","journal-title":"Int J Hybrid Inf Technol"},{"issue":"1","key":"1140_CR50","doi-asserted-by":"publisher","first-page":"171","DOI":"10.2298\/CSIS130209002N","volume":"11","author":"GJ Nalepa","year":"2014","unstructured":"Nalepa GJ, Szymon B (2014) Rule-based solution for context-aware reasoning on mobile devices. Comput Sci Inf Syst 11(1):171\u2013193","journal-title":"Comput Sci Inf Syst"},{"key":"1140_CR51","doi-asserted-by":"crossref","unstructured":"Pinder C, Jo V, Wicaksono A, Beale R, Hendley RJ (2016) If this, then habit: exploring context-aware implementation intentions on smartphones. In: Proceedings of the 18th international conference on human-computer interaction with mobile devices and services adjunct. ACM, pp 690\u2013697","DOI":"10.1145\/2957265.2961837"},{"key":"1140_CR52","doi-asserted-by":"crossref","unstructured":"Uddin I, Rakib A (2017) A preference-based application framework for resource-bounded context-aware agents. In: International conference on mobile and wireless technology, vol 425. LNEE, Springer, pp 187\u2013196","DOI":"10.1007\/978-981-10-5281-1_20"},{"key":"1140_CR53","doi-asserted-by":"crossref","unstructured":"Ijaz U, Rakib A (2017) A resource-aware preference model for context-aware systems. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 217. LNICST, Springer, pp 3\u201313","DOI":"10.1007\/978-3-319-77818-1_1"},{"key":"1140_CR54","doi-asserted-by":"crossref","unstructured":"Bell M, Kelly JF (2017) LEGO\u00ae; MINDSTORMS\u00ae; EV3: the mayan adventure. Apress","DOI":"10.1007\/978-1-4842-2262-1"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11036-018-1140-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-018-1140-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-018-1140-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,4]],"date-time":"2022-09-04T13:23:20Z","timestamp":1662297800000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11036-018-1140-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,23]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2,15]]}},"alternative-id":["1140"],"URL":"https:\/\/doi.org\/10.1007\/s11036-018-1140-x","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[2018,10,23]]},"assertion":[{"value":"23 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}