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