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

Packages that use DLOntology

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.datalog
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural
org.semanticweb.HermiT.tableau

Uses of DLOntology in org.semanticweb.HermiT

Methods in org.semanticweb.HermiT that return DLOntology

Modifier and Type	Method and Description
DLOntology	Reasoner.getDLOntology()

Uses of DLOntology in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking with parameters of type DLOntology

Modifier and Type	Method and Description
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.datalog

Methods in org.semanticweb.HermiT.datalog that return DLOntology

Modifier and Type	Method and Description
DLOntology	DatalogEngine.getDLOntology()

Constructors in org.semanticweb.HermiT.datalog with parameters of type DLOntology

Constructor and Description
DatalogEngine(DLOntology dlOntology)

Uses of DLOntology in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type DLOntology

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
static DLOntology	DLOntology.load(InputStream inputStream)

Uses of DLOntology in org.semanticweb.HermiT.structural

Methods in org.semanticweb.HermiT.structural that return DLOntology

Modifier and Type	Method and Description
DLOntology	OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, Collection<DescriptionGraph> descriptionGraphs)

Uses of DLOntology in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return DLOntology

Modifier and Type	Method and Description
DLOntology	Tableau.getAdditionalDLOntology()
DLOntology	Tableau.getPermanentDLOntology()

Methods in org.semanticweb.HermiT.tableau with parameters of type DLOntology

Modifier and Type	Method and Description
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

Constructor and Description
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Map<String,Object> parameters)