Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages   Examples  

DeductivePool Class Reference

A DeductivePool is an inference layer on top of another triple store. More...

#include <DeductivePool.h>

Inheritance diagram for DeductivePool::

QueryablePool Pool TripleSource TripleSink XSBPool Collaboration diagram for DeductivePool:

Collaboration graph
[legend]
List of all members.

Detailed Description

A DeductivePool is an inference layer on top of another triple store.

It uses another triple store (the "givens") and some rules. It appears to contain all the givens, plus any triples in can infer using the rules.

Author:
\URL[Sandro Hawke]{http://www.w3.org/People/Sandro} (sandro@w3.org)
Version:
Id:
DeductivePool.h,v 1.7 2001/10/03 02:12:22 sandro Exp

Definition at line 20 of file DeductivePool.h.

Home to blindfold. This page generated via doxygen 1.2.11.1 Wed Oct 10 16:40:35 2001.