Situation recognition for service management systems using OWL 2 reasoners

For service management systems the early recognition of situations that necessitate a rebinding or a migration of services is an important task. To describe these situations on differing levels of detail and to allow their recognition even if only incomplete information is available, we employ the ontology language OWL 2 and the reasoning services defined for it. In this paper we provide a case study on the performance of state of the art OWL 2 reasoning systems for answering class queries and conjunctive queries modeling the relevant situations for service rebinding or migration in the differing OWL 2 profiles.

[1]  Waltenegus Dargie,et al.  Does Live Migration of Virtual Machines Cost Energy? , 2013, 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA).

[2]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[3]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[4]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5]  T. N. Vijaykumar,et al.  Joint optimization of idle and cooling power in data centers while maintaining response time , 2010, ASPLOS XV.

[6]  Luiz André Barroso,et al.  The Case for Energy-Proportional Computing , 2007, Computer.

[7]  Bijan Parsia,et al.  Pellet System Description , 2006, Description Logics.

[8]  Anni-Yasmin Turhan,et al.  Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations , 2009, J. Ambient Intell. Smart Environ..

[9]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[10]  Yevgeny Kazakov,et al.  RIQ and SROIQ Are Harder than SHOIQ , 2008, KR.

[11]  Julian Mendez,et al.  jcel: A Modular Rule-based Reasoner , 2012, ORE.

[12]  Diego Calvanese,et al.  Knowledge Representation Approach to Information Integration , 2011 .

[13]  Andrew Warfield,et al.  Live migration of virtual machines , 2005, NSDI.

[14]  Boris Motik,et al.  Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

[15]  Hong Liu,et al.  Energy proportional datacenter networks , 2010, ISCA.

[16]  Markus Krötzsch,et al.  ELK Reasoner: Architecture and Evaluation , 2012, ORE.

[17]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[18]  Peter Baumgartner,et al.  A Novel Architecture for Situation Awareness Systems , 2009, TABLEAUX.

[19]  Alexander Schill,et al.  Energy-aware service execution , 2011, 2011 IEEE 36th Conference on Local Computer Networks.

[20]  Ian Horrocks,et al.  Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.

[21]  Anni-Yasmin Turhan,et al.  Pushing doors for modeling contexts with OWL DL - a case study , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[22]  Maurizio Lenzerini,et al.  Description Logics for Databases , 2003, Description Logic Handbook.

[23]  Volker Haarslev,et al.  The RacerPro knowledge representation and reasoning system , 2012, Semantic Web.

[24]  Bernd Neumann,et al.  On scene interpretation with description logics , 2006, Image Vis. Comput..

[25]  Yevgeny Kazakov,et al.  SRIQ and SROIQ are Harder than SHOIQ , 2008, Description Logics.

[26]  Kerry L. Taylor,et al.  Ontology-Driven Complex Event Processing in Heterogeneous Sensor Networks , 2011, ESWC.

[27]  Carsten Lutz,et al.  The Complexity of Conjunctive Query Answering in Expressive Description Logics , 2008, IJCAR.

[28]  Diego Calvanese,et al.  Quest, an OWL 2 QL Reasoner for Ontology-based Data Access , 2012, OWLED.