Package | Description |
---|---|
org.dllearner.cli |
DL-Learner command line interface.
|
org.dllearner.cli.unife | |
org.dllearner.core |
Core structure of DL-Learner including the definition of component types and a component manager.
|
org.dllearner.reasoning |
Implements the connection to other reasoner or own reasoning/caching algorithms.
|
Modifier and Type | Method and Description |
---|---|
static void |
CLI.main(String[] args) |
Modifier and Type | Method and Description |
---|---|
static void |
CLIDistributedLEAP.main(String[] args) |
static void |
CLILEAP.main(String[] args) |
Modifier and Type | Method and Description |
---|---|
DatatypePropertyHierarchy |
AbstractReasonerComponent.prepareDatatypePropertyHierarchy()
Creates the data property hierarchy.
|
ObjectPropertyHierarchy |
AbstractReasonerComponent.prepareObjectPropertyHierarchy()
Creates the object property hierarchy.
|
ClassHierarchy |
AbstractReasonerComponent.prepareSubsumptionHierarchy()
Creates the class hierarchy.
|
Modifier and Type | Method and Description |
---|---|
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
ClosedWorldReasoner.getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression concept) |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
ClosedWorldReasoner.getIndividualsImplFast(org.semanticweb.owlapi.model.OWLClassExpression description) |
boolean |
ClosedWorldReasoner.hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression description,
org.semanticweb.owlapi.model.OWLIndividual individual) |
DatatypePropertyHierarchy |
SPARQLReasoner.prepareDatatypePropertyHierarchy() |
ObjectPropertyHierarchy |
SPARQLReasoner.prepareObjectPropertyHierarchy() |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann