Uses of Interface
openllet.core.KnowledgeBase

Packages that use KnowledgeBase

Package	Description
openllet.core
openllet.core.boxes.abox
openllet.core.boxes.tbox
openllet.core.boxes.tbox.impl
openllet.core.el
openllet.core.expressivity
openllet.core.knowledge
openllet.core.tableau.cache
openllet.core.tableau.completion.incremental
openllet.core.taxonomy
openllet.core.utils

Uses of KnowledgeBase in openllet.core

Classes in openllet.core that implement KnowledgeBase

Modifier and Type	Class	Description
class	KnowledgeBaseImpl
class	KnowledgeBaseImplFullSync

Methods in openllet.core that return KnowledgeBase

Modifier and Type	Method	Description
default KnowledgeBase	KnowledgeBase.copy()	Create a copy of this KB with a completely new ABox copy but pointing to the same RBox and TBox.
KnowledgeBase	KnowledgeBase.copy(boolean emptyABox)	Create a copy of this KB.
KnowledgeBase	KnowledgeBaseImpl.copy(boolean emptyABox)	Create a copy of this KB.
KnowledgeBase	KnowledgeBaseImplFullSync.copy(boolean emptyABox)
KnowledgeBase	KBLoader.createKB(java.lang.String... fileNameList)	Convenience function to clear, parse, load, and KBLoader.getKB().
abstract KnowledgeBase	KBLoader.getKB()	Returns the KB instance associated with the loader.
KnowledgeBase	KRSSLoader.getKB()	Returns the KB instance associated with the loader.
KnowledgeBase	KnowledgeBaseImpl.getKnowledgeBase()

Methods in openllet.core with parameters of type KnowledgeBase

Modifier and Type	Method	Description
void	KRSSLoader.verifyABox(java.lang.String file, KnowledgeBase kb)
void	KRSSLoader.verifyTBox(java.lang.String file, KnowledgeBase kb)

Constructors in openllet.core with parameters of type KnowledgeBase

Constructor	Description
KRSSLoader(KnowledgeBase kb)

Uses of KnowledgeBase in openllet.core.boxes.abox

Methods in openllet.core.boxes.abox that return KnowledgeBase

Modifier and Type	Method	Description
KnowledgeBase	ABox.getKB()
KnowledgeBase	ABoxImpl.getKB()

Methods in openllet.core.boxes.abox with parameters of type KnowledgeBase

Modifier and Type	Method	Description
ABox	ABox.copy(KnowledgeBase kb)
ABoxImpl	ABoxImpl.copy(KnowledgeBase kb)

Constructors in openllet.core.boxes.abox with parameters of type KnowledgeBase

Constructor	Description
ABoxImpl(KnowledgeBase kb)
ABoxImpl(KnowledgeBase kb, boolean copyCache)
ABoxImpl(KnowledgeBase kb, ABoxImpl abox, openllet.aterm.ATermAppl extraIndividual, boolean copyIndividuals)

Uses of KnowledgeBase in openllet.core.boxes.tbox

Methods in openllet.core.boxes.tbox with parameters of type KnowledgeBase

Modifier and Type	Method	Description
static TBox	TBoxFactory.createTBox(KnowledgeBase kb)

Uses of KnowledgeBase in openllet.core.boxes.tbox.impl

Methods in openllet.core.boxes.tbox.impl that return KnowledgeBase

Modifier and Type	Method	Description
KnowledgeBase	TBoxExpImpl.getKB()
KnowledgeBase	TBoxImpl.getKB()

Constructors in openllet.core.boxes.tbox.impl with parameters of type KnowledgeBase

Constructor	Description
TBoxExpImpl(KnowledgeBase kb)
TBoxImpl(KnowledgeBase kb)

Uses of KnowledgeBase in openllet.core.el

Constructors in openllet.core.el with parameters of type KnowledgeBase

Constructor	Description
ELExpressivityChecker(KnowledgeBase kb)
RoleChainCache(KnowledgeBase kb)
RuleBasedELClassifier(KnowledgeBase kb)
SimplifiedELClassifier(KnowledgeBase kb)

