Sciweavers

1181 search results - page 45 / 237
» Semantic Web Services Grounding
Sort
View
IEEEHPCS
2010
15 years 1 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...
132
Voted
WWW
2005
ACM
16 years 3 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
15 years 8 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
15 years 8 months ago
Web Services for a Semantic Web Integrated Architecture
Jose Luis De Miguel, Antonio Calleja, Carmen Costi...