|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface AxiomLoader
An object through which axioms can be add or removed to the ontology
| Method Summary | |
|---|---|
void |
dispose()
Close resources used by this AxiomLoader |
boolean |
isLoadingFinished()
|
void |
load(ElkAxiomProcessor axiomInserter,
ElkAxiomProcessor axiomDeleter)
Loads pending axioms using the provided axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed again |
| Method Detail |
|---|
void load(ElkAxiomProcessor axiomInserter,
ElkAxiomProcessor axiomDeleter)
throws ElkLoadingException
axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed again
axiomInserter - an ElkAxiomProcessor that inserts the axioms that were
addedaxiomDeleter - an ElkAxiomProcessor that deletes the axioms that were
removed
ElkLoadingException - if loading cannot be completed successfullyboolean isLoadingFinished()
true if the loading is finished, i.e., calling
load(ElkAxiomProcessor, ElkAxiomProcessor)
will have no effectvoid dispose()
AxiomLoader
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||