#include <TripleSinkReifier.h>
Inheritance diagram for TripleSinkReifier::
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.
|
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. |
|
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.... |
|
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.... |