DataSatisfiabilityRule (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.tableau.completion.rule.AbstractTableauRule
- - openllet.core.tableau.completion.rule.DataSatisfiabilityRule

All Implemented Interfaces:

TableauRule
```
public class DataSatisfiabilityRule
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
  
  DataSatisfiabilityRule(CompletionStrategy strategy)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void apply(Individual ind)
  Apply transformations rule in the ABox around the given individual
  - Methods inherited from class openllet.core.tableau.completion.rule.AbstractTableauRule
    apply
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DataSatisfiabilityRule
```
public DataSatisfiabilityRule(CompletionStrategy strategy)
```
- Method Detail
  - apply
```
public void apply(Individual ind)
```
    Description copied from interface: TableauRule
    
    Apply transformations rule in the ABox around the given individual
    
    Parameters:
    
    ind - is the entry point in the abox.