496 search results - page 37 / 100 » Model Checking Expressive Web Service Descriptions |
JAPLL
2010
13 years 8 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
REST
2010
ACM
13 years 12 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
ICWS
2008
IEEE
13 years 11 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
WISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
DLOG
1996
13 years 11 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...