1746 search results - page 37 / 350 » A Constructive Semantics for ALC |
113
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
121
click to vote
JOT
2010
15 years 12 days ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
105
click to vote
CSL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
155
click to vote
APCCM
2009
15 years 3 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
108
click to vote
LREC
2010
15 years 3 months ago
2010
The Bank of Russian Constructions and Valencies (Russian FrameBank) is an annotation project that takes as input samples from the Russian National Corpus (http://www.ruscorpora.ru...