org.mindswap.pellet.tableau.completion.rule
Class AllValuesRule
java.lang.Object
org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
org.mindswap.pellet.tableau.completion.rule.AllValuesRule
- All Implemented Interfaces:
- TableauRule
- Direct Known Subclasses:
- SimpleAllValuesRule
public class AllValuesRule
- extends AbstractTableauRule
Title:
Description:
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AllValuesRule
public AllValuesRule(CompletionStrategy strategy)
apply
public void apply(Individual x)
applyAllValues
public void applyAllValues(Individual x,
aterm.ATermAppl av,
DependencySet ds)
- 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
- Parameters:
x
- av
- ds
-
applyAllValues
public void applyAllValues(Individual subj,
Role pred,
Node obj,
DependencySet ds)
Copyright © 2004 Evren Sirin. All Rights Reserved.