org.mindswap.pellet
Class CompletionStrategy
java.lang.Object
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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CompletionStrategy
public CompletionStrategy(ABox abox,
Blocking blocking)
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.