public class BUNDLE extends AbstractProbabilisticReasonerComponent implements OWLProbabilisticExplanationReasoner
logger
Constructor and Description |
---|
BUNDLE() |
Modifier and Type | Method and Description |
---|---|
OWLProbReasonerResult |
computeQuery(org.semanticweb.owlapi.model.OWLAxiom axiom) |
OWLProbExplanationReasonerResult |
computeQueryWithExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom) |
ProbabilisticReasonerType |
getReasonerType()
Gets the type of the underlying probabilistic reasoner.
|
void |
init()
Method to be called after the component has been configured.
|
void |
setAccuracy(int accuracy) |
void |
setBddFType(String bddFType) |
void |
setMaxExplanations(int maxExplanations) |
void |
setTimeout(String timeout) |
changeSources, getOntology, getSources, setSources, setSources
isInitialized
public BUNDLE()
public ProbabilisticReasonerType getReasonerType()
AbstractProbabilisticReasonerComponent
getReasonerType
in class AbstractProbabilisticReasonerComponent
public void init() throws ComponentInitException
Component
init
in interface Component
init
in class AbstractProbabilisticReasonerComponent
ComponentInitException
- This exception is thrown if any
exceptions occur within the initialisation process of this
component. As component developer, you are encouraged to
re-throw occurring exception as ComponentInitException and
giving an error message as well as the actually exception by
using the constructor ComponentInitException(String, Throwable)
.public OWLProbExplanationReasonerResult computeQueryWithExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom) throws org.semanticweb.owlapi.model.OWLException
computeQueryWithExplanations
in interface OWLProbabilisticExplanationReasoner
org.semanticweb.owlapi.model.OWLException
public OWLProbReasonerResult computeQuery(org.semanticweb.owlapi.model.OWLAxiom axiom) throws org.semanticweb.owlapi.model.OWLException
computeQuery
in interface OWLProbabilisticReasoner
org.semanticweb.owlapi.model.OWLException
public void setTimeout(String timeout)
timeout
- the timeout to setpublic void setMaxExplanations(int maxExplanations)
maxExplanations
- the maxExplanations to setpublic void setAccuracy(int accuracy)
accuracy
- the accuracy to setpublic void setBddFType(String bddFType)
bddFType
- the bddFType to set DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann