Uses of Class
org.semanticweb.HermiT.Configuration

Packages that use Configuration

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.structural

Uses of Configuration in org.semanticweb.HermiT

Methods in org.semanticweb.HermiT that return Configuration

Modifier and Type	Method and Description
Configuration	Configuration.clone()
Configuration	Reasoner.getConfiguration()

Constructors in org.semanticweb.HermiT with parameters of type Configuration

Constructor and Description
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, 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.structural

Constructors in org.semanticweb.HermiT.structural with parameters of type Configuration

Constructor and Description
OWLClausification(Configuration configuration)
ReducedABoxOnlyClausification(Configuration configuration, Set<AtomicConcept> allAtomicConcepts, Set<AtomicRole> allAtomicObjectRoles, Set<AtomicRole> allAtomicDataRoles)