org.mindswap.pellet.tableau.completion.rule
Class MaxRule

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
      extended by org.mindswap.pellet.tableau.completion.rule.MaxRule
All Implemented Interfaces:
TableauRule

public class MaxRule
extends AbstractTableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
log
 
Constructor Summary
MaxRule(CompletionStrategy strategy)
           
 
Method Summary
 void apply(Individual x)
          Apply max rule to the individual.
 void applyFunctionalMaxRule(Individual x, Role s, aterm.ATermAppl c, DependencySet ds)
           
 
Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
apply, isDisabled
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MaxRule

public MaxRule(CompletionStrategy strategy)
Method Detail

apply

public void apply(Individual x)
Apply max rule to the individual.


applyFunctionalMaxRule

public void applyFunctionalMaxRule(Individual x,
                                   Role s,
                                   aterm.ATermAppl c,
                                   DependencySet ds)


Copyright © 2004 Evren Sirin. All Rights Reserved.