2009 IEEE International Conference on Web Services 2009
DOI: 10.1109/icws.2009.78
|View full text |Cite
|
Sign up to set email alerts
|

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Abstract: In Semantic Web technologies, searching for a service means to identify components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the customer, can fruitfully interact with her (contracting). In this paper, we present an application framework that encompasses both the discovery and the contracting steps, in a unified search process. In particular, we accommodate service discovery by ontologybased reasoning, and contracting by automated reasoni… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2010
2010
2011
2011

Publication Types

Select...
4
1
1

Relationship

3
3

Authors

Journals

citations
Cited by 6 publications
(4 citation statements)
references
References 11 publications
0
4
0
Order By: Relevance
“…Both modules can access both local and networked knowledge. This approach has proved better, both for performance and expressiveness, than encoding ontological knowledge as SCIFF rules (Alberti et al, 2009).…”
Section: Interfacing Sciff and Ontological Reasonersmentioning
confidence: 99%
“…Both modules can access both local and networked knowledge. This approach has proved better, both for performance and expressiveness, than encoding ontological knowledge as SCIFF rules (Alberti et al, 2009).…”
Section: Interfacing Sciff and Ontological Reasonersmentioning
confidence: 99%
“…g-SCIFF was able to detect the security flaw of the Needham-Schroeder security protocol and the good atomicity property of the NetBill protocol [3]. It is also the reasoning engine of the A l LoWS framework [2] for the proof of interoperability between Web services, and of the SRE system [1] for automated discovery and contracting in serviceoriented architectures.…”
Section: Proving Properties By G-sciffmentioning
confidence: 99%
“…This assumption implies that if different ontologies are used, matching cannot be carried out. That is to say it might produce a semantic gap between providers and requesters due to the use of different ontologies (different semantics) to describe services and requests, respectively [11].…”
Section: B Evaluationmentioning
confidence: 99%