2685 search results - page 158 / 537 » A Formal Semantics for SPKI |
172
click to vote
SEMWEB
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
156
click to vote
ECML
2000
Springer
15 years 11 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
164
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
159
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
190
click to vote
COLING
2008
15 years 8 months ago
2008
In contrast to LFG and HPSG, there is to date no large scale Tree Adjoining Grammar (TAG) equiped with a compositional semantics. In this paper, we report on the integration of a ...