IncrementalRestore (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.tableau.completion.incremental.IncrementalRestore

```
public class IncrementalRestore
extends java.lang.Object
```
The incremental restoration is call when predicate have been remove from the ABox and the consistency is re-check.
Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static void restoreDependencies(KnowledgeBase kb)
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

restoreDependencies

public static void restoreDependencies(KnowledgeBase kb)