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
