SslGolog: When conditional compositions of web services meet semantic links and causal laws

Freddy Lecue, Freddy Lécué, Alexandre Delteil, Alain Léger

    Research output: Contribution to journalArticlepeer-review


    Web service composition enhanced by semantic technologies is currently one of the most hyped and addressed issues in Service Oriented Computing. This work focuses on both i) conditional composition, i.e., how to automate the composition of services that produces non-deterministic outcomes, and ii) consistent connections between web services (also known as data flows) in the composition. To this end, we suggest the joint use of semantic links and causal laws, respectively, in the area of Description Logics and AI planning. In more detail, an augmented and adapted version of the logic programming language Golog, i.e., sslGolog, is presented as a natural formalism not only for reasoning about the latter semantic links and causal laws, but also for automatically composing non-deterministic services. sslGolog operates as an offline interpreter that supports not only binary but also n-ary sensing services (i.e., services conditioned on their possible output parameters) to achieve conditional compositions of services. Lastly, sslGolog has been implemented and tested in the context of Telecommunication scenarios. © 2011 - IOS Press and the authors. All rights reserved.
    Original languageEnglish
    Pages (from-to)1-25
    Number of pages24
    JournalWeb Intelligence and Agent Systems
    Issue number1
    Publication statusPublished - 2011


    • artificial intelligence planning
    • Semantic web
    • service composition
    • situation calculus
    • web service


    Dive into the research topics of 'SslGolog: When conditional compositions of web services meet semantic links and causal laws'. Together they form a unique fingerprint.

    Cite this