446 search results - page 31 / 90 » A proof markup language for Semantic Web services |
165
click to vote
ACMICEC
2006
ACM
16 years 4 days ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
177
Voted
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
160
Voted
TCS
2010
15 years 4 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
165
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
166
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...