org.mindswap.pellet.tableau.completion.rule

Class DisjunctionRule

java.lang.Object

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

org.mindswap.pellet.tableau.completion.rule.DisjunctionRule

All Implemented Interfaces:

TableauRule

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

Method Summary

Modifier and Type	Method and Description
void	apply(Individual node)
protected void	applyDisjunctionRule(Individual node, aterm.ATermAppl disjunction) Apply the disjunction rule to an specific label for an individual

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

DisjunctionRule

public DisjunctionRule(CompletionStrategy strategy)

Method Detail

apply

public void apply(Individual node)

applyDisjunctionRule

protected void applyDisjunctionRule(Individual node,
                                    aterm.ATermAppl disjunction)

Apply the disjunction rule to an specific label for an individual

Parameters:

node -

disjunction -