{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T20:40:04Z","timestamp":1740084004114,"version":"3.37.3"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1109\/percomw.2013.6529452","type":"proceedings-article","created":{"date-parts":[[2013,7,11]],"date-time":"2013-07-11T20:26:40Z","timestamp":1373574400000},"page":"31-36","source":"Crossref","is-referenced-by-count":7,"title":["Situation recognition for service management systems using OWL 2 reasoners"],"prefix":"10.1109","author":[{"given":"Waltenegus","family":"Dargie","sequence":"first","affiliation":[{"name":"Computer Networks, Institute of Systems Architecture, Technische Universität Dresden, Germany"}]},{"family":"Eldora","sequence":"additional","affiliation":[{"name":"Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Germany"}]},{"given":"Julian","family":"Mendez","sequence":"additional","affiliation":[{"name":"Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Germany"}]},{"given":"Christoph","family":"M\u00f6bius","sequence":"additional","affiliation":[{"name":"Computer Networks, Institute of Systems Architecture, Technische Universität Dresden, Germany"}]},{"given":"Kateryna","family":"Rybina","sequence":"additional","affiliation":[{"name":"Computer Networks, Institute of Systems Architecture, Technische Universität Dresden, Germany"}]},{"given":"Veronika","family":"Thost","sequence":"additional","affiliation":[{"name":"Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Germany"}]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[{"name":"Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Germany"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/11414353_15","article-title":"On scene interpretation with description logics","author":"neumann","year":"2006","journal-title":"Cognitive Vision Systems Samping the Spectrum of Approaches"},{"key":"17","article-title":"JCel: A modular rule-based reasoner","volume":"858","author":"mendez","year":"2012","journal-title":"Proc of the 1st Int Workshop on OWL Reasoner Evaluation (ORE'12)"},{"key":"18","first-page":"67","article-title":"Optimized Reasoning in Description Logics using Hypertableaux","author":"motik","year":"2007","journal-title":"Proc of the 23th Conf on Automated Deduction (CADE-23)"},{"key":"15","article-title":"ELK reasoner: Architecture and evaluation","volume":"858","author":"kazakov","year":"2012","journal-title":"Proc of the OWL Reasoner Evaluation Workshop (ORE'12)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_16"},{"key":"13","first-page":"57","article-title":"The even more irresistible RF","author":"horrocks","year":"2006","journal-title":"Proc of the 10th Int Conf on the Principles of Knowledge Representation and Reasoning (KR-06)"},{"key":"14","first-page":"274","article-title":"RF and RF are harder than HF","author":"kazakov","year":"2008","journal-title":"Proc of the 11th Int Conf on the Principles of Knowledge Representation and Reasoning (KR-08)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2011.6115164"},{"key":"12","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","article-title":"The RacerPro knowledge representation and reasoning system","volume":"3","author":"haarslev","year":"2012","journal-title":"Journal of Web Semanticsi"},{"key":"21","article-title":"Pellet system description","volume":"189","author":"sirin","year":"2006","journal-title":"Description Logics"},{"key":"20","first-page":"2012","article-title":"Quest, an OWL 2 QL reasoner for ontology-based data access","volume":"849","author":"rodriguez-muro","year":"0","journal-title":"Proc of the 9th Int WS on OWL Experiences and Directions (OWLED'12)"},{"key":"22","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/AIS-2009-0032","article-title":"Employing description logics in ambient intelligence for modeling and reasoning about complex situations","volume":"1","author":"springer","year":"2009","journal-title":"J Ambient Intell Smart Environ"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2013.137"},{"key":"24","first-page":"285","article-title":"Ontology-driven complex event processing in heterogeneous sensor networks","volume":"6644","author":"taylor","year":"2011","journal-title":"Proc of 8th Extended Semantic Web Conference (ESWC'11)"},{"journal-title":"Complexity Results and Practical Algorithms for Logics in Knowledge Representation","year":"2001","author":"tobies","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9077-y"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2006.114"},{"journal-title":"OWL 2 Web Ontology Language Document Overview","year":"2009","key":"28"},{"key":"3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-02716-1_7","article-title":"A novel architecture for situation awareness systems","volume":"5607","author":"baader","year":"2009","journal-title":"Proc of the 18th Int Conf on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'09)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736048"},{"key":"10","first-page":"273","article-title":"Live migration of virtual machines","volume":"2","author":"clark","year":"2005","journal-title":"Proc of the 2nd Conference on Symposium on Networked Systems Design & Implementation"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1816038.1816004"},{"key":"7","first-page":"462","volume":"5","author":"borgida","year":"2003","journal-title":"Description Logics for Databases"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.443"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"5"},{"key":"4","article-title":"Pushing the envelope further","author":"baader","year":"2008","journal-title":"Proc of the OWLED Workshop"},{"key":"9","first-page":"58","article-title":"Knowledge representation approach to information integration","author":"calvanese","year":"1998","journal-title":"Proc Of AAAI Workshop on AI and Information Integration"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"}],"event":{"name":"2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)","start":{"date-parts":[[2013,3,18]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2013,3,22]]}},"container-title":["2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6523359\/6529412\/06529452.pdf?arnumber=6529452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T20:07:31Z","timestamp":1740082051000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6529452\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/percomw.2013.6529452","relation":{},"subject":[],"published":{"date-parts":[[2013,3]]}}}