Uses of KnowledgeBase in openllet.core.expressivity

Constructors in openllet.core.expressivity with parameters of type KnowledgeBase

Constructor	Description
DLExpressivityChecker(KnowledgeBase kb)
ExpressivityChecker(KnowledgeBase kb)
ExpressivityChecker(KnowledgeBase kb, Expressivity expr)
ProfileBasedExpressivityChecker(KnowledgeBase kb)

Uses of KnowledgeBase in openllet.core.knowledge

Methods in openllet.core.knowledge that return KnowledgeBase

Modifier and Type	Method	Description
KnowledgeBase	Base.getKnowledgeBase()

Uses of KnowledgeBase in openllet.core.tableau.cache

Methods in openllet.core.tableau.cache with parameters of type KnowledgeBase

Modifier and Type	Method	Description
Bool	AbstractConceptCache.checkNominalEdges(KnowledgeBase kb, CachedNode pNode, CachedNode cNode)
Bool	ConceptCache.checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)
Bool	AbstractConceptCache.isMergable(KnowledgeBase kb, CachedNode root1, CachedNode root2)
Bool	ConceptCache.isMergable(KnowledgeBase kb, CachedNode node1, CachedNode node2)

Constructors in openllet.core.tableau.cache with parameters of type KnowledgeBase

Constructor	Description
ConceptCacheLRU(KnowledgeBase kb)	Creates an empty ConceptCacheImpl with no size restrictions Using this constructor is equivalent to break the auto-flush LRU policy of this cache.
ConceptCacheLRU(KnowledgeBase kb, int maxSize)	Creates an empty _cache with at most maxSize elements which are neither named or negations of names.

Uses of KnowledgeBase in openllet.core.tableau.completion.incremental

Methods in openllet.core.tableau.completion.incremental with parameters of type KnowledgeBase

Modifier and Type	Method	Description
static void	IncrementalRestore.restoreDependencies(KnowledgeBase kb)

Constructors in openllet.core.tableau.completion.incremental with parameters of type KnowledgeBase

Constructor	Description
DependencyIndex(KnowledgeBase kb)	Default constructor
DependencyIndex(KnowledgeBase kb, DependencyIndex oldIndex)	Copy constructor

Uses of KnowledgeBase in openllet.core.taxonomy

Methods in openllet.core.taxonomy with parameters of type KnowledgeBase

Modifier and Type	Method	Description
static DefinitionOrder	DefinitionOrderFactory.createDefinitionOrder(KnowledgeBase kb)
void	SubsumptionComparator.setKB(KnowledgeBase kb)

Constructors in openllet.core.taxonomy with parameters of type KnowledgeBase

Constructor	Description
AbstractDefinitionOrder(KnowledgeBase kb, java.util.Comparator<openllet.aterm.ATerm> comparator)
CDOptimizedTaxonomyBuilder(KnowledgeBase kb)
JGraphBasedDefinitionOrder(KnowledgeBase kb, java.util.Comparator<openllet.aterm.ATerm> comparator)
PartialOrderTaxonomyBuilder(KnowledgeBase kb)
PartialOrderTaxonomyBuilder(KnowledgeBase kb, PartialOrderComparator<openllet.aterm.ATermAppl> comparator)
SubsumptionComparator(KnowledgeBase kb)
TaxonomyBasedDefinitionOrder(KnowledgeBase kb, java.util.Comparator<openllet.aterm.ATerm> comparator)

Uses of KnowledgeBase in openllet.core.utils

Methods in openllet.core.utils that return KnowledgeBase

Modifier and Type	Method	Description
KnowledgeBase	OntBuilder.build(java.util.Set<openllet.aterm.ATermAppl> axioms)

Constructors in openllet.core.utils with parameters of type KnowledgeBase

Constructor	Description
OntBuilder(KnowledgeBase originalKB)
SizeEstimate(KnowledgeBase kb)