Resolution and Constraint Propagation for Semantic Web Services Discovery

Authors:
Salima Benbernou;Mohand-Said Hacid
Affiliations:
LIRIS - Université Claude Bernard Lyon 1, Villeurbanne, France 69622;LIRIS - Université Claude Bernard Lyon 1, Villeurbanne, France 69622
Venue:
Distributed and Parallel Databases
Year:
2005

Citing 16
Cited 7

A resolution principle for clauses with constraints

CADE-10 Proceedings of the tenth international conference on Automated deduction
Attributive concept descriptions with complements

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Dynamic and adaptive composition of e-services

Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Semantic Web Services

IEEE Intelligent Systems
XML Declarative Description: A Language for the Semantic Web

IEEE Intelligent Systems
Semantic Web Enabled Web Services

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Semantic Matching of Web Services Capabilities

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
DAML-S: Web Service Description for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Discovering Services: Towards High-Precision Service Retrieval

CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
A system for principled matchmaking in an electronic marketplace

WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology

WWW '03 Proceedings of the 12th international conference on World Wide Web
Positive active XML

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Description Logic Handbook

The Description Logic Handbook
Bringing semantics to web services: the OWL-S approach

SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition

Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources

Information Systems
Formalizing ontology reconciliation techniques as a basis for meaningful mediation in service-related tasks

Proceedings of the ACM first Ph.D. workshop in CIKM
An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Code and Data Propagation on a PC's Multi-Agent System

Proceedings of the 2008 conference on New Trends in Multimedia and Network Information Systems
Managing dynamic virtual organizations to get effective cooperation in collaborative grid environments

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II
Knowledge federation over the web based on meme media technologies

Proceedings of the 2005 international conference on Federation over the Web
Capacity-Driven Web Services: Concepts, Definitions, Issues, and Solutions

International Journal of Systems and Service-Oriented Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of semantic web services discovery is to use semantic knowledge to find services that can be composed to form an admissible answer to a query. In this paper we consider the advantage of adopting a knowledge-based approach to web services discovery. Services are described by means of terminological axioms and constrained clauses. We apply a specific resolution and a constraint propagation mechanism to evaluate queries over services.