Package openllet.core.tableau.completion.rule

Class SimpleAllValuesRule

java.lang.Object

openllet.core.tableau.completion.rule.AbstractTableauRule

openllet.core.tableau.completion.rule.AllValuesRule

openllet.core.tableau.completion.rule.SimpleAllValuesRule

All Implemented Interfaces:

TableauRule

public class SimpleAllValuesRule
extends AllValuesRule

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields inherited from class openllet.core.tableau.completion.rule.AbstractTableauRule

_logger

Constructor Summary

Constructors

Constructor	Description
SimpleAllValuesRule(CompletionStrategy strategy)

Method Summary

Modifier and Type	Method	Description
void	applyAllValues(Individual x, openllet.aterm.ATermAppl av, DependencySet ds)	Apply the all Values rule for the given type with the given dependency.
void	applyAllValues(Individual subj, Role pred, Node obj, DependencySet ds)

Methods inherited from class openllet.core.tableau.completion.rule.AllValuesRule

apply, applyAllValuesTop

Methods inherited from class openllet.core.tableau.completion.rule.AbstractTableauRule

apply

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,
                           openllet.aterm.ATermAppl av,
                           DependencySet ds)

Description copied from class: AllValuesRule

Apply the all Values 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