Sciweavers

1181 search results - page 45 / 237
» Semantic Web Services Grounding
Sort
View
IEEEHPCS
2010
13 years 8 months ago
Semantic model checking security requirements for web services
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...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
WWW
2005
ACM
14 years 10 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
COOPIS
2002
IEEE
14 years 3 months ago
Natural Language Annotations for the Semantic Web
Because the ultimate purpose of the Semantic Web is to help users locate, organize, and process information, we strongly believe that it should be grounded in the information acces...
Boris Katz, Jimmy J. Lin, Dennis Quan
IEEESCC
2005
IEEE
14 years 3 months ago
Web Services for a Semantic Web Integrated Architecture
Jose Luis De Miguel, Antonio Calleja, Carmen Costi...