reasoned sparql

ELIS – Mul*media Lab

ReasonedSPARQL

Sam Coppens, Miel Vander Sande, Ruben Verborgh,Erik Mannens, Rik Van de Walle,

SPARQL

JACK BAUER INTERROGATION TECHNIQUEWhen asking politely just isn’t enough

Reasoning on distributed data

ReasonedSPARQL


Goal: Reasoning as a Service

Smart SPARQL agentsoutsource reasoning to appropriate infrastructure (client-side, server-side, or third party)

ClientServer /

Data Provider

Reasoning OWL QLOWL RL / EL


Smart SPARQL Agent


ClientServer /

Data Provider

Reasoning

Reasoning Grid


Smart SPARQL agentsoutsource reasoning to appropriate infrastructure (client-side, server-side, or third party)


Distributed Reasoning (LarKC)

Identification Selection Transformation Reasoning Decision

REASON <http://test.com/rules.n3>OVER { ?s ?p ?o}WHERE { ?s ?p ?o}

Solution: ‘Reason’ Query Form


SPARQL 1.1: Support for entailment regimes (RDFS, OWL) by means of BGP matching

Data provider decides inference rules support

With reasoned SPARQL, the data consumer choses the inference rules for reasoning


Nested Queries

SELECT ?childWHERE {

:Jenna :child ?child .{

REASON {{ ?x :parent ?y } => { ?y :child ?x } .

}OVER {

?s :parent ?o .}WHERE {

?s a :Person; :parent ?o .}

}}


•Workload Balancing

REASON {{ ?x foaf:knows ?y } => { ?y foaf:knows ?x } .

}OVER {

:Jenna foaf:knows ?person .}WHERE{

{SERVICE <http://example.org/sparql> {

:Jenna foaf:knows ?person . } } UNION {SERVICE <http://example2.org/sparql> {

:Jenna foaf:knows ?person . } }

}


Pitfalls

Incomplete reasoning / errorslike SPARQL

Server-side vs. client-side reasoningprobably OWL QL reasoning server-side BGP matchingOWL RL and EL will happen client-side


Distributed reasoning on top of distributed querying

Reasoning as a service

Use Cases

End userDistributed Reasoning

Framework

Endpoints

Endpoints

Endpoints

Client External Reasoner Endpoint


Reasoning on distributed data

SPARQL

ReasonedSPARQL


Sam Coppens, Miel Vander Sande, Ruben Verborgh,Erik Mannens, Rik Van de Walle,

ReasonedSPARQL

Using SPARQL agents to obtain answersthrough distribution and reasoning

reasoned sparql

Documents