org.mindswap.pellet.tableau.branch
Class GuessBranch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.IndividualBranch
org.mindswap.pellet.tableau.branch.GuessBranch
public class GuessBranch
- extends IndividualBranch
Title:
Description:
Copyright: Copyright (c) 2006
Company: Clark & Parsia, LLC.
- Author:
- Evren sirin
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch |
log |
Methods inherited from class org.mindswap.pellet.tableau.branch.Branch |
getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setLastClash, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, tryNext |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
GuessBranch
public GuessBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int minGuess,
int maxGuess,
aterm.ATermAppl q,
DependencySet ds)
copyTo
public IndividualBranch copyTo(ABox abox)
- Specified by:
copyTo
in class Branch
toString
public java.lang.String toString()
- Overrides:
toString
in class Branch
shiftTryNext
public void shiftTryNext(int openIndex)
- Added for to re-open closed branches.
This is needed for incremental reasoning through deletions
Currently this method does nothing as we cannot support incremental reasoning when
both nominals and inverses are used - this is the only case when the guess rule is needed.
- Specified by:
shiftTryNext
in class Branch
- Parameters:
index
- The shift index
Copyright © 2004 Evren Sirin. All Rights Reserved.