org.mindswap.pellet.tableau.completion
Class EmptySRIQStrategy
java.lang.Object
org.mindswap.pellet.tableau.completion.CompletionStrategy
org.mindswap.pellet.tableau.completion.EmptySRIQStrategy
public class EmptySRIQStrategy
- extends CompletionStrategy
Completion strategy for a SRIQ KB that does not have individuals in the ABox.
When ABox is empty completion always starts with a single root individual
that represents the concept whose satisfiability is being searched.
- Author:
- Evren Sirin
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
addEdge, addType, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, mergeAll, mergeTo, toString |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
EmptySRIQStrategy
public EmptySRIQStrategy(ABox abox)
initialize
public void initialize(Expressivity expressivity)
- Overrides:
initialize
in class CompletionStrategy
complete
public void complete(Expressivity expr)
- Description copied from class:
CompletionStrategy
- apply all the tableau rules to the designated ABox
- Specified by:
complete
in class CompletionStrategy
restoreLocal
public void restoreLocal(Individual ind,
Branch br)
- Overrides:
restoreLocal
in class CompletionStrategy
restore
public void restore(Branch br)
- Overrides:
restore
in class CompletionStrategy
addBranch
public void addBranch(Branch newBranch)
- Overrides:
addBranch
in class CompletionStrategy
Copyright © 2004 Evren Sirin. All Rights Reserved.