Sciweavers

753 search results - page 58 / 151
» Statistical Reasoning - A Foundation for Semantic Web Reason...
Sort
View
CADE
2006
Springer
14 years 8 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
CIA
2006
Springer
13 years 11 months ago
Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges
In this topical1 paper we try to give an analysis and overview of the current state of Semantic Web research. We point to different interpretations of the Semantic Web as the reaso...
Frank van Harmelen
ICWE
2004
Springer
14 years 1 months ago
Lifting XML Schema to OWL
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
Matthias Ferdinand, Christian Zirpins, David Trast...
JUCS
2010
131views more  JUCS 2010»
13 years 6 months ago
Toward the Next Wave of Services: Linked Services for the Web of Data
: It has often been argued that Web services would have a tremendous impact on the Web, as a core enabling technology supporting a highly efficient service-based economy at a globa...
Carlos Pedrinaci, John Domingue
ER
2004
Springer
90views Database» more  ER 2004»
14 years 1 months ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao