Towards Management of OWL-S Effects by Means of a DL Action Formalism Combined with OWL Contexts

The implementation of effective Semantic Web Services (SWS) platforms allowing the composition and, in general, the orchestration of services presents several problems. Some of them are intrinsic within the formalisms adopted to describe SWS, especially when trying to combine the dynamic aspect of SWS effects and the static nature of their ontological representation in Description Logic (DL). This paper proposes a mapping of OWL-S with a DL action formalism in order to evaluate executability and projection by means of the notion of Contexts.

[1]  Maja Mili.  Planning in Action Formalisms based on DLs: First Results ? , 2007 .

[2]  Frank van Harmelen,et al.  The Semantic Web – ISWC 2004 , 2004, Lecture Notes in Computer Science.

[3]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[4]  Stefano Ferilli,et al.  Towards Dynamic Orchestration of Semantic Web Services , 2013, Trans. Comput. Collect. Intell..

[5]  Alexander Borgida,et al.  Aspects of Distributed and Modular Ontology Reasoning , 2005, IJCAI.

[6]  Liang Chang,et al.  A Context Model for Service Composition Based on Dynamic Description Logic , 2008, Intelligent Information Processing.

[7]  Paolo Bouquet,et al.  A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results , 2007, RR.

[8]  David B. Leake,et al.  Intelligent Information Processing IV , 2008 .

[9]  Ramanathan V. Guha,et al.  Contexts for the Semantic Web , 2004, SEMWEB.

[10]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

[11]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[12]  Angélica de Antonio Jiménez,et al.  Consistency Verification of a Non-monotonic Deductive System based on OWL Lite , 2005, MSVVEIS.

[13]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[14]  Riccardo Rosati,et al.  On the Complexity of Dealing with Inconsistency in Description Logic Ontologies , 2011, IJCAI.

[15]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[16]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[17]  Liang Chang,et al.  Dynamic Description Logic: Embracing Actions into Description Logic , 2007, Description Logics.

[18]  Bill N. Schilit,et al.  Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.