public interface AxiomLearningProgressMonitor
learningStarted(AxiomType)
, then call either
learningTaskBusy(AxiomType)
or learningProgressChanged(AxiomType, int, int)
any number of times and finally call learningStopped(AxiomType)
when the
task ends or has been interrupted. This cycle may then be repeated.Modifier and Type | Field and Description |
---|---|
static String |
LEARNING
A standard name for the task of computing the types of individual.
|
static String |
LOADING
A standard name for the task of loading a reasoner with axioms.
|
static String |
PREPROCESSING
A standard name for the task of computing the class hierarchy.
|
Modifier and Type | Method and Description |
---|---|
void |
learningFailed(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType) |
void |
learningProgressChanged(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType,
int value,
int max)
Indicates that the learning algorithm is part way through its task.
|
void |
learningStarted(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
Indicates that some learning algorithm has started.
|
void |
learningStopped(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
Indicates that a previously started learning algorithm has now stopped.
|
void |
learningTaskBusy(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
Indicates that the learning algorithm is busy performing a task whose size cannot
be determined.
|
static final String LOADING
static final String PREPROCESSING
static final String LEARNING
void learningStarted(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
learningStopped(AxiomType)
method will be called. Once
this method has been called it will not be called again unless the
learningStopped(AxiomType)
method has been called. axiomType
- The type of axiomvoid learningStopped(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
learningStarted(AxiomType)
method has
been called.void learningProgressChanged(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType, int value, int max)
learningStarted(AxiomType)
method
has been called. It will not be called after the
learningStopped(AxiomType)
method has been called. value
- The value or portion of the learning algorithm task completedmax
- The total size of the learning algorithm taskvoid learningTaskBusy(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
learningStarted(AxiomType)
method has been called. It will not
be called after the learningStopped(AxiomType)
method has been
called. void learningFailed(org.semanticweb.owlapi.model.AxiomType<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomType)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann