Package openllet.core.tableau.completion

Class SROIQStrategy

java.lang.Object

openllet.core.tableau.completion.CompletionStrategy

openllet.core.tableau.completion.SROIQStrategy

Direct Known Subclasses:

ContinuousRulesStrategy, SROIQIncStrategy

public class SROIQStrategy
extends CompletionStrategy

https://lat.inf.tu-dresden.de/~baader/Talks/Tableaux2000.pdf

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields inherited from class openllet.core.tableau.completion.CompletionStrategy

_logger

Constructor Summary

Constructors

Constructor	Description
SROIQStrategy(ABox abox)

Method Summary

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

Methods inherited from class openllet.core.tableau.completion.CompletionStrategy

addBranch, addEdge, addType, applyDomainRange, applyFunctionality, applyPropertyRestrictions, applyPropertyRestrictions, applyUniversalRestrictions, checkReflexivitySymmetry, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, mergeTo, printBlocked, restore, restoreLocal, setDifferent, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SROIQStrategy

public SROIQStrategy(ABox abox)

Method Detail

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

Parameters:

expr - of the tableau