| java.lang.Object
 com.hp.hpl.jena.reasoner.dig.DIGReasonerFactory
| DIGReasonerFactory | | public class DIGReasonerFactory implements ReasonerFactory(Code) | |
Factory class for generating instances of DIG reasoners. Implements singleton pattern.
author:
Ian Dickinson, HP Labs (email)
version:
Release @release@ ($Id: DIGReasonerFactory.java,v 1.11 2008/01/02 12:07:11 andy_seaborne Exp $) |
| DEFAULT_DAML_AXIOMS | | final public static String DEFAULT_DAML_AXIOMS(Code) | | Default axioms location for the DAML variant DIG reasoner
|
| DEFAULT_OWL_AXIOMS | | final public static String DEFAULT_OWL_AXIOMS(Code) | | Default axioms location for the OWL variant DIG reasoner
|
| URI | | final public static String URI(Code) | | Static URI for this reasoner type
|
| create | | public Reasoner create(Resource configuration)(Code) | | Answer a new DIG reasoner instance, optionally configured with the given
configuration resource.
Parameters:
configuration - A resource whose properties denote the configuration ofthe reasoner instance, or null to rely on the default configuration. |
| create | | public DIGReasoner create(Resource language, String axiomsURL, Resource configuration)(Code) | | Create a DIG reasoner with the given ontology language, axioms and configuration.
Parameters:
language - The URI of the ontology lanuage (owl or daml), or null
Parameters:
axiomsURL - The URL of the axioms to load, or null
Parameters:
configuration - The root of the configuration options for the model, or null A new DIG reasoner object |
| createWithDAMLAxioms | | public Reasoner createWithDAMLAxioms(Resource configuration)(Code) | | 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.
Parameters:
configuration - A resource whose properties denote the configuration ofthe reasoner instance, or null to rely on the default configuration. |
| createWithOWLAxioms | | public Reasoner createWithOWLAxioms(Resource configuration)(Code) | | 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.
Parameters:
configuration - A resource whose properties denote the configuration ofthe reasoner instance, or null to rely on the default configuration. |
| getURI | | public String getURI()(Code) | | Answer the URI of this reasoner factory
|
|
|