Sciweavers

470 search results - page 27 / 94
» The Foundations for Provenance on the Web
Sort
View
COOPIS
2002
IEEE
14 years 2 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
SEKE
2005
Springer
14 years 2 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ESOP
2007
Springer
14 years 3 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
RULEML
2005
Springer
14 years 2 months ago
A Realistic Architecture for the Semantic Web
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
Michael Kifer, Jos de Bruijn, Harold Boley, Dieter...
AO
2006
91views more  AO 2006»
13 years 9 months ago
Towards a standard taxonomy of artifact functions
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
Pawel Garbacz