public class ELDown extends RefinementOperatorAdapter
Properties:
Constructor and Description |
---|
ELDown(AbstractReasonerComponent rs) |
ELDown(AbstractReasonerComponent rs,
boolean instanceBasedDisjoints) |
ELDown(AbstractReasonerComponent rs,
boolean instanceBasedDisjoints,
ClassHierarchy classHierarchy,
ObjectPropertyHierarchy opHierarchy,
DatatypePropertyHierarchy dpHierarchy) |
Modifier and Type | Method and Description |
---|---|
boolean |
asCheck(ELDescriptionNode v) |
void |
init()
Method to be called after the component has been configured.
|
List<ELDescriptionTree> |
refine(ELDescriptionTree tree)
Performs downward refinement for the given tree.
|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
refine(org.semanticweb.owlapi.model.OWLClassExpression concept)
Standard refinement operation.
|
void |
setMaxClassExpressionDepth(int maxClassExpressionDepth) |
getLengthMetric, refine, refine, setLengthMetric
isInitialized
public ELDown(AbstractReasonerComponent rs)
public ELDown(AbstractReasonerComponent rs, boolean instanceBasedDisjoints)
public ELDown(AbstractReasonerComponent rs, boolean instanceBasedDisjoints, ClassHierarchy classHierarchy, ObjectPropertyHierarchy opHierarchy, DatatypePropertyHierarchy dpHierarchy)
public void init() throws ComponentInitException
Component
ComponentInitException
- This exception is thrown if any
exceptions occur within the initialisation process of this
component. As component developer, you are encouraged to
re-throw occurring exception as ComponentInitException and
giving an error message as well as the actually exception by
using the constructor ComponentInitException(String, Throwable)
.public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression concept)
RefinementOperator
refine
in interface RefinementOperator
refine
in class RefinementOperatorAdapter
concept
- The description, which will be refined.public List<ELDescriptionTree> refine(ELDescriptionTree tree)
tree
- Input EL description tree.public boolean asCheck(ELDescriptionNode v)
public void setMaxClassExpressionDepth(int maxClassExpressionDepth)
maxClassExpressionDepth
- the max. depth of generated class expressions DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann