org.mindswap.pellet.tableau.completion
Class SROIQStrategy

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.CompletionStrategy
      extended by org.mindswap.pellet.tableau.completion.SROIQStrategy
Direct Known Subclasses:
ContinuousRulesStrategy, RuleStrategy, 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
log
 
Constructor Summary
SROIQStrategy(ABox abox)
           
 
Method Summary
 void complete(Expressivity expr)
          apply all the tableau rules to the designated ABox
 
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
addBranch, addEdge, addType, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, mergeTo, restore, restoreLocal, 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


Copyright © 2004 Evren Sirin. All Rights Reserved.