Uses of Class
org.semanticweb.HermiT.model.DLOntology

Packages that use DLOntology
org.semanticweb.HermiT   
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of DLOntology in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as DLOntology
protected  DLOntology Reasoner.m_dlOntology
           
 

Methods in org.semanticweb.HermiT that return DLOntology
protected  DLOntology Reasoner.createDeltaDLOntology(Configuration configuration, DLOntology originalDLOntology, org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms)
           
 DLOntology Reasoner.getDLOntology()
           
 

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

Uses of DLOntology in org.semanticweb.HermiT.blocking
 

Methods in org.semanticweb.HermiT.blocking with parameters of type DLOntology
 void BlockingStrategy.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void AnywhereValidatedBlocking.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void AnywhereBlocking.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void AncestorBlocking.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 

Uses of DLOntology in org.semanticweb.HermiT.existentials
 

Methods in org.semanticweb.HermiT.existentials with parameters of type DLOntology
 void ExistentialExpansionStrategy.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void AbstractExpansionStrategy.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 

Uses of DLOntology in org.semanticweb.HermiT.model
 

Methods in org.semanticweb.HermiT.model that return DLOntology
static DLOntology DLOntology.load(java.io.File file)
           
static DLOntology DLOntology.load(java.io.InputStream inputStream)
           
 

Uses of DLOntology in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural that return DLOntology
 DLOntology OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, java.lang.String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, java.util.Collection<DescriptionGraph> descriptionGraphs)
           
 

Uses of DLOntology in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DLOntology
protected  DLOntology Tableau.m_additionalDLOntology
           
protected  DLOntology Tableau.m_permanentDLOntology
           
 

Methods in org.semanticweb.HermiT.tableau that return DLOntology
 DLOntology Tableau.getAdditionalDLOntology()
           
 DLOntology Tableau.getPermanentDLOntology()
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type DLOntology
 void DatatypeManager.additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void Tableau.setAdditionalDLOntology(DLOntology additionalDLOntology)
           
 boolean Tableau.supportsAdditionalDLOntology(DLOntology additionalDLOntology)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLOntology
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, java.util.Map<java.lang.String,java.lang.Object> parameters)