org.mindswap.pellet.tableau.completion.rule
Class SimpleAllValuesRule
java.lang.Object
org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
org.mindswap.pellet.tableau.completion.rule.AllValuesRule
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
Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AllValuesRule |
apply |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SimpleAllValuesRule
public SimpleAllValuesRule(CompletionStrategy strategy)
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.