uk.ac.manchester.cs.jfact.split

Class KnowledgeExplorer

java.lang.Object

uk.ac.manchester.cs.jfact.split.KnowledgeExplorer

@PortedFrom(file="KnowledgeExplorer.h",
            name="KnowledgeExplorer")
public class KnowledgeExplorer
extends Object

Constructor Summary

Constructors

Constructor and Description
KnowledgeExplorer(TBox box, ExpressionManager pEM)

Method Summary

Methods

Modifier and Type	Method and Description
List<DataExpression>	getDataLabel(DlCompletionTree node, boolean onlyDet)
Set<RoleExpression>	getDataRoles(DlCompletionTree node, boolean onlyDet)
List<DlCompletionTree>	getNeighbours(DlCompletionTree node, Role R) build the set of neighbours of a NODE via role ROLE; put the resulting list into RESULT
List<ConceptExpression>	getObjectLabel(DlCompletionTree node, boolean onlyDet) put into RESULT all the data expressions from the NODE label
Set<RoleExpression>	getObjectRoles(DlCompletionTree node, boolean onlyDet, boolean needIncoming) build the set of object neighbours of a NODE; incoming edges are counted iff NEEDINCOMING is true

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KnowledgeExplorer

public KnowledgeExplorer(TBox box,
                 ExpressionManager pEM)

Method Detail

getDataRoles

@PortedFrom(file="KnowledgeExplorer.h",
            name="getDataRoles")
public Set<RoleExpression> getDataRoles(DlCompletionTree node,
                                                  boolean onlyDet)

getObjectRoles

@PortedFrom(file="KnowledgeExplorer.h",
            name="getObjectRoles")
public Set<RoleExpression> getObjectRoles(DlCompletionTree node,
                                                    boolean onlyDet,
                                                    boolean needIncoming)

build the set of object neighbours of a NODE; incoming edges are counted iff NEEDINCOMING is true

getNeighbours

@PortedFrom(file="KnowledgeExplorer.h",
            name="getNeighbours")
public List<DlCompletionTree> getNeighbours(DlCompletionTree node,
                                                      Role R)

build the set of neighbours of a NODE via role ROLE; put the resulting list into RESULT

getObjectLabel

@PortedFrom(file="KnowledgeExplorer.h",
            name="getLabel")
public List<ConceptExpression> getObjectLabel(DlCompletionTree node,
                                                        boolean onlyDet)

put into RESULT all the data expressions from the NODE label

getDataLabel

@PortedFrom(file="KnowledgeExplorer.h",
            name="getLabel")
public List<DataExpression> getDataLabel(DlCompletionTree node,
                                                   boolean onlyDet)