Inferencing in SPARQL

[rcoakley]

Hi all,

I am currently working on a project that is using a java app to take queries from our OWL triples using SPARQL. We are using to the Virtuoso SPARQL query editor to test our queries before implementing. When we used to use Allegrograph there was a small check box to turn on reasoning. I was wondering how I would do this in Virtuoso?

RC

[hwilliams]

Hi

The Virtuoso documentation details how inferencing and reasoning can be enabled when querying against the Virtuoso Quad Store ...

Best Regards
Hugh Williams
OpenLink Software

[bgeary]

Hi Hugh:

I work with Ryan. The issue is we have loaded our ontology with subClassOf triples.
However when we query the inferencing is not working. For instance when we use Allegrograph
we simply provide an argument to the endpoint call to enable or disable inferencing.

I am not clear that we need to use a rule_set since the rules are in our ontology already.

P.S. I just added in the following.

Code: Select all

rdfs_rule_set('test1', 'http://white.company.com:82/ontology6.owl');

In my SPARQL i added in define input:inference 'test1' and still do not get back any results.

Our end goal is to be able to use rdf:type OR in other words be able to do inferencing on class hierarchy.

Thanks
Brian

[hwilliams]

Hi Ryan,

Presumably you have loaded the ontology data into an RDF graph name of "http://white.company.com:82/ontology6.owl" in the Quad Store, such that the ontology data can be located for use in the inference rule, as indicated in examples of the documentation ?

Best Regards
Hugh Williams
OpenLink Software