1548 search results - page 131 / 310 » Semantics and Extensions of WS-Agreement |
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
TSD
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...