1375 search results - page 106 / 275 » SDL-2000: A Language with a Formal Semantics |
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
PPAM
2007
Springer
15 years 4 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
146
click to vote
PPSWR
2005
Springer
15 years 3 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
106
click to vote
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
LREC
2008
14 years 11 months ago
2008
This paper deals with the treatment of constructed neologisms in a machine translation system. It focuses on a particular issue in Romance languages: relational adjectives and the...