On 17/05/17 19:27, Todd Detwiler wrote:
Thanks Dave for the suggestions regarding my second question. I had seen the page at https://jena.apache.org/documentation/inference/, but that page shows class names and not the URLs that you use in the assembler. I can write a little code to call ReasonerRegistry.theRegistry().getAllDescriptions(), but I was hoping that the options were listed on a web page.
Fair enough, but I did list the relevant ones in my email reply so you
have them now.
For others with this question, the closest I found was this:
https://jena.apache.org/documentation/javadoc/jena/constant-values.html
But it still isn't clear, from that page, what the differences are between, for
example:
http://jena.hpl.hp.com/2003/RDFSFBRuleReasoner
http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner
I only listed the latter because that's all that's included in the
ReasonerRegistry and is what you get if use
ReasonerRegistery.getRDFSReasoner() as described in the documentation.
FWIW the first one is essentially legacy and could be deprecated. It
uses pure forward/backward rules where as the Expt version uses an
underlying transitive reasoner for better performance and provides the
options for different levels of RDFS coverage as described in the
documentation.
["Expt" originally stood for experimental but once having released the
system it with that URI we were then stuck with it even though it has
been the default on in the registry for over a decade!]
Dave
Also for anyone else who encounters this thread during a search, I found a possible
solution to #3, in the comments of this page (the one that talks about
<urn:x-arq:UnionGraph>):
http://stackoverflow.com/questions/35428064/reasoning-with-fuseki-tdb-and-named-graphs
Cheers,
Todd
On 5/17/17, 1:23 AM, "Dave Reynolds" <[email protected]> wrote:
On 16/05/17 17:43, Todd Detwiler wrote:
> I am having a difficult time figure out how to add inference
capabilities to an otherwise working Fuseki configuration with Lucene indexing.
I'll start with my questions, and follow with the full details.
>
>
>
> 1. Does anyone have a working assembler file that has both reasoning and
Lucene indexing?
Maybe someone else can help with that, I find assembler files a little
confusing.
> 2. Does anyone know where to find the valid list of reasoner URLs and an accurate description of the expected inference?
ReasonerRegistry.theRegistry().getAllDescriptions() will give you
everything but the most relevant ones are likely to be:
RDFS
http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner
OWL Micro
http://jena.hpl.hp.com/2003/OWLMicroFBRuleReasoner
OWL Mini
http://jena.hpl.hp.com/2003/OWLMiniFBRuleReasoner
OWL
http://jena.hpl.hp.com/2003/OWLFBRuleReasoner
For description see https://jena.apache.org/documentation/inference/
> 3. Is there a way to set an inferred graph over the union of named graphs as the default graph?
I don't think so.
Dave
