25 research outputs found

    A theorem proving framework for the formal verification of Web Services Composition

    Get PDF
    We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.Comment: In Proceedings WWV 2011, arXiv:1108.208

    Blogouse: Turning the Mouse into a Copy&Blog Device

    No full text

    A Social-Empowered Platform for Gathering Semantic Information

    No full text

    Adaptive Change Estimation in the Context of Online Market Monitoring

    No full text

    Semantics for Big Data

    No full text
    This editorial introduction summarizes the seven guest-edited contributions to AI Magazine that explore opportunities and challenges arising from transferring and adapting semantic web technologies to the big data quest

    Roles of Ontologies for Web Intelligence

    No full text
    corecore