|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.reasoner.dig.DIGReasonerFactory
public class DIGReasonerFactory
Factory class for generating instances of DIG reasoners. Implements singleton pattern.
Field Summary | |
---|---|
static java.lang.String |
DEFAULT_DAML_AXIOMS
Default axioms location for the DAML variant DIG reasoner |
static java.lang.String |
DEFAULT_OWL_AXIOMS
Default axioms location for the OWL variant DIG reasoner |
static java.lang.String |
URI
Static URI for this reasoner type |
Method Summary | |
---|---|
Reasoner |
create(Resource configuration)
Answer a new DIG reasoner instance, optionally configured with the given configuration resource. |
DIGReasoner |
create(Resource language,
java.lang.String axiomsURL,
Resource configuration)
Create a DIG reasoner with the given ontology language, axioms and configuration. |
Reasoner |
createWithDAMLAxioms(Resource configuration)
Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the DAML language. |
Reasoner |
createWithOWLAxioms(Resource configuration)
Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the OWL language. |
Model |
getCapabilities()
Return a description of the capabilities of this reasoner encoded in RDF. |
java.lang.String |
getURI()
Answer the URI of this reasoner factory |
static DIGReasonerFactory |
theInstance()
Answer the singleton instance of the factory. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String URI
public static final java.lang.String DEFAULT_OWL_AXIOMS
public static final java.lang.String DEFAULT_DAML_AXIOMS
Method Detail |
---|
public static DIGReasonerFactory theInstance()
Answer the singleton instance of the factory.
public Reasoner create(Resource configuration)
Answer a new DIG reasoner instance, optionally configured with the given configuration resource.
create
in interface ReasonerFactory
configuration
- A resource whose properties denote the configuration of
the reasoner instance, or null to rely on the default configuration.public Reasoner createWithDAMLAxioms(Resource configuration)
Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the DAML language.
configuration
- A resource whose properties denote the configuration of
the reasoner instance, or null to rely on the default configuration.public Reasoner createWithOWLAxioms(Resource configuration)
Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the OWL language.
configuration
- A resource whose properties denote the configuration of
the reasoner instance, or null to rely on the default configuration.public DIGReasoner create(Resource language, java.lang.String axiomsURL, Resource configuration)
Create a DIG reasoner with the given ontology language, axioms and configuration.
language
- The URI of the ontology lanuage (owl or daml), or nullaxiomsURL
- The URL of the axioms to load, or nullconfiguration
- The root of the configuration options for the model, or null
public Model getCapabilities()
ReasonerFactory
getCapabilities
in interface ReasonerFactory
public java.lang.String getURI()
Answer the URI of this reasoner factory
getURI
in interface ReasonerFactory
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |