|
||||||||||
| 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 | |||||||||