{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:55:31Z","timestamp":1760608531444},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016707"},{"type":"electronic","value":"9783642016714"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01671-4_28","type":"book-chapter","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T05:36:01Z","timestamp":1240896961000},"page":"305-316","source":"Crossref","is-referenced-by-count":21,"title":["\u03bcOR \u2013 A Micro OWL DL Reasoner for Ambient Intelligent Devices"],"prefix":"10.1007","author":[{"given":"Safdar","family":"Ali","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Kiefer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Lee, T.B., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)"},{"issue":"2","key":"28_CR2","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"28_CR3","unstructured":"Web Ontology Language (OWL), http:\/\/www.w3.org\/2004\/OWL\/"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"McIlraith, S.A., et al.: Semantic Web Services. In: Proc. of IEEE Intelligent Systems (2001)","DOI":"10.1109\/5254.920599"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Finin, T., et al.: A Pervasive Computing System for the Operating Room of the Future. Mobile Networks and Applications\u00a012(2-3) (March 2007)","DOI":"10.1007\/s11036-007-0010-8"},{"issue":"6","key":"28_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MIS.2006.107","volume":"21","author":"S. Ossowski","year":"2006","unstructured":"Ossowski, S., et al.: Agent-Based Semantic Service Discovery for Healthcare: An Organizational Approach. IEEE Intelligent Systems\u00a021(6), 11\u201320 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"28_CR7","unstructured":"Helin, H., et al.: CASCOM - Context-Aware Health-Care Service Co-ordination in Mobile Computing Environments. ERCIM News num. 60"},{"key":"28_CR8","unstructured":"Ali, S., Uribarren, A., Parra, J.: Applications of Ambient Intelligence in medical devices and clinical environments. In: IEEE international conference of E-Medical Systems, Morocco (2007) ISBN: 9954-8905-0-5"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-30221-6_4","volume-title":"KI 2004: Advances in Artificial Intelligence","author":"W. Wahlster","year":"2004","unstructured":"Wahlster, W.: SmartWeb: Mobile Applications of the Semantic Web. In: Biundo, S., Fr\u00fchwirth, T., Palm, G. (eds.) KI 2004. LNCS, vol.\u00a03238, pp. 50\u201351. Springer, Heidelberg (2004)"},{"key":"28_CR10","unstructured":"Kleemann, T., Sinner, A.: Semantic user profiles and their application in a mobile environment. In: Proc. of Artificial Intelligence in Mobile Systems (2004)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Luther, M., Fukazawa, Y., et al.: lassification-based Situational Reasoning for Task-oriented Mobile Service Recommendation. The Knowledge Engineering Review\u00a023(1), 7\u201319","DOI":"10.1017\/S0269888907001300"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Ejigu, D., Scuturici, M., Brunie, L.: An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing. In: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops (2007)","DOI":"10.1109\/PERCOMW.2007.22"},{"key":"28_CR13","unstructured":"Bechhofer, S., Moller, R., Crowther, P.: The DIG Description Interface. In: Proc. Int\u2019l. Workshop Description Logics 2003 (2003)"},{"key":"28_CR14","unstructured":"Ali, S., Kiefer, S.: Semantic Medical Devices Space, An Infrastructure for the interoperability of Ambient Intelligent Medical Devices. In: Proceedings of IEEE-ITAB Conference in Ioannina, Greece (October 2006)"},{"key":"28_CR15","unstructured":"OWL Web Ontology Language Overview, W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., et al.: Pellet: A Practical OWL DL Reasoner. Int\u2019l. Journal of Web Semantics (2007)","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Tsarkov, D.: FaCT++ Description Logic Reasoner: System Description. In: Proc. Third Int\u2019l. Joint Conference of Automated Reasoning 2006 (IJCAR 2006) (2006)","DOI":"10.1007\/11814771_26"},{"key":"28_CR18","unstructured":"M\u00f6ller, R., Harrslev, V.: Racer: A Core Inference Engine for the Semantic Web. In: Proc. 2nd Int\u2019l. Workshop Evaluation of Ontology Based Tools, pp. 27\u201336 (2003)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30504-0_10","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"J. Minsu","year":"2004","unstructured":"Minsu, J., Sohn, J.: Bossam: An extended rule engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 128\u2013138. Springer, Heidelberg (2004)"},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A Fast Algorithm for the Many Pattern\/Many Object Pattern Match Problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"28_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/11532231_33","volume-title":"Automated Deduction \u2013 CADE-20","author":"T. Kleemann","year":"2005","unstructured":"Kleemann, T., Sinner, A.: KRHyper - In Your Pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, pp. 452\u2013457. Springer, Heidelberg (2005)"},{"key":"28_CR22","unstructured":"Baumgartner, P.: Hyper Tableaux - The Next Generation; Technical Report 32-97, Universit\u00e4t Koblenz-Landau (1997)"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Ali, S., Kiefer, S.: Neuroblastoma Screening through Semantic Coordination of Ambient Intelligent Medical Devices. In: First International Research Workshop of The Internet of Things and Services, France (2008)","DOI":"10.4108\/ICST.PERVASIVEHEALTH2009.5975"},{"key":"28_CR24","unstructured":"W3C SAWSDL, A mechanism to semantically annotate the Web Service Description Language files, http:\/\/www.w3.org\/-2002\/ws\/sawsdl\/"},{"key":"28_CR25","unstructured":"RDF Filter, http:\/\/rdf-filter.sourceforge.net\/"},{"key":"28_CR26","unstructured":"Piccolo XML Parser for Java, http:\/\/piccolo.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Grid and Pervasive Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01671-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:43:54Z","timestamp":1558277034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01671-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016707","9783642016714"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01671-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}