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

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

public class SimpleAllValuesRule
extends AllValuesRule

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
SimpleAllValuesRule(CompletionStrategy strategy)
           
 
Method Summary
 void applyAllValues(Individual x, aterm.ATermAppl av, DependencySet ds)
          Apply the allValues rule for the given type with the given dependency.
 void applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)
           
 
Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AllValuesRule
apply
 
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

SimpleAllValuesRule

public SimpleAllValuesRule(CompletionStrategy strategy)
Method Detail

applyAllValues

public void applyAllValues(Individual x,
                           aterm.ATermAppl av,
                           DependencySet ds)
Description copied from class: AllValuesRule
Apply the allValues rule for the given type with the given dependency. The concept is in the form all(r,C) and this function adds C to all r-neighbors of x

Overrides:
applyAllValues in class AllValuesRule

applyAllValues

public void applyAllValues(Individual subj,
                           Role pred,
                           Node obj,
                           DependencySet ds)
Overrides:
applyAllValues in class AllValuesRule


Copyright © 2004 Evren Sirin. All Rights Reserved.