5284 search results - page 589 / 1057 » Ontologizing Semantic Relations |
155
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
187
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
219
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
196
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
169
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...