Interface | Description |
---|---|
Chase |
This interface represents a chase (forward chaining) algorithm seen as an
iterative process.
|
ChaseHaltingCondition |
The ChaseHaltingCondition interface provides a way to control when a
saturation process will stop.
|
DirectRuleApplier<R extends Rule,A extends AtomSet> | |
RuleApplicationHandler | |
RuleApplier<R extends Rule,A extends AtomSet> |
Class | Description |
---|---|
AbstractChase<T1 extends Rule,T2 extends AtomSet> | |
AbstractDirectChase<T1 extends Rule,T2 extends AtomSet> |
Exception | Description |
---|---|
ChaseException | |
RuleApplicationException | |
RuleApplicationHandlerException |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.