2395 search results - page 325 / 479 » Reasoning in Semantic Wikis |
126
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
122
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
228
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
143
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
144
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...