org.mindswap.pellet.tableau.completion

Class SROIQStrategy

java.lang.Object

org.mindswap.pellet.tableau.completion.CompletionStrategy

org.mindswap.pellet.tableau.completion.SROIQStrategy

Direct Known Subclasses:

ContinuousRulesStrategy, SROIQIncStrategy

public class SROIQStrategy
extends CompletionStrategy

Title:

Description:

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy

abox, allValuesRule, blocking, chooseRule, completionTimer, dataCardRule, dataSatRule, disjunctionRule, guessRule, log, maxRule, mergeList, minRule, nominalRule, selfRule, someValuesRule, tableauRules, tbox, timers, unfoldingRule

Constructor Summary

Constructors

Constructor and Description
SROIQStrategy(ABox abox)

Method Summary

Modifier and Type	Method and Description
protected boolean	backtrack()
void	complete(Expressivity expr) apply all the tableau rules to the designated ABox

Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy

addAllRules, addBranch, addEdge, addType, applyFunctionalMaxRule, checkTimer, configureTableauRules, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, implicitNominals, initialize, mergeAll, mergeIndividuals, mergeLiterals, mergeTo, restore, restoreAllValues, restoreLocal, setDifferent, toString, updateQueueAddEdge

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SROIQStrategy

public SROIQStrategy(ABox abox)

Method Detail

backtrack

protected boolean backtrack()

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