Uses of Class
org.dllearner.algorithms.qtl.util.Entailment

Packages that use Entailment

Package	Description
org.dllearner.algorithms.qtl	Learning algorithm based on so-called query trees which are a tree based representation of a (set of) RDF resource(s)
org.dllearner.algorithms.qtl.util

Uses of Entailment in org.dllearner.algorithms.qtl

Methods in org.dllearner.algorithms.qtl with parameters of type Entailment

Modifier and Type	Method and Description
static boolean	QueryTreeUtils.isNonTrivial(RDFResourceTree tree, Entailment entailment)
static boolean	QueryTreeUtils.isSubsumedBy(RDFResourceTree tree1, RDFResourceTree tree2, Entailment entailment) Determines if tree1 is subsumed by tree2, i.e.
static boolean	QueryTreeUtils.isSubsumedBy(RDFResourceTree tree1, RDFResourceTree tree2, Entailment entailment, AbstractReasonerComponent reasoner)
static void	QueryTreeUtils.prune(RDFResourceTree tree, AbstractReasonerComponent reasoner, Entailment entailment) Remove trivial statements according to the given entailment semantics:
void	QTL2DisjunctiveMultiThreaded.setEntailment(Entailment entailment)
void	QTL2Disjunctive.setEntailment(Entailment entailment)

Uses of Entailment in org.dllearner.algorithms.qtl.util

Methods in org.dllearner.algorithms.qtl.util that return Entailment

Modifier and Type	Method and Description
static Entailment	Entailment.valueOf(String name) Returns the enum constant of this type with the specified name.
static Entailment[]	Entailment.values() Returns an array containing the constants of this enum type, in the order they are declared.