Sciweavers

15372 search results - page 281 / 3075
» The Semantics of Semantic Annotation
Sort
View
TBILLC
2007
Springer
16 years 23 days ago
Inquisitive Semantics: Two Possibilities for Disjunction
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
Jeroen Groenendijk
CAEPIA
2005
Springer
16 years 6 days ago
Techniques for Recognizing Textual Entailment and Semantic Equivalence
After defining what is understood by textual entailment and semantic equivalence, the present state and the desirable future of the systems aimed at recognizing them is shown. A c...
Jesús Herrera, Anselmo Peñas, Felisa...
ICCS
2005
Springer
16 years 5 days ago
Conceptual Graphs for Semantic Web Applications
In this paper, we aim at showing the advantages of Conceptual Graph formalism for the Semantic Web through several real-world applications in the framework of Corporate Semantic We...
Rose Dieng-Kuntz, Olivier Corby
FM
1999
Springer
88views Formal Methods» more  FM 1999»
15 years 11 months ago
Refinement Semantics and Loop Rules
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
Eric C. R. Hehner, Andrew M. Gravell
APWEB
2006
Springer
15 years 10 months ago
Role of Triple Space Computing in Semantic Web Services
This paper presents Triple space computing and described the role it can play in bringing Semantic Web Services to the next level of maturity. In particular the shortcomings of cur...
Brahmananda Sapkota, Edward Kilgarriff, Christoph ...