Package | Description |
---|---|
org.dllearner.accuracymethods | |
org.dllearner.algorithms | |
org.dllearner.algorithms.celoe | |
org.dllearner.algorithms.decisiontrees.dsttdt | |
org.dllearner.algorithms.decisiontrees.heuristics | |
org.dllearner.algorithms.decisiontrees.refinementoperators | |
org.dllearner.algorithms.decisiontrees.tdt | |
org.dllearner.algorithms.decisiontrees.utils | |
org.dllearner.algorithms.el |
Learning algorithms for the EL description logic.
|
org.dllearner.algorithms.hybridgp |
Hybrid Learning Algorithm: A combination of Genetic Programming and Refinement Operators.
|
org.dllearner.algorithms.miles | |
org.dllearner.algorithms.ocel |
New experimental refinement operator approach, which takes
obtained information about concrete examples in an algorithm run
stronger into account.
|
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.operations.lgg | |
org.dllearner.algorithms.qtl.util.filters | |
org.dllearner.cli |
DL-Learner command line interface.
|
org.dllearner.core |
Core structure of DL-Learner including the definition of component types and a component manager.
|
org.dllearner.core.owl |
Classes/Interfaces for representing OWL constructs - see
the OWL 2 Structural
Specification for details.
|
org.dllearner.learningproblems |
Supported DL-Learner learning problems.
|
org.dllearner.reasoning |
Implements the connection to other reasoner or own reasoning/caching algorithms.
|
org.dllearner.refinementoperators |
Refinement operator implementations.
|
org.dllearner.server |
This package implements the DL-Learner web service.
|
org.dllearner.utilities |
Utility classes.
|
org.dllearner.utilities.datastructures |
Utility classesfor manipulating general data structures.
|
org.dllearner.utilities.examples |
Utility classes related to finding/modifying examples of
learning problems.
|
org.dllearner.utilities.learn |
Reusable learnings tasks.
|
org.dllearner.utilities.owl |
OWL utility classes (file manipulation, converting
between different formats, orderings on OWL structures etc.).
|
org.dllearner.utilities.split |
Constructor and Description |
---|
AccMethodFMeasureApprox(boolean init,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
NaiveALLearner(AbstractClassExpressionLearningProblem lp,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
CELOE(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner) |
PCELOE(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
DSTTDTClassifier(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner) |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
TreeInductionHeuristics.getReasoner() |
Modifier and Type | Method and Description |
---|---|
void |
TreeInductionHeuristics.setReasoner(AbstractReasonerComponent reasoner) |
Modifier and Type | Method and Description |
---|---|
void |
DLTreesRefinementOperator.setReasoner(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
DLTreesRefinementOperator(PosNegLP lp,
AbstractReasonerComponent reasoner,
int beam) |
Constructor and Description |
---|
AbstractTDTClassifier(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner,
RefinementOperator op) |
TDTClassifier(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner,
RefinementOperator op) |
Modifier and Type | Method and Description |
---|---|
static void |
Split.split(org.semanticweb.owlapi.model.OWLClassExpression concept,
org.semanticweb.owlapi.model.OWLDataFactory df,
AbstractReasonerComponent reasoner,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> undExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExsT,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negExsT,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> undExsT,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExsF,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negExsF,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> undExsF) |
static void |
Split.splitGroup(org.semanticweb.owlapi.model.OWLClassExpression concept,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
AbstractReasonerComponent reasoner,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExsT,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExsF,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExsU) |
static void |
Split.splitting(org.semanticweb.owlapi.model.OWLDataFactory df,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLIndividual[] trainingExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negExs,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> undExs,
org.semanticweb.owlapi.model.OWLClassExpression classToDescribe2,
boolean binaryClassification) |
Constructor and Description |
---|
ELDescriptionTree(AbstractReasonerComponent rs) |
ELDescriptionTree(AbstractReasonerComponent rs,
org.semanticweb.owlapi.model.OWLClassExpression ce)
Constructs an EL description tree from an EL class expression.
|
ELLearningAlgorithm(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner) |
ELLearningAlgorithmDisjunctive(AbstractClassExpressionLearningProblem problem,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
Psi(PosNegLP learningProblem,
AbstractReasonerComponent reasoningService) |
Constructor and Description |
---|
DescriptionLinearClassifier(ClassLearningProblem lp,
AbstractReasonerComponent rc) |
DescriptionLinearClassifier(PosNegLP lp,
AbstractReasonerComponent rc) |
DescriptionLinearClassifier(Set<org.semanticweb.owlapi.model.OWLIndividual> posExamples,
Set<org.semanticweb.owlapi.model.OWLIndividual> negExamples,
AbstractReasonerComponent rc) |
MILES(AbstractCELA la,
ClassLearningProblem lp,
AbstractReasonerComponent rc) |
MILES(AbstractCELA la,
PosNegLP lp,
AbstractReasonerComponent rc) |
Constructor and Description |
---|
OCEL(PosNegLP learningProblem,
AbstractReasonerComponent reasoningService) |
OCEL(PosOnlyLP learningProblem,
AbstractReasonerComponent reasoningService) |
SubsumptionComparator(AbstractReasonerComponent rs) |
Modifier and Type | Method and Description |
---|---|
static boolean |
QueryTreeUtils.isSubsumedBy(RDFResourceTree tree1,
RDFResourceTree tree2,
AbstractReasonerComponent reasoner,
boolean typeNode)
Determines if tree1 is subsumed by tree2, i.e.
|
static boolean |
QueryTreeUtils.isSubsumedBy(RDFResourceTree tree1,
RDFResourceTree tree2,
Entailment entailment,
AbstractReasonerComponent reasoner) |
static boolean |
QueryTreeUtils.keepMostSpecificTypes(RDFResourceTree tree,
AbstractReasonerComponent reasoner)
Prune the rdf:type nodes such that only the most specific types remain w.r.t.
|
static RDFResourceTree |
QueryTreeUtils.materializePropertyDomains(RDFResourceTree tree,
AbstractReasonerComponent reasoner) |
static RDFResourceTree |
QueryTreeUtils.materializeTypes(RDFResourceTree tree,
AbstractReasonerComponent reasoner)
Adds all rdf:type statements to each node based on the domain and range of the edges as well as the subClassOf
relations between all existing types.
|
static void |
QueryTreeUtils.prune(RDFResourceTree tree,
AbstractReasonerComponent reasoner,
Entailment entailment)
Remove trivial statements according to the given entailment semantics:
|
void |
QTL2DisjunctiveMultiThreaded.setReasoner(AbstractReasonerComponent reasoner) |
void |
QTL2Disjunctive.setReasoner(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
QTL2Disjunctive(PosNegLP learningProblem,
AbstractReasonerComponent reasoner) |
QTL2DisjunctiveMultiThreaded(PosNegLP learningProblem,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
LGGGeneratorRDFS(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
MostSpecificTypesFilter(AbstractReasonerComponent reasoner) |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
CLI.getReasonerComponent() |
Modifier and Type | Method and Description |
---|---|
int |
CrossValidation2.getCorrectNegClassified(AbstractReasonerComponent rs,
org.semanticweb.owlapi.model.OWLClassExpression concept,
Set<org.semanticweb.owlapi.model.OWLIndividual> testSetNeg) |
Constructor and Description |
---|
CrossValidation(AbstractCELA la,
AbstractClassExpressionLearningProblem lp,
AbstractReasonerComponent rs,
int folds,
boolean leaveOneOut) |
CrossValidation2(AbstractCELA la,
AbstractClassExpressionLearningProblem lp,
AbstractReasonerComponent rs,
int folds,
boolean leaveOneOut) |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
AbstractLearningProblem.getReasoner()
Implementations of learning problems can use this class
variable to perform reasoner operations.
|
AbstractReasonerComponent |
AbstractCELA.getReasoner()
The reasoning service variable, which must be used by
all learning algorithm implementations.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractLearningProblem.changeReasonerComponent(AbstractReasonerComponent reasoner)
Method to exchange the reasoner underlying the learning
problem.
|
void |
AbstractCELA.changeReasonerComponent(AbstractReasonerComponent reasoningService)
Call this when you want to change the reasoning service, but
leave everything else as is.
|
void |
AbstractClassExpressionLearningProblem.changeReasonerComponent(AbstractReasonerComponent reasoner) |
void |
AbstractLearningProblem.setReasoner(AbstractReasonerComponent reasoner) |
void |
AbstractCELA.setReasoner(AbstractReasonerComponent reasoner) |
void |
AbstractClassExpressionLearningProblem.setReasoner(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
AbstractCELA(AbstractClassExpressionLearningProblem learningProblem,
AbstractReasonerComponent reasoningService)
Each learning algorithm gets a learning problem and
a reasoner as input.
|
AbstractClassExpressionLearningProblem(AbstractReasonerComponent reasoner)
Constructs a learning problem using a reasoning service for
querying the background knowledge.
|
AbstractLearningProblem(AbstractReasonerComponent reasoner)
Constructs a learning problem using a reasoning service for
querying the background knowledge.
|
Constructor and Description |
---|
LazyClassHierarchy(AbstractReasonerComponent rc) |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
ExampleLoader.getReasonerComponent() |
Modifier and Type | Method and Description |
---|---|
void |
ExampleLoader.setReasonerComponent(AbstractReasonerComponent reasonerComponent) |
Constructor and Description |
---|
ClassExpressionLearningProblem(AbstractReasonerComponent reasoner) |
ClassLearningProblem(AbstractReasonerComponent reasoner) |
FuzzyPosNegLP(AbstractReasonerComponent reasoningService) |
FuzzyPosNegLPStandard(AbstractReasonerComponent reasoningService) |
FuzzyPosNegLPStandard(AbstractReasonerComponent reasoningService,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveExamples,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negativeExamples) |
PosNegLP(AbstractReasonerComponent reasoningService) |
PosNegLPStandard(AbstractReasonerComponent reasoningService) |
PosNegLPStandard(AbstractReasonerComponent reasoningService,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveExamples,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negativeExamples) |
PosNegLPStrict(AbstractReasonerComponent reasoningService) |
PosNegUndLP(AbstractReasonerComponent reasoner) |
PosNegUndLP(AbstractReasonerComponent reasoningService,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveExamples,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negativeExamples,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> uncertainExamples) |
PosOnlyLP(AbstractReasonerComponent reasoningService) |
PosOnlyLP(AbstractReasonerComponent reasoningService,
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveExamples) |
Modifier and Type | Class and Description |
---|---|
class |
ClosedWorldReasoner
Reasoner for fast instance checks.
|
class |
OWLAPIReasoner
Mapping to OWL API reasoner interface.
|
class |
SPARQLReasoner
A reasoner implementation that provides inference services by the execution
of SPARQL queries on
local files (usually in forms of JENA API models)
remote SPARQL endpoints
|
class |
SPARQLReasonerQuad
Specialised SPARQL Reasoner for specific SPARQL dialects
|
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
RhoDRDown.getReasoner() |
Modifier and Type | Method and Description |
---|---|
void |
RhoDRDown.setReasoner(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
ELDown(AbstractReasonerComponent rs) |
ELDown(AbstractReasonerComponent rs,
boolean instanceBasedDisjoints) |
ELDown(AbstractReasonerComponent rs,
boolean instanceBasedDisjoints,
ClassHierarchy classHierarchy,
ObjectPropertyHierarchy opHierarchy,
DatatypePropertyHierarchy dpHierarchy) |
PsiDown(PosNegLP learningProblem,
AbstractReasonerComponent reasoningService) |
PsiUp(PosNegLP learningProblem,
AbstractReasonerComponent reasoningService) |
Utility(AbstractReasonerComponent rs) |
Utility(AbstractReasonerComponent rs,
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains,
boolean instanceBasedDisjoints) |
Utility(AbstractReasonerComponent rs,
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains,
Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> dpDomains,
boolean instanceBasedDisjoints) |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
ClientState.getReasonerComponent() |
Modifier and Type | Method and Description |
---|---|
int |
ClientState.setReasonerComponent(AbstractReasonerComponent reasonerComponent)
Sets the reasoner component and creates the corresponding
ReasonerComponent instance. |
Modifier and Type | Method and Description |
---|---|
AbstractReasonerComponent |
ReasoningUtils.getReasoner() |
Modifier and Type | Method and Description |
---|---|
static boolean |
Helper.checkConceptEntities(AbstractReasonerComponent rc,
org.semanticweb.owlapi.model.OWLClassExpression ce)
Checks whether all entities in the given class expression do also occur in the knowledge base.
|
static org.semanticweb.owlapi.model.OWLClass |
Helper.checkConcepts(AbstractReasonerComponent rs,
Set<org.semanticweb.owlapi.model.OWLClass> concepts)
Checks whether the roles exist in background knowledge
|
static <T extends org.semanticweb.owlapi.model.OWLEntity> |
Helper.checkEntities(AbstractReasonerComponent rs,
Set<T> entities)
Checks whether the entities exist in background knowledge
|
static void |
Helper.checkIndividuals(AbstractReasonerComponent reasoner,
Set<org.semanticweb.owlapi.model.OWLIndividual> individuals) |
static org.semanticweb.owlapi.model.OWLObjectProperty |
Helper.checkRoles(AbstractReasonerComponent rs,
Set<org.semanticweb.owlapi.model.OWLObjectProperty> roles)
Checks whether the roles exist in background knowledge
|
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpander(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpander(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
boolean sfp) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpanderChecked(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory df,
boolean sfp,
org.slf4j.Logger logger) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpanderChecked(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory df,
org.slf4j.Logger logger) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpanderChecked(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory df,
Supplier<org.semanticweb.owlapi.model.OWLClassExpression> defaultClass,
org.slf4j.Logger logger) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.classExpressionPropertyExpanderChecked(org.semanticweb.owlapi.model.OWLClassExpression startClass,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory df,
Supplier<org.semanticweb.owlapi.model.OWLClassExpression> defaultClass,
org.slf4j.Logger logger,
boolean sfp) |
static Set<org.semanticweb.owlapi.model.OWLClass> |
Helper.computeConcepts(AbstractReasonerComponent rs) |
static Set<org.semanticweb.owlapi.model.OWLClass> |
Helper.computeConceptsUsingIgnoreList(AbstractReasonerComponent rs,
Set<org.semanticweb.owlapi.model.OWLClass> ignoredConcepts) |
static <T extends org.semanticweb.owlapi.model.OWLEntity> |
Helper.computeEntities(AbstractReasonerComponent rs,
org.semanticweb.owlapi.model.EntityType<T> entityType) |
static <T extends org.semanticweb.owlapi.model.OWLEntity> |
Helper.computeEntitiesUsingIgnoreList(AbstractReasonerComponent rs,
org.semanticweb.owlapi.model.EntityType<T> entityType,
Set<T> ignoredEntites) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.fromManchester(String expr,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
static org.semanticweb.owlapi.model.OWLClassExpression |
OWLAPIUtils.fromManchester(String expr,
AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
boolean shortForm) |
static <E extends org.semanticweb.owlapi.model.OWLEntity> |
NonStandardReasoningServices.getLeastCommonSubsumer(AbstractReasonerComponent reasoner,
E e1,
E e2)
Computes the least common subsumer (LCS) of the given entities
e1 and e2 if exists,
otherwise null |
static <E extends org.semanticweb.owlapi.model.OWLEntity> |
NonStandardReasoningServices.getLeastCommonSubsumer(AbstractReasonerComponent reasoner,
org.apache.jena.graph.Node n1,
org.apache.jena.graph.Node n2,
org.semanticweb.owlapi.model.EntityType<E> entityType)
Computes the least common subsumer (LCS) of the given entities
e1 and e2 if exists,
otherwise null |
void |
ReasoningUtils.setReasoner(AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
ReasoningUtils(AbstractReasonerComponent reasoner)
create new reasoning utils
|
ReasoningUtilsCLP(ClassLearningProblem problem,
AbstractReasonerComponent reasoner) |
Constructor and Description |
---|
DescriptionSubsumptionTree(AbstractReasonerComponent rc) |
Constructor and Description |
---|
AutomaticNegativeExampleFinderOWL(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fullPositiveSet,
AbstractReasonerComponent reasoningService)
takes as input a full positive set to make sure no negatives are added as positives
|
AutomaticPositiveExampleFinderOWL(AbstractReasonerComponent reasoningService) |
Constructor and Description |
---|
UsedEntitiesDetection(AbstractReasonerComponent reasoner,
Set<org.semanticweb.owlapi.model.OWLIndividual> individuals,
int maxDepth)
Computes used properties in classes.
|
Modifier and Type | Method and Description |
---|---|
static org.semanticweb.owlapi.model.OWLClassExpression |
ConceptTransformation.replaceRange(org.semanticweb.owlapi.model.OWLClassExpression description,
AbstractReasonerComponent rs) |
Constructor and Description |
---|
OWLClassExpressionMinimizer(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
AbstractReasonerComponent reasoner) |
SimpleOWLEntityChecker(AbstractReasonerComponent rc) |
Constructor and Description |
---|
AbstractDateTimeValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
AbstractNumericValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
AbstractValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
AbstractValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
int maxNrOfSplits) |
DefaultDateTimeValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
int maxNrOfSplits) |
DefaultNumericValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
DefaultNumericValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
int maxNrOfSplits) |
OptimizedNumericValuesSplitter(AbstractReasonerComponent reasoner,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
PosNegLP lp) |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann