org.mindswap.pellet
Class CompletionStrategy

java.lang.Object
  extended by org.mindswap.pellet.CompletionStrategy
Direct Known Subclasses:
EconnSHIONStrategy, EmptySHNStrategy, OWLTStrategy, PECSHIONStrategy, SHOINStrategy

public abstract class CompletionStrategy
extends java.lang.Object

A completion strategy specifies how the tableau rules will be applied to an ABox. Depending on the expressivity of the KB, e.g. SHIN, SHON, etc., different (more efficient) strategies may be used. This class is the base for all different implementations and contains strategy independent functions.

Author:
Evren Sirin

Constructor Summary
CompletionStrategy(ABox abox, Blocking blocking)
           
 
Method Summary
 void addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
           
 void addType(Node node, aterm.ATermAppl c, DependencySet ds)
           
 void initialize()
           
 void mergeTo(Node y, Node z, DependencySet ds)
           
 void restore(org.mindswap.pellet.Branch br)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CompletionStrategy

public CompletionStrategy(ABox abox,
                          Blocking blocking)
Method Detail

initialize

public void initialize()

addType

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

addEdge

public void addEdge(Individual subj,
                    Role pred,
                    Node obj,
                    DependencySet ds)

mergeTo

public void mergeTo(Node y,
                    Node z,
                    DependencySet ds)

restore

public void restore(org.mindswap.pellet.Branch br)

toString

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


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