public interface TaxonomyBuilder
Title:
Description:
Copyright: Copyright (c) 2006
Company: Clark & Parsia, LLC.
| Modifier and Type | Method and Description |
|---|---|
boolean |
classify()
Classify the KB.
|
void |
classify(aterm.ATermAppl c) |
Taxonomy<aterm.ATermAppl> |
getTaxonomy() |
Map<aterm.ATermAppl,Set<aterm.ATermAppl>> |
getToldDisjoints() |
Taxonomy<aterm.ATermAppl> |
getToldTaxonomy() |
boolean |
realize()
Realize the KB by finding the instances of each class.
|
void |
realize(aterm.ATermAppl x) |
void |
setKB(KnowledgeBase kb) |
void |
setProgressMonitor(ProgressMonitor monitor) |
void setKB(KnowledgeBase kb)
void setProgressMonitor(ProgressMonitor monitor)
boolean classify()
void classify(aterm.ATermAppl c)
boolean realize()
void realize(aterm.ATermAppl x)
Taxonomy<aterm.ATermAppl> getTaxonomy()
Taxonomy<aterm.ATermAppl> getToldTaxonomy()
Copyright © 2019. All rights reserved.