423 search results - page 38 / 85 » Service Specification and Matchmaking Using Description Logi... |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
DLOG
2003
13 years 9 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
ECIS
2004
13 years 9 months ago
2004
The topic of the paper concerns the implementation and use of standards. The standards which are in focus in the paper include conceptual models and descriptions of the functionali...
WWW
2010
ACM
13 years 8 months ago
2010
ACM
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
SWAP
2007
13 years 8 months ago
2007
The use of Semantic Web Services (SWS) for increasing agility and adaptability in process execution is currently investigated in many settings. The common underlying idea is the dy...