public class ReasonerRegistry extends Object
It is up to each reasoner or some associated configuration system to register it in this registry.
Modifier and Type | Method and Description |
---|---|
Reasoner |
create(String uri,
Resource configuration)
Create and return a new instance of the reasoner identified by
the given uri.
|
Model |
getAllDescriptions()
Return a composite set of RDF capability descriptions for all registered reasoners.
|
Resource |
getDescription(String uri)
Return information on a given Reasoner.
|
ReasonerFactory |
getFactory(String uri)
Return the factory for the given reasoner.
|
static Reasoner |
getOWLMicroReasoner()
Prebuilt standard configuration a micro-OWL reasoner.
|
static Reasoner |
getOWLMiniReasoner()
Prebuilt mini configuration for the default OWL reasoner.
|
static Reasoner |
getOWLReasoner()
Prebuilt standard configuration for the default OWL reasoner.
|
static Reasoner |
getRDFSReasoner()
Return a prebuilt standard configuration for the default RDFS reasoner
|
static Reasoner |
getRDFSSimpleReasoner()
Return a prebuilt simplified configuration for the default RDFS reasoner
|
static Reasoner |
getTransitiveReasoner()
Return a prebuilt standard configuration for the default subclass/subproperty transitive closure reasoner.
|
static Node |
makeDirect(Node node)
Return a property Node which represents the direct version of a
transitively closed property.
|
static String |
makeDirect(String uri)
Return a URI string which represents the direct version of a
transitively closed property URI
|
void |
register(ReasonerFactory factory)
Register a Reasoner.
|
void |
register(String reasonerUri,
ReasonerFactory factory)
Register a Reasoner - simple case with no RDF description.
|
static ReasonerRegistry |
theRegistry()
Return the single global instance of the registry
|
public static ReasonerRegistry theRegistry()
public void register(ReasonerFactory factory)
factory
- an factory that can be used to create instances of the reasonerpublic void register(String reasonerUri, ReasonerFactory factory)
factory
- an factory that can be used to create instances of the reasonerreasonerUri
- the URI used to label the reasoner, expressed as a
simple stringpublic Model getAllDescriptions()
public Resource getDescription(String uri)
uri
- the URI of the reasonerpublic ReasonerFactory getFactory(String uri)
uri
- the URI of the reasonerpublic Reasoner create(String uri, Resource configuration) throws ReasonerException
uri
- the uri of the reasoner to be created, expressed as a simple stringconfiguration
- an optional set of configuration information encoded in RDF this
parameter can be null if no configuration information is required.ReasonerException
- if there is not such reasoner or if there is
some problem during instantiationpublic static Node makeDirect(Node node)
makeDirect(String)
;
this method makes a new Node with the direct respelling of
node
s URI.public static String makeDirect(String uri)
Not clear what the right thing to do here is. Should not just invent a new local name in the same namespace because that might be a controlled namespace like RDF or RDFS. Can't even just extend the namespace slightly because that would be violating the web principles of namespace ownership. On the other hand, this solution results in staggeringly clumsy names.
uri
- the URI representing the transitive propertypublic static Reasoner getRDFSReasoner()
public static Reasoner getRDFSSimpleReasoner()
public static Reasoner getTransitiveReasoner()
public static Reasoner getOWLReasoner()
public static Reasoner getOWLMicroReasoner()
public static Reasoner getOWLMiniReasoner()
Licenced under the Apache License, Version 2.0