org.mindswap.pellet.tableau.completion.rule
Interface TableauRule

All Known Implementing Classes:
AbstractTableauRule, AllValuesRule, ChooseRule, DataCardinalityRule, DataSatisfiabilityRule, DisjunctionRule, GuessRule, MaxRule, MinRule, NominalRule, SelfRule, SimpleAllValuesRule, SomeValuesRule, UnfoldingRule

public interface TableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Method Summary
 void apply(Individual ind)
           
 void apply(IndividualIterator i)
           
 

Method Detail

apply

void apply(IndividualIterator i)

apply

void apply(Individual ind)


Copyright © 2004 Evren Sirin. All Rights Reserved.