|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |