org.mindswap.pellet.tableau.completion.rule

Class MaxRule

java.lang.Object

org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

org.mindswap.pellet.tableau.completion.rule.MaxRule

All Implemented Interfaces:

TableauRule

public class MaxRule
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
MaxRule(CompletionStrategy strategy)

Method Summary

Modifier and Type	Method and Description
void	apply(Individual x) Apply max rule to the individual.
void	applyFunctionalMaxRule(Individual x, Role s, aterm.ATermAppl c, DependencySet ds)
protected void	applyMaxRule(Individual x, aterm.ATermAppl mc)
protected boolean	applyMaxRule(Individual x, Role r, aterm.ATermAppl c, int k, DependencySet ds) applyMaxRule

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

MaxRule

public MaxRule(CompletionStrategy strategy)

Method Detail

apply

public void apply(Individual x)

Apply max rule to the individual.

applyMaxRule

protected void applyMaxRule(Individual x,
                            aterm.ATermAppl mc)

applyMaxRule

protected boolean applyMaxRule(Individual x,
                               Role r,
                               aterm.ATermAppl c,
                               int k,
                               DependencySet ds)

applyMaxRule

Parameters:

x -

r -

k -

ds -

Returns:

true if more merges are required for this maxCardinality

applyFunctionalMaxRule

public void applyFunctionalMaxRule(Individual x,
                                   Role s,
                                   aterm.ATermAppl c,
                                   DependencySet ds)