org.mindswap.pellet
Class Node

java.lang.Object
  extended by org.mindswap.pellet.Node
Direct Known Subclasses:
Individual, Literal

public abstract class Node
extends java.lang.Object

Author:
initial version for OWL - Evren Sirin, updates for OWLMeT - NataKeberle

Field Summary
static int ALL
           
static int ALLFUT
           
static int ALLPAST
           
static int AT
           
static int ATOM
           
static int BLOCKABLE
           
static int CHANGED
           
static boolean DEBUG
           
static int FUT
           
static int MAX
           
static int MIN
           
static int NOM
           
static int NOMINAL
           
static int OR
           
static int PAST
           
static int SOME
           
static int SOMEFUT
           
static int SOMEPAST
           
static int TYPES
           
static int UNCHANGED
           
 
Method Summary
 void addType(aterm.ATermAppl c, DependencySet ds)
           
 void addType(aterm.ATermAppl c, DependencySet ds, int moment)
          09/11/08 addType(c, ds,moment)
 Node copy()
           
abstract  Node copyTo(ABox abox)
           
 boolean equals(java.lang.Object obj)
           
 ABox getABox()
          getABox
 java.util.Map getDepends()
           
 DependencySet getDepends(aterm.ATerm c)
           
 DependencySet getDifferenceDependency(Node node)
           
 java.util.Set getDifferents()
           
 EdgeList getInEdges()
           
 DependencySet getMergeDependency(boolean all)
          Get the dependency if this node is merged to another node.
 Node getMergedTo()
           
 aterm.ATermAppl getName()
           
 java.lang.String getNameStr()
           
abstract  int getNominalLevel()
           
 java.lang.String getOntology()
           
 Individual getParent()
           
 java.util.List getPath()
          A string that identifies this node either using its name or the path of individuals that comes to this node.
 java.util.Set getPredecessors()
           
 DependencySet getPruned()
           
 Node getSame()
           
abstract  aterm.ATermAppl getTerm()
           
 java.util.Set getTypes()
           
 boolean hasObviousType(aterm.ATermAppl c)
           
 boolean hasObviousType(java.util.Collection coll)
           
abstract  boolean hasSuccessor(Node x)
           
 boolean hasType(aterm.ATerm c)
           
 void inheritDifferents(Node y, DependencySet ds)
           
abstract  boolean isBlockable()
           
 boolean isBnode()
           
 boolean isChanged()
           
 boolean isChanged(int type)
           
 boolean isConceptRoot()
          Returns true if this is the node created for the concept satisfiability check.
 boolean isDifferent(Node node)
           
abstract  boolean isIndividual()
           
abstract  boolean isLeaf()
           
abstract  boolean isLiteral()
           
 boolean isMerged()
           
 boolean isNamedIndividual()
           
abstract  boolean isNominal()
           
 boolean isPruned()
           
 boolean isRoot()
           
 boolean isRootNominal()
           
 boolean isSame(Node node)
           
 int mergedAt()
           
abstract  void prune(DependencySet ds)
           
 int prunedAt()
           
 boolean removeInEdge(Edge edge)
           
 void removeInEdges()
           
 void removeType(aterm.ATermAppl c)
           
 void removeTypes()
           
 boolean restore(int branch)
           
 void setChanged(boolean changed)
           
 void setChanged(int type, boolean changed)
           
 void setConceptRoot(boolean isConceptRoot)
           
 void setDifferent(Node node, DependencySet ds)
           
 void setOntology(java.lang.String ont)
           
 void setSame(Node node, DependencySet ds)
           
 java.lang.String toString()
           
 void undoSetSame()
           
 void unprune(int branch)
           
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

DEBUG

public static boolean DEBUG

BLOCKABLE

public static int BLOCKABLE

NOMINAL

public static int NOMINAL

CHANGED

public static int CHANGED

UNCHANGED

public static int UNCHANGED

ATOM

public static int ATOM

OR

public static int OR

SOME

public static int SOME

ALL

public static int ALL

MIN

public static int MIN

MAX

public static int MAX

