5284 search results - page 727 / 1057 » Ontologizing Semantic Relations |
176
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
183
click to vote
KGC
1997
Springer
15 years 11 months ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
149
click to vote
DBPL
1987
Springer
15 years 10 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
151
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
138
click to vote
ACL
2007
15 years 8 months ago
2007
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...