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

TripleSinkReifier Class Reference

A TripleSinkReifier combines multiple sink streams of triples, each identified by a symbol, into one sink stream which describes what's in the other streams using an appropriate vocabulary/ontology. More...

#include <TripleSinkReifier.h>

Inheritance diagram for TripleSinkReifier::

TripleAdder Collaboration diagram for TripleSinkReifier:

Collaboration graph
[legend]
List of all members.

Public Methods

Detailed Description

A TripleSinkReifier combines multiple sink streams of triples, each identified by a symbol, into one sink stream which describes what's in the other streams using an appropriate vocabulary/ontology.

This is kind of a streaming version of cwm's quads, but not that as far as we're concerned these are streams (or open sets) of triples, not fully-known (closed) sets.

Issue: how do we make the ontology changable? Subclassing or setting parameters?

Definition at line 25 of file TripleSinkReifier.h.

Member Function Documentation

virtual void TripleSinkReifier::addTo (  Symbol    statementSet,
Symbol    subject,
Symbol    predicate,
Symbol    object
)  [virtual]
 

Add the fact that statementSet contains the triple (subject, predicate, object) to the stream.

This is equivalent to adding certain triples.

Retraction is not possible; this is a stream.

Loops like addTo(x, a, b, x) are not detected, but may cause problems with other components. Perhaps they should be caught here, but the other componets should probably be checking for them anyway.

virtual void TripleSinkReifier::includeIn (  Symbol    superset,
Symbol    subset
)  [virtual]
 

Add the fact that all statements in subset are known to be in superset.

This fact is simply encoded via the ontology. We can't actually perform the operation, because we allow you to state the fact when subset already has members.

Arguable, we could stop writing out symbols in subset, and notice if we already have....

virtual void TripleSinkReifier::include (  Symbol    subset )  [virtual]
 

Add the fact that all statements in subset are known to be true.

This fact is simply encoded via the ontology. We can't actually perform thr operation, because some triples in subset may already have gone by.

Arguable, we could stop writing out symbols in subset, and notice if we already have....

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