Class GuessRule
- java.lang.Object
-
- openllet.core.tableau.completion.rule.AbstractTableauRule
-
- openllet.core.tableau.completion.rule.GuessRule
-
- All Implemented Interfaces:
TableauRule
public class GuessRule extends AbstractTableauRule
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
-
-
Field Summary
-
Fields inherited from class openllet.core.tableau.completion.rule.AbstractTableauRule
_logger
-
-
Constructor Summary
Constructors Constructor Description GuessRule(CompletionStrategy strategy)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
apply(Individual x)
Apply transformations rule in the ABox around the given individual-
Methods inherited from class openllet.core.tableau.completion.rule.AbstractTableauRule
apply
-
-
-
-
Constructor Detail
-
GuessRule
public GuessRule(CompletionStrategy strategy)
-
-
Method Detail
-
apply
public void apply(Individual x)
Description copied from interface:TableauRule
Apply transformations rule in the ABox around the given individual- Parameters:
x
- is the entry point in the abox.
-
-