1000 search results - page 31 / 200 » An RDF Query Language based on Logic Programming |
129
Voted
SEMWEB
2010
Springer
15 years 9 days ago
2010
Springer
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
112
click to vote
LPNMR
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
147
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
141
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
139
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...