Package | Description |
---|---|
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.reasoning |
Implements the connection to other reasoner or own reasoning/caching algorithms.
|
org.dllearner.refinementoperators |
Refinement operator implementations.
|
Modifier and Type | Method and Description |
---|---|
ClassHierarchy |
AbstractReasonerComponent.getClassHierarchy() |
ClassHierarchy |
AbstractReasonerComponent.prepareSubsumptionHierarchy()
Creates the class hierarchy.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractReasonerComponent.setSubsumptionHierarchy(ClassHierarchy subsumptionHierarchy) |
Modifier and Type | Class and Description |
---|---|
class |
LazyClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
Modifier and Type | Method and Description |
---|---|
ClassHierarchy |
ClassHierarchy.clone() |
Modifier and Type | Method and Description |
---|---|
ClassHierarchy |
SPARQLReasoner.prepareSubsumptionHierarchy() |
ClassHierarchy |
SPARQLReasoner.prepareSubsumptionHierarchyFast()
Pre-computes the class hierarchy.
|
Modifier and Type | Method and Description |
---|---|
ClassHierarchy |
RhoDRDown.getSubHierarchy() |
Modifier and Type | Method and Description |
---|---|
void |
RhoDRDown.setClassHierarchy(ClassHierarchy classHierarchy) |
void |
CustomHierarchyRefinementOperator.setClassHierarchy(ClassHierarchy classHierarchy) |
void |
RhoDRDown.setSubHierarchy(ClassHierarchy subHierarchy) |
Constructor and Description |
---|
ELDown(AbstractReasonerComponent rs,
boolean instanceBasedDisjoints,
ClassHierarchy classHierarchy,
ObjectPropertyHierarchy opHierarchy,
DatatypePropertyHierarchy dpHierarchy) |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann