Uses of Class
com.hp.hpl.jena.reasoner.dig.DIGReasoner

Packages that use DIGReasoner
com.hp.hpl.jena.reasoner The Jena2 reasoner subsystem is designed to allow a range of inference engines to be plugged into Jena. 
com.hp.hpl.jena.reasoner.dig   
 

Uses of DIGReasoner in com.hp.hpl.jena.reasoner
 

Methods in com.hp.hpl.jena.reasoner that return DIGReasoner
static DIGReasoner ReasonerRegistry.getDIGReasoner()
          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.
static DIGReasoner ReasonerRegistry.getDIGReasoner(Resource lang, boolean withAxioms, Resource config)
          Create a DIG reasoner for the specified language (DAML or OWL), optionally with axioms that specify e.g. the types of OWL objects etc.
static DIGReasoner ReasonerRegistry.getDIGReasoner(Resource lang, Resource config)
          Create a DIG reasoner for the specified language (DAML or OWL), without type axioms.
 

Uses of DIGReasoner in com.hp.hpl.jena.reasoner.dig
 

Methods in com.hp.hpl.jena.reasoner.dig that return DIGReasoner
 DIGReasoner DIGReasonerFactory.create(Resource language, String axiomsURL, Resource configuration)
          Create a DIG reasoner with the given ontology language, axioms and configuration.
 

Constructors in com.hp.hpl.jena.reasoner.dig with parameters of type DIGReasoner
DIGInfGraph(Graph data, DIGReasoner reasoner)
          Constructor
 



Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP