| Constructor and Description |
|---|
ELExpressivityChecker(KnowledgeBase kb) |
RoleChainCache(KnowledgeBase kb) |
| Modifier and Type | Field and Description |
|---|---|
protected KnowledgeBase |
ProfileBasedExpressivityChecker.m_KB |
| Constructor and Description |
|---|
DLExpressivityChecker(KnowledgeBase kb) |
ExpressivityChecker(KnowledgeBase kb) |
ExpressivityChecker(KnowledgeBase kb,
Expressivity expr) |
ProfileBasedExpressivityChecker(KnowledgeBase kb) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
QueryEngine.checkGround(QueryAtom atom,
KnowledgeBase kb) |
static QueryResult |
QueryEngine.exec(Query query,
KnowledgeBase kb) |
static boolean |
QueryEngine.supports(Query query,
KnowledgeBase kb) |
| Constructor and Description |
|---|
QueryCost(KnowledgeBase kb) |
| Modifier and Type | Method and Description |
|---|---|
KnowledgeBase |
Query.getKB()
The KB that will be used to answer this query.
|
KnowledgeBase |
QueryImpl.getKB()
The KB that will be used to answer this query.
|
| Modifier and Type | Method and Description |
|---|---|
static QueryAtom |
QueryAtomFactory.Core(Collection<QueryAtom> atoms,
Collection<aterm.ATermAppl> uv,
KnowledgeBase kb) |
void |
Query.setKB(KnowledgeBase kb)
Sets the KB that will be used to answer this query.
|
void |
QueryImpl.setKB(KnowledgeBase kb)
Sets the KB that will be used to answer this query.
|
| Constructor and Description |
|---|
CoreNewImpl(Collection<QueryAtom> atoms,
Collection<aterm.ATermAppl> uv,
KnowledgeBase kb) |
QueryImpl(KnowledgeBase kb,
boolean distinct) |
| Modifier and Type | Method and Description |
|---|---|
KnowledgeBase |
OntBuilder.build(Set<aterm.ATermAppl> axioms) |
| Constructor and Description |
|---|
OntBuilder(KnowledgeBase originalKB) |
| Modifier and Type | Method and Description |
|---|---|
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 |
KBLoader.createKB(String... fileNameList)
|
abstract KnowledgeBase |
KBLoader.getKB()
Returns the KB instance associated with the loader.
|
KnowledgeBase |
KRSSLoader.getKB()
Returns the KB instance associated with the loader.
|
KnowledgeBase |
ABox.getKB() |
| Modifier and Type | Method and Description |
|---|---|
ABox |
ABox.copy(KnowledgeBase kb)
Create a copy of this ABox with all the nodes and edges and the given KB.
|
void |
KRSSLoader.verifyABox(String file,
KnowledgeBase kb) |
void |
KRSSLoader.verifyTBox(String file,
KnowledgeBase kb) |
| Constructor and Description |
|---|
ABox(KnowledgeBase kb) |
ABox(KnowledgeBase kb,
ABox abox,
aterm.ATermAppl extraIndividual,
boolean copyIndividuals) |
KnowledgeBase(KnowledgeBase kb,
boolean emptyABox)
Create a KB based on an existing one.
|
KRSSLoader(KnowledgeBase kb) |
| Modifier and Type | Method and Description |
|---|---|
Bool |
ConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode node1,
CachedNode node2) |
Bool |
AbstractConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode pNode,
CachedNode cNode) |
protected boolean |
CacheSafetyDynamic.interactsWithInverses(KnowledgeBase kb,
Role role) |
protected boolean |
CacheSafetyDynamic.interactsWithInversesComplex(KnowledgeBase kb,
Role role) |
Bool |
ConceptCache.isMergable(KnowledgeBase kb,
CachedNode node1,
CachedNode node2) |
Bool |
AbstractConceptCache.isMergable(KnowledgeBase kb,
CachedNode root1,
CachedNode root2) |
| Constructor and Description |
|---|
ConceptCacheLRU(KnowledgeBase kb)
Creates an empty ConceptCacheImpl with no size restrictions
|
ConceptCacheLRU(KnowledgeBase kb,
int maxSize)
Creates an empty cache with at most
maxSize elements which
are neither named or negations of names. |
| Modifier and Type | Method and Description |
|---|---|
static void |
IncrementalRestore.restoreDependencies(KnowledgeBase kb) |
| Constructor and Description |
|---|
DependencyIndex(KnowledgeBase kb)
Default constructor
|
DependencyIndex(KnowledgeBase kb,
DependencyIndex oldIndex)
Copy constructor
|
| Modifier and Type | Field and Description |
|---|---|
protected KnowledgeBase |
CDOptimizedTaxonomyBuilder.kb |
protected KnowledgeBase |
AbstractDefinitionOrder.kb |
protected KnowledgeBase |
SubsumptionComparator.kb |
| Modifier and Type | Method and Description |
|---|---|
static DefinitionOrder |
DefinitionOrderFactory.createDefinitionOrder(KnowledgeBase kb) |
void |
CDOptimizedTaxonomyBuilder.setKB(KnowledgeBase kb) |
void |
POTaxonomyBuilder.setKB(KnowledgeBase kb) |
void |
SubsumptionComparator.setKB(KnowledgeBase kb) |
void |
TaxonomyBuilder.setKB(KnowledgeBase kb) |
| Constructor and Description |
|---|
AbstractDefinitionOrder(KnowledgeBase kb,
Comparator<aterm.ATerm> comparator) |
JGraphBasedDefinitionOrder(KnowledgeBase kb,
Comparator<aterm.ATerm> comparator) |
POTaxonomyBuilder(KnowledgeBase kb) |
POTaxonomyBuilder(KnowledgeBase kb,
PartialOrderComparator<aterm.ATermAppl> comparator) |
SubsumptionComparator(KnowledgeBase kb) |
TaxonomyBasedDefinitionOrder(KnowledgeBase kb,
Comparator<aterm.ATerm> comparator) |
| Modifier and Type | Method and Description |
|---|---|
static TBox |
TBoxFactory.createTBox(KnowledgeBase kb) |
| Modifier and Type | Field and Description |
|---|---|
protected KnowledgeBase |
TBoxBase.kb |
protected KnowledgeBase |
TBoxImpl.kb |
protected KnowledgeBase |
TBoxExpImpl.kb |
| Modifier and Type | Method and Description |
|---|---|
KnowledgeBase |
TBoxImpl.getKB() |
KnowledgeBase |
TBoxExpImpl.getKB() |
| Constructor and Description |
|---|
TBoxExpImpl(KnowledgeBase kb) |
TBoxImpl(KnowledgeBase kb) |
| Constructor and Description |
|---|
SizeEstimate(KnowledgeBase kb) |
Copyright © 2019. All rights reserved.