org.mindswap.pellet.tableau.completion.rule
Class AbstractTableauRule
java.lang.Object
org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
- All Implemented Interfaces:
- TableauRule
- Direct Known Subclasses:
- AllValuesRule, ChooseRule, DataCardinalityRule, DataSatisfiabilityRule, DisjunctionRule, GuessRule, MaxRule, MinRule, NominalRule, SelfRule, SomeValuesRule, UnfoldingRule
public abstract class AbstractTableauRule
- extends java.lang.Object
- implements TableauRule
Title:
Description:
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
Field Summary |
static java.util.logging.Logger |
log
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.mindswap.pellet.tableau.completion.rule.TableauRule |
apply |
log
public static final java.util.logging.Logger log
AbstractTableauRule
public AbstractTableauRule(CompletionStrategy strategy,
NodeSelector nodeSelector,
org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)
isDisabled
public boolean isDisabled()
apply
public void apply(IndividualIterator i)
- Specified by:
apply
in interface TableauRule
Copyright © 2004 Evren Sirin. All Rights Reserved.