Uses of Class
org.semanticweb.HermiT.Configuration

Packages that use Configuration
org.semanticweb.HermiT   
org.semanticweb.HermiT.cli   
org.semanticweb.HermiT.structural   
 

Uses of Configuration in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as Configuration
protected  Configuration Reasoner.m_configuration
           
 

Methods in org.semanticweb.HermiT that return Configuration
 Configuration Configuration.clone()
           
 Configuration Reasoner.getConfiguration()
           
protected  Configuration Reasoner.ReasonerFactory.getProtegeConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration)
           
 

Methods in org.semanticweb.HermiT with parameters of type Configuration
protected  DLOntology Reasoner.createDeltaDLOntology(Configuration configuration, DLOntology originalDLOntology, org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms)
           
protected  org.semanticweb.owlapi.reasoner.OWLReasoner Reasoner.ReasonerFactory.createHermiTOWLReasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology ontology)
           
protected static Tableau Reasoner.createTableau(InterruptFlag interruptFlag, Configuration config, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Prefixes prefixes)
           
 

Constructors in org.semanticweb.HermiT with parameters of type Configuration
Reasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology rootOntology)
          Creates a new reasoner object with the parameters for blocking, expansion strategy etc as specified in the given configuration object.
Reasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology rootOntology, java.util.Collection<DescriptionGraph> descriptionGraphs)
          Creates a new reasoner object loaded with the given ontology and the given description graphs.
 

Uses of Configuration in org.semanticweb.HermiT.cli
 

Constructors in org.semanticweb.HermiT.cli with parameters of type Configuration
CommandLine.EntailsAction(Configuration config, org.semanticweb.owlapi.model.IRI conclusionIRI)
           
 

Uses of Configuration in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as Configuration
protected  Configuration OWLClausification.m_configuration
           
 

Constructors in org.semanticweb.HermiT.structural with parameters of type Configuration
OWLClausification(Configuration configuration)
           
ReducedABoxOnlyClausification(Configuration configuration, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Set<AtomicConcept> allAtomicConcepts, java.util.Set<AtomicRole> allAtomicObjectRoles, java.util.Set<AtomicRole> allAtomicDataRoles)