org.mindswap.pellet.tableau.completion.rule
Class UnfoldingRule
java.lang.Object
org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
org.mindswap.pellet.tableau.completion.rule.UnfoldingRule
- All Implemented Interfaces:
- TableauRule
public class UnfoldingRule
- extends AbstractTableauRule
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 |
log
public static final java.util.logging.Logger log
UnfoldingRule
public UnfoldingRule(CompletionStrategy strategy)
apply
public void apply(Individual node)
Copyright © 2004 Evren Sirin. All Rights Reserved.