1,721,282 research outputs found
dlvhex-sparql: A SPARQL-compliant query engine based on dlvhex
No full textThis 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 using dlvhex, a flexible plugin system on top of the DLV solver. This work advances our earlier translation based on the semantics by Perez et al. towards an engine which is fully compliant to the official SPARQL specification. As it turns out, the differences between these two definitions of SPARQL, which might seem moderate at first glance, need some extra machinery. We also briefly report the status of implementation, and extensions currently being implemented, such as handling of aggregates, nested CONSTRUCT queries in the spirit of networked RDF graphs, or partially support of RDFS entailment. For such extensions a tight integration of SPARQL query processing and Answer-Set Programming, the underlying logic programming formalism of our engine, turns out to be particularly useful, as the resulting programs can actually involve unstratified negation.peer-reviewe
dlvhex-sparql: A SPARQL-compliant query engine based on dlvhex
No full textThis 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 using dlvhex, a flexible plugin system on top of the DLV solver. This work advances our earlier translation based on the semantics by Perez et al. towards an engine which is fully compliant to the official SPARQL specification. As it turns out, the differences between these two definitions of SPARQL, which might seem moderate at first glance, need some extra machinery. We also briefly report the status of implementation, and extensions currently being implemented, such as handling of aggregates, nested CONSTRUCT queries in the spirit of networked RDF graphs, or partially support of RDFS entailment. For such extensions a tight integration of SPARQL query processing and Answer-Set Programming, the underlying logic programming formalism of our engine, turns out to be particularly useful, as the resulting programs can actually involve unstratified negation
A Perfect Match for Reasoning, Explanation, and Reason Maintenance
Full text linkPath query languages have been previously shown to com-
plement RDF rule languages in a natural way and have been used as
a means to implement the RDFS derivation rules. RPL is a novel path
query language specifically designed to be incorporated with RDF rules
and comes in three
avors: Node-, edge- and path-
avored expressions
allow to express conditional regular expressions over the nodes, edges, or
nodes and edges appearing on paths within RDF graphs. Providing reg-
ular string expressions and negation, RPL is more expressive than other
RDF path languages that have been proposed. We give a compositional
semantics for RPL and show that it can be evaluated efficiently, while
several possible extensions of it cannot
Who the FOAF knows Alice? A needed step towards Semantic Web Pipes ⋆
No full textAbstract. In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating RDF data from various distributed sources. If we leave out complex description logics reasoning and restrict ourselves to the RDF world, it turns out that some problems, in particular how to deal with contradicting RDF statements, do not yet find their proper solutions within the current Semantic Web Stack. Besides theoretical solutions which involve full DL reasoning, we believe that more practical and probably more scalable solutions are conceivable one of which we discuss in this paper, namely, expressing and resolving conflicting RDF statements by means of a specialized RDF merge procedure. We implemented this conflict-resolving merge procedure in the DBin system.
- …
