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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MaxRule
public MaxRule(CompletionStrategy strategy)
apply
public void apply(Individual x)
- Apply max rule to the individual.
applyFunctionalMaxRule
public void applyFunctionalMaxRule(Individual x,
Role s,
aterm.ATermAppl c,
DependencySet ds)
Copyright © 2004 Evren Sirin. All Rights Reserved.