4516 search results - page 202 / 904 » Education and the Semantic Web |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner work...
137
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
184
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
205
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
206
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...