Am 24.06.2011 um 16:50 schrieb Dave Reynolds: > On Fri, 2011-06-24 at 16:36 +0200, Mauro Bieg wrote: >> Hello, >> >> I just copy-and-pasted together a working(!) assembler file to start fuseki >> with a reasoner: >> >> @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . >> @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . >> @prefix ja: <http://jena.hpl.hp.com/2005/11/Assembler#> . >> <#dataset> rdf:type ja:RDFDataset ; >> ja:defaultGraph <#inf_graph> ; >> . >> <#inf_graph> rdf:type ja:InfModel ; >> ja:reasoner [ja:reasonerURL >> <http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner>] ; >> ja:baseModel <#baseGraph> . >> >> <#baseGraph> a ja:MemoryModel ; >> ja:content [ja:externalContent <file:///sample.ttl>] >> . >> >> Now I was wondering what other built-in reasoners jena has to offer. and >> especially what the URIs of those might be so i can replace >> <http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner> with some other reasoner. >> >> all i was able to find on documentation is >> http://jena.sourceforge.net/inference/ but the URIs of the mentioned >> reasoners are nowhere mentioned. > > They can be found at runtime: > > Model reasoners = ReasonerRegistry.theRegistry().getAllDescriptions(); > ResIterator ri = reasoners.listSubjectsWithProperty(RDF.type, > ReasonerVocabulary.ReasonerClass); > while (ri.hasNext()) { > System.out.println(" " + ri.next()); > } > > Which for a vanilla Jena installation gives: > > http://jena.hpl.hp.com/2003/RDFSExptRuleReasoner > http://jena.hpl.hp.com/2003/TransitiveReasoner > http://jena.hpl.hp.com/2003/GenericRuleReasoner > http://jena.hpl.hp.com/2003/DAMLMicroReasonerFactory > http://jena.hpl.hp.com/2003/OWLFBRuleReasoner > http://jena.hpl.hp.com/2003/OWLMicroFBRuleReasoner > http://jena.hpl.hp.com/2003/OWLMiniFBRuleReasoner > > Notes: > (1) The "Expt" bit of the RDFS Reasoner URI is a bit misleading since it > is no longer experimental. > (2) The DAMLMicro reasoner is probably completely pointless these days. > > Dave
Great! that was exactly what i was looking for :) i guess i need owl reasoning (as i want to infer from an owl:unionOf). would you know whether Pellet or the OWLMicroFBRuleReasoner is faster? Thanks again, Mauro p.s. i haven't written any java code for this and might not have to. currently i'm just using the assembler posted above to start up fuseki (with --desc=./assembler.ttl) and query/update the rdf-store with sparql over http. so it might be a good idea to post that list (maybe along with my assembler) to http://openjena.org/wiki/Fuseki so that other people don't have to do the same search as i did. so far fuseki has served me great, just adding the reasoner was nowhere really documented.
