207 search results - page 12 / 42 » Rule-Based Policy Representation and Reasoning for the Seman... |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
The semantic annotation of Web services capabilities with ontological information aims at providing the necessary infrastructure for facilitating efficient and accurate service di...
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
ICWS
2010
IEEE
13 years 5 months ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...