{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T19:40:03Z","timestamp":1740598803680,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153839"},{"type":"electronic","value":"9783642153846"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15384-6_61","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:24:42Z","timestamp":1283685882000},"page":"576-585","source":"Crossref","is-referenced-by-count":0,"title":["Controlling Real World Pervasive Environments with Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Atif","family":"Alvi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zubair","family":"Nabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Greaves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rashid","family":"Mehmood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"61_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/329124.329126","volume":"3","author":"M. Weiser","year":"1999","unstructured":"Weiser, M.: The computer for the 21st century. SIGMOBILE Mob. Comput. Commun. Rev.\u00a03(3), 3\u201311 (1999)","journal-title":"SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"61_CR2","unstructured":"Jones, D., Bench-Capon, T., Visser, P.: Methodologies for ontology development. In: Proceedings of the IT&KNOWS Conference, XV IFIP World Computer Congress (1998)"},{"key":"61_CR3","unstructured":"Foundations. In: Grimm, S., Volz, R. (eds.) Semantics At Work, Ontology Management Tools and Techniques (June 2007)"},{"volume-title":"Encyclopedia of Database Systems","year":"2009","key":"61_CR4","unstructured":"Liu, L., \u00d6zsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, New York (2009)"},{"key":"61_CR5","unstructured":"OWL Web Ontology Language overview, W3C recommendation (2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"61_CR6","unstructured":"Knowledge Interchange Format, KIF (1992), http:\/\/www.ksl.stanford.edu\/knowledge-sharing\/kif\/"},{"key":"61_CR7","unstructured":"RIF use cases and requirements, W3C working draft (2006), http:\/\/www.w3.org\/TR\/rif-ucr\/"},{"key":"61_CR8","unstructured":"SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission (2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"61_CR9","doi-asserted-by":"crossref","unstructured":"Cobcroft, R.S., Towers, S., Smith, J., Bruns, A.: Mobile learning in review: Opportunities and challenges for learners, teachers, and institutions. In: Online Learning and Teaching (OLT) Conference, pp. 21\u201330 (2006)","DOI":"10.1109\/ITI.2006.1708445"},{"issue":"3","key":"61_CR10","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1016\/j.compedu.2005.10.011","volume":"49","author":"L.F. Motiwalla","year":"2007","unstructured":"Motiwalla, L.F.: Mobile learning: A framework and evaluation. Comput. Educ.\u00a049(3), 581\u2013596 (2007)","journal-title":"Comput. Educ."},{"issue":"8","key":"61_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/2.940014","volume":"34","author":"J. Hightower","year":"2001","unstructured":"Hightower, J., Borriello, G.: Location Systems for Ubiquitous Computing. Computer\u00a034(8), 57\u201366 (2001)","journal-title":"Computer"},{"key":"61_CR12","unstructured":"Wi-Fi Based Real-Time Location Tracking: Solutions and Technology. White paper, Cisco Systems (2006) (available online)"},{"key":"61_CR13","doi-asserted-by":"crossref","unstructured":"Alvi, A., Greaves, D.J.: Checkable domain management with ontology and rules. In: ICIW 2008: Proceedings of the 3rd International Conference on Internet and Web Applications and Services, Athens, Greece, June 8-13, pp. 142\u2013149 (2008)","DOI":"10.1109\/ICIW.2008.65"},{"key":"61_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1007\/11574620_69","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"M.J. O\u2019Connor","year":"2005","unstructured":"O\u2019Connor, M.J., Knublauch, H., Tu, S.W., Grosof, B.N., Dean, M., Grosso, W.E., Musen, M.A.: Supporting rule system interoperability on the semantic web with SWRL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 974\u2013986. Springer, Heidelberg (2005)"},{"key":"61_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-75975-1_13","volume-title":"Advances in Rule Interchange and Applications","author":"M.J. O\u2019Connor","year":"2007","unstructured":"O\u2019Connor, M.J., Tu, S.W., Nyulas, C., Das, A.K., Musen, M.A.: Querying the semantic web with SWRL. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol.\u00a04824, pp. 155\u2013159. Springer, Heidelberg (2007)"},{"issue":"10","key":"61_CR16","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D.O. Keck","year":"1998","unstructured":"Keck, D.O., Kuehn, P.J.: The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. Softw. Eng.\u00a024(10), 779\u2013796 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"61_CR17","first-page":"1","volume-title":"Encyclopedia of Computer Science and Technology","author":"W. Bouma","year":"1999","unstructured":"Bouma, W.: Feature interactions. In: Kent, A., Williams, J.G. (eds.) Encyclopedia of Computer Science and Technology, vol.\u00a040, pp. 1\u201323. Marcel Dekker, Inc., New York (1999)"},{"key":"61_CR18","unstructured":"SWRLLanguageFAQ, Prot\u00e9g\u00e9 wiki (2010), http:\/\/protege.cim3.net\/cgi-bin\/wiki.pl?SWRLLanguageFAQ"},{"issue":"3","key":"61_CR19","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1609\/aimag.v29i3.2161","volume":"29","author":"T. Berners-Lee","year":"2008","unstructured":"Berners-Lee, T., Kagal, L.: The fractal nature of the semantic web. AI Magazine\u00a029(3), 29\u201334 (2008)","journal-title":"AI Magazine"},{"key":"61_CR20","doi-asserted-by":"crossref","unstructured":"Alvi, A., Greaves, D.J.: A logical approach to home automation. In: IE 2006: Proceedings of the 2nd IET International Conference on Intelligent Environments, Athens, Greece, July 5-6, vol.\u00a02, pp. 45\u201350. IET (2006)","DOI":"10.1049\/cp:20060677"},{"key":"61_CR21","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/SENSORCOMM.2008.76","volume-title":"SENSORCOMM 2008: Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications","author":"D.J. Greaves","year":"2008","unstructured":"Greaves, D.J., Gordon, D., Alvi, A., Omitola, T.: Using a .net checkability profile to limit interactions between embedded controllers. In: SENSORCOMM 2008: Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications, Washington, DC, USA, pp. 555\u2013561. IEEE Computer Society, Los Alamitos (2008)"},{"key":"61_CR22","unstructured":"Mehmood, R.: Disk-based techniques for efficient solution of large Markov chains. PhD thesis, University of Birmingham (2004)"},{"key":"61_CR23","unstructured":"Mehmood, R., Crowcroft, J.: Parallel iterative solution method for large sparse linear equation systems. Technical Report 650 UCAM-CL-TR-650, Computer Laboratory, University of Cambridge, UK (2005)"},{"key":"61_CR24","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/POLICY.2009.38","volume-title":"POLICY 2009: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks","author":"R.K. Thomas","year":"2009","unstructured":"Thomas, R.K., Russello, G., Tsang, S.: Realizing the cdl cross-domain language in the ponder2 policy framework: Experiences and research directions. In: POLICY 2009: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks, Washington, DC, USA, pp. 76\u201383. IEEE Computer Society, Los Alamitos (2009)"},{"key":"61_CR25","unstructured":"Adamson, M.K., Mehmood, R.: Developing event based hierarchical middleware for e-learning. In: IADIS International Conference e-Learning 2007 (part of MCCSIS 2007), pp. 284\u2013291 (2007)"},{"key":"61_CR26","doi-asserted-by":"crossref","unstructured":"Ayres, G., Mehmood, R., Mitchell, K., Race, N.J.P.: Localization to enhance security and services in wi-fi networks under privacy constraints. In: Communications Infrastructure. Systems and Applications in Europe, EuropeComm 2009, London, UK, August 11-13 (2009), Revised Selected Papers, LNICST, vol. 16, 175\u2013188 (2009)","DOI":"10.1007\/978-3-642-11284-3_18"},{"key":"61_CR27","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/GRID.2005.1542741","volume-title":"GRID 2005: Proceedings of the 6th IEEE\/ACM International Workshop on Grid Computing","author":"R. Mehmood","year":"2005","unstructured":"Mehmood, R., Crowcroft, J., Hand, S., Smith, S.: Grid-level computing needs pervasive debugging. In: GRID 2005: Proceedings of the 6th IEEE\/ACM International Workshop on Grid Computing, Washington, DC, USA, pp. 186\u2013193. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15384-6_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:24:37Z","timestamp":1740497077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15384-6_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153839","9783642153846"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15384-6_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}