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.
|
Class and Description |
---|
ClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
DatatypePropertyHierarchy
Represents a hierarchy of datatype properties.
|
Hierarchy |
ObjectPropertyHierarchy
Represents a hierarchy of object properties (roles in Description Logics).
|
Class and Description |
---|
AbstractHierarchy |
ClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
DatatypePropertyHierarchy
Represents a hierarchy of datatype properties.
|
Hierarchy |
LazyClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
ObjectPropertyHierarchy
Represents a hierarchy of object properties (roles in Description Logics).
|
OWLNaryBooleanClassExpressionImplExt |
Class and Description |
---|
ClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
DatatypePropertyHierarchy
Represents a hierarchy of datatype properties.
|
ObjectPropertyHierarchy
Represents a hierarchy of object properties (roles in Description Logics).
|
Class and Description |
---|
ClassHierarchy
Represents a class subsumption hierarchy (ignoring equivalent concepts).
|
DatatypePropertyHierarchy
Represents a hierarchy of datatype properties.
|
ObjectPropertyHierarchy
Represents a hierarchy of object properties (roles in Description Logics).
|
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann