99 search results - page 16 / 20 » Extending Classical Theorem Proving for the Semantic Web |
ICECCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
119
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
PODS
2008
ACM
15 years 11 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
111
click to vote
ESWS
2008
Springer
15 years 25 days ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
DAGSTUHL
2006
15 years 13 days ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...