| java.lang.Object
 com.hp.hpl.jena.reasoner.ReasonerRegistry
| ReasonerRegistry | | public class ReasonerRegistry (Code) | | A global registry of known reasoner modules. Modules are identified
by a URI and can have associated capability and descriptive
information, in RDF. Currently the schema/ontology for such
descriptions is mostly open. However, we do ensure that each reasoner
URI at least has an associated rdf:type statement to indicate that it
is a reasoner.
It is up to each reasoner or some associated configuration system
to register it in this registry.
author:
Dave Reynolds
version:
$Revision: 1.31 $ on $Date: 2008/01/21 14:54:20 $ |
| allDescriptions | | protected Model allDescriptions(Code) | | Union of the all reasoner capability descriptions
|
| reasonerFactories | | protected Map reasonerFactories(Code) | | Map from reasoner URI to the associated factory
|
| theOWLMicroReasoner | | protected static Reasoner theOWLMicroReasoner(Code) | | Prebuilt micro configuration OWL reasoner
|
| theOWLMiniReasoner | | protected static Reasoner theOWLMiniReasoner(Code) | | Prebuilt mini configuration OWL reasoner
|
| theOWLReasoner | | protected static Reasoner theOWLReasoner(Code) | | Prebuilt standard configuration OWL reasoner
|
| theRDFSReasoner | | protected static Reasoner theRDFSReasoner(Code) | | Prebuilt standard configuration for the default RDFS reasoner.
|
| theRDFSSimpleReasoner | | protected static Reasoner theRDFSSimpleReasoner(Code) | | Prebuilt standard configuration for the default RDFS reasoner.
|
| theTRANSITIVEReasoner | | protected static Reasoner theTRANSITIVEReasoner(Code) | | Prebuilt standard configuration for the default subclass/subproperty transitive closure reasoner.
|
| create | | public Reasoner create(String uri, Resource configuration) throws ReasonerException(Code) | | Create and return a new instance of the reasoner identified by
the given uri.
Parameters:
uri - the uri of the reasoner to be created, expressed as a simple string
Parameters:
configuration - an optional set of configuration information encoded in RDF this parameter can be null if no configuration information is required. a reaoner instance
throws:
ReasonerException - if there is not such reasoner or if there issome problem during instantiation |
| getAllDescriptions | | public Model getAllDescriptions()(Code) | | Return a composite set of RDF capability descriptions for all registered reasoners.
Listing all Resources of type ReasonerClass in the returned model
would enumerate all registered reasoners.
|
| getDIGReasoner | | public static DIGReasoner getDIGReasoner()(Code) | | Create a DIG reasoner for the specified language for the OWL
language, with default settings (including the default URL for the
DIG reasoner), and no axioms specified.
A new DIG reasoner |
| getDIGReasoner | | public static DIGReasoner getDIGReasoner(Resource lang, Resource config)(Code) | | Create a DIG reasoner for the specified language
(
or
), without type axioms.
Parameters:
lang - The ontology language, OWL or DAML, as a resource
Parameters:
config - Optional configuration root resource, or null A new DIG reasoner |
| getDIGReasoner | | public static DIGReasoner getDIGReasoner(Resource lang, boolean withAxioms, Resource config)(Code) | | Create a DIG reasoner for the specified language
(
or
), optionally with axioms that specify
e.g. the types of OWL objects etc.
Parameters:
lang - The ontology language, OWL or DAML, as a resource
Parameters:
withAxioms - If true, include the type axioms for the language
Parameters:
config - Optional configuration root resource, or null A new DIG reasoner |
| getDescription | | public Resource getDescription(String uri)(Code) | | Return information on a given Reasoner.
Parameters:
uri - the URI of the reasoner a Resource representing the reasoner whose properties (as obtainablethrough listProperties etc) give a capability description of the reasoner; returns null if no such reasoner is registered. |
| getFactory | | public ReasonerFactory getFactory(String uri)(Code) | | Return the factory for the given reasoner.
Parameters:
uri - the URI of the reasoner the ReasonerFactory instance for this reasoner |
| getOWLMicroReasoner | | public static Reasoner getOWLMicroReasoner()(Code) | | Prebuilt standard configuration a micro-OWL reasoner. This just supports property axioms,
and class inheritance sufficient to power the OntAPI.
|
| getOWLMiniReasoner | | public static Reasoner getOWLMiniReasoner()(Code) | | Prebuilt mini configuration for the default OWL reasoner. This omits bNode
introduction rules which has significant performance gain in some cases and
avoids breaking the find contract.
|
| getOWLReasoner | | public static Reasoner getOWLReasoner()(Code) | | Prebuilt standard configuration for the default OWL reasoner. This configuration is
hybrid forward/backward reasoner.
|
| getRDFSReasoner | | public static Reasoner getRDFSReasoner()(Code) | | Return a prebuilt standard configuration for the default RDFS reasoner
|
| getRDFSSimpleReasoner | | public static Reasoner getRDFSSimpleReasoner()(Code) | | Return a prebuilt simplified configuration for the default RDFS reasoner
|
| getTransitiveReasoner | | public static Reasoner getTransitiveReasoner()(Code) | | Return a prebuilt standard configuration for the default subclass/subproperty transitive closure reasoner.
|
| makeDirect | | public static Node makeDirect(Node node)(Code) | | Return a property Node which represents the direct version of a
transitively closed property. See makeDirect(String);
this method makes a new Node with the direct respelling of
nodes URI.
|
| makeDirect | | public static String makeDirect(String uri)(Code) | | Return a URI string which represents the direct version of a
transitively closed property 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.
Parameters:
uri - the URI representing the transitive property |
| register | | public void register(ReasonerFactory factory)(Code) | | Register a Reasoner.
Parameters:
factory - an factory that can be used to create instances of the reasoner |
| register | | public void register(String reasonerUri, ReasonerFactory factory)(Code) | | Register a Reasoner - simple case with no RDF description.
Parameters:
factory - an factory that can be used to create instances of the reasoner
Parameters:
reasonerUri - the URI used to label the reasoner, expressed as asimple string |
| theRegistry | | public static ReasonerRegistry theRegistry()(Code) | | Return the single global instance of the registry
|
|
|