uk.ac.manchester.cs.jfact

Class KnowledgeExplorer

java.lang.Object

uk.ac.manchester.cs.jfact.KnowledgeExplorer

All Implemented Interfaces:

Serializable

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

knowledge explorer

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
KnowledgeExplorer(TBox box, ExpressionCache pEM)

Method Summary

Modifier and Type	Method and Description
DlCompletionTree	getBlocker(DlCompletionTree node)
List<DataExpression>	getDataLabel(DlCompletionTree node, boolean onlyDet)
Set<DataRoleExpression>	getDataRoles(DlCompletionTree node, boolean onlyDet)
List<DlCompletionTree>	getNeighbours(DlCompletionTree node, Role no)
List<ConceptExpression>	getObjectLabel(DlCompletionTree node, boolean onlyDet)
Set<ObjectRoleExpression>	getObjectRoles(DlCompletionTree node, boolean onlyDet, boolean needIncoming)

Methods inherited from class java.lang.Object

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

Constructor Detail

KnowledgeExplorer

public KnowledgeExplorer(TBox box,
                         ExpressionCache pEM)

Parameters:

box - box

pEM - pEM

Method Detail

getDataRoles

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

Parameters:

node - node

onlyDet - onlyDet

Returns:

set of data roles

getObjectRoles

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

Parameters:

node - node

onlyDet - onlyDet

needIncoming - needIncoming

Returns:

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 no)

Parameters:

node - node

no - R

Returns:

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)

Parameters:

node - node

onlyDet - onlyDet

Returns:

all the data expressions from the NODE label

getDataLabel

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

Parameters:

node - node

onlyDet - onlyDet

Returns:

list of data labels

getBlocker

@PortedFrom(file="KnowledgeExplorer.h",
            name="getBlocker")
public DlCompletionTree getBlocker(DlCompletionTree node)

Parameters:

node - node

Returns:

blocker of a blocked node NODE or NULL if node is not blocked