NOM

public static int NOM

FUT

public static int FUT

PAST

public static int PAST

AT

public static int AT

ALLFUT

public static int ALLFUT

ALLPAST

public static int ALLPAST

SOMEFUT

public static int SOMEFUT

SOMEPAST

public static int SOMEPAST

TYPES

public static int TYPES
Method Detail

copy

public final Node copy()

isChanged

public final boolean isChanged()

isChanged

public final boolean isChanged(int type)

setChanged

public final void setChanged(boolean changed)

setOntology

public void setOntology(java.lang.String ont)

getOntology

public java.lang.String getOntology()

setChanged

public void setChanged(int type,
                       boolean changed)

isConceptRoot

public boolean isConceptRoot()
Returns true if this is the node created for the concept satisfiability check.

Returns:

setConceptRoot

public void setConceptRoot(boolean isConceptRoot)

isBnode

public final boolean isBnode()

isNamedIndividual

public final boolean isNamedIndividual()

isRoot

public final boolean isRoot()

isLeaf

public abstract boolean isLeaf()

isRootNominal

public boolean isRootNominal()

copyTo

public abstract Node copyTo(ABox abox)

getInEdges

public EdgeList getInEdges()

removeInEdge

public boolean removeInEdge(Edge edge)

removeInEdges

public void removeInEdges()

restore

public boolean restore(int branch)

addType

public void addType(aterm.ATermAppl c,
                    DependencySet ds)

addType

public void addType(aterm.ATermAppl c,
                    DependencySet ds,
                    int moment)
09/11/08 addType(c, ds,moment)


removeType

public void removeType(aterm.ATermAppl c)

hasType

public boolean hasType(aterm.ATerm c)

hasObviousType

public boolean hasObviousType(aterm.ATermAppl c)

hasObviousType

public boolean hasObviousType(java.util.Collection coll)

getParent

public Individual getParent()

getPredecessors

public final java.util.Set getPredecessors()

hasSuccessor

public abstract boolean hasSuccessor(Node x)

getDepends

public final DependencySet getDepends(aterm.ATerm c)

getDepends

public final java.util.Map getDepends()

getTypes

public final java.util.Set getTypes()

removeTypes

public void removeTypes()

prunedAt

public final int prunedAt()

isPruned

public final boolean isPruned()

getPruned

public final DependencySet getPruned()

prune

public abstract void prune(DependencySet ds)

unprune

public void unprune(int branch)

getNominalLevel

public abstract int getNominalLevel()

isNominal

public abstract boolean isNominal()

isBlockable

public abstract boolean isBlockable()

isLiteral

public abstract boolean isLiteral()

isIndividual

public abstract boolean isIndividual()

mergedAt

public final int mergedAt()

isMerged

public final boolean isMerged()

getMergedTo

public final Node getMergedTo()

getMergeDependency

public DependencySet getMergeDependency(boolean all)
Get the dependency if this node is merged to another node. This node may be merged to another node which is later merged to another node and so on. This function may return the dependency for the first step or the union of all steps.


getSame

public Node getSame()

undoSetSame

public void undoSetSame()

setSame

public final void setSame(Node node,
                          DependencySet ds)

isSame

public boolean isSame(Node node)

isDifferent

public boolean isDifferent(Node node)

getDifferents

public java.util.Set getDifferents()

getDifferenceDependency

public DependencySet getDifferenceDependency(Node node)

setDifferent

public void setDifferent(Node node,
                         DependencySet ds)

inheritDifferents

public void inheritDifferents(Node y,
                              DependencySet ds)

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object

getName

public final aterm.ATermAppl getName()

getTerm

public abstract aterm.ATermAppl getTerm()

getNameStr

public final java.lang.String getNameStr()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getPath

public final java.util.List getPath()
A string that identifies this node either using its name or the path of individuals that comes to this node. For example, a node that has been generated by the completion rules needs to be identified with respect to a named individual. Ultimately, we need the shortest path or something like that but right now we just use the first inEdge

Returns:

getABox

public ABox getABox()
getABox

Returns:


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.