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

Nested Class Summary

Nested classes/interfaces inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

AbstractTableauRule.BlockingType

Field Summary

Fields inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

blockingType, log, nodeSelector, strategy

Constructor Summary

Constructors

Constructor and Description
AllValuesRule(CompletionStrategy strategy)

Method Summary

Modifier and Type	Method and Description
void	apply(Individual x)
void	applyAllValues(Individual x, aterm.ATermAppl av, DependencySet ds) Apply the allValues rule for the given type with the given dependency.
protected void	applyAllValues(Individual subj, Role pred, Node obj, aterm.ATermAppl c, DependencySet ds)
void	applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)
protected boolean	applyAllValuesPropertyChain(Individual x, aterm.ATermList chain, aterm.ATermAppl c, DependencySet ds)

Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

addQueueElement, apply, isBlocked, isDisabled

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AllValuesRule

public AllValuesRule(CompletionStrategy strategy)

Method Detail

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 -

applyAllValuesPropertyChain

protected boolean applyAllValuesPropertyChain(Individual x,
                                              aterm.ATermList chain,
                                              aterm.ATermAppl c,
                                              DependencySet ds)

applyAllValues

protected void applyAllValues(Individual subj,
                              Role pred,
                              Node obj,
                              aterm.ATermAppl c,
                              DependencySet ds)

applyAllValues

public void applyAllValues(Individual subj,
                           Role pred,
                           Node obj,
                           DependencySet ds)