Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2007/paper-264> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- paper-264 type InProceedings.
- paper-264 label "Web Service contracting: specification and reasoning with SCIFF".
- paper-264 sameAs paper-264.
- paper-264 abstract "The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics.".
- paper-264 hasAuthorList authorList.
- paper-264 keyword "Abductive Logic Programming".
- paper-264 keyword "Computational Logics".
- paper-264 keyword "Contracting".
- paper-264 keyword "Dynamic Location of Web Services".
- paper-264 keyword "Web Services specification and reasoning".
- paper-264 title "Web Service contracting: specification and reasoning with SCIFF".