DLOG
2011
13 years 5 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
ER
2008
Springer
14 years 3 months ago
2008
Springer
In this paper we present the architectural blueprint and a prototypical implementation of Oryx, a visual environment that facilitates zero-installation for creating, sharing, and d...
WCFLP
2005
ACM
14 years 7 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...