Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2010/paper/524> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 524 creator blai-bonet.
- 524 creator daniel-izquierdo.
- 524 creator maria-esther-vidal.
- 524 type InProceedings.
- 524 label "STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem".
- 524 sameAs 524.
- 524 abstract "We present STEREO, a system that offers an expressive formalism and implements techniques firmly grounded on logic to solve the Service Selection Problem (SSP). STEREO adopts the Local-As-View approach (LAV) to represent services' functionality as views on ontology concepts, while user requests are expressed as conjunctive queries on these concepts. Additionally, users can describe their preferences, which are used to rank the solutions. We discuss the LAV formulation of SSP; then, we illustrate the encoding of SSP as a logical theory whose models are in correspondence with the problem solutions, and in presence of preferences, the best models are in correspondence with the best-ranked solutions. We demonstrate STEREO and the properties of modern SAT solvers that provide an efficient and scalable solution to SSP.".
- 524 hasAuthorList authorList.
- 524 isPartOf poster-demo-proceedings.
- 524 title "STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem".