public class ELDescriptionTree extends Object implements Cloneable
ELDescriptionNode
, this is
a tree-wide structure, i.e. it does not implement the tree structure itself,
but is used to store information about the tree.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.
|
public ELDescriptionTree(AbstractReasonerComponent rs)
public ELDescriptionTree(AbstractReasonerComponent rs, org.semanticweb.owlapi.model.OWLClassExpression ce)
ce
- the EL class expressionpublic Set<ELDescriptionNode> getNodesOnLevel(int level)
level
- The level (distance from root node).public org.semanticweb.owlapi.model.OWLClassExpression transformToClassExpression()
public boolean isMinimal()
public int getMaxLevel()
public ELDescriptionNode getRootNode()
public ELDescriptionNode getNode(int[] position)
public boolean checkSC(ELDescriptionNode node1, ELDescriptionNode node2)
public boolean checkSC1(ELDescriptionNode node1, ELDescriptionNode node2)
public boolean checkSC2(ELDescriptionNode node1, ELDescriptionNode node2)
public void extendSimulation(ELDescriptionNode node1, ELDescriptionNode node2)
public void extendSimulationSC1(ELDescriptionNode node1, ELDescriptionNode node2)
public void extendSimulationSC2(ELDescriptionNode node1, ELDescriptionNode node2)
public void extendSimulationSC12(ELDescriptionNode node1, ELDescriptionNode node2)
public void shrinkSimulation(ELDescriptionNode node1, ELDescriptionNode node2)
public void shrinkSimulationSC1(ELDescriptionNode node1, ELDescriptionNode node2)
public void shrinkSimulationSC2(ELDescriptionNode node1, ELDescriptionNode node2)
public void shrinkSimulationSC12(ELDescriptionNode node1, ELDescriptionNode node2)
public String toSimulationString()
public String toSimulationString(Map<ELDescriptionNode,String> nodeNames)
public ELDescriptionTree clone()
public String toDescriptionString()
public Collection<ELDescriptionNode> getNodes()
public int getDepth()
public int getSize()
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann