To date, all of the statements we make are positive: they declare something. We would also like to support removal of statements from a context to avoid the annoyance of either manually editing contexts to remove statements which are no longer needed or regenerating contexts with only the desired statements.
To a first approximation, retraction probably looks like a slight modification of making statements, plus a method on Context to except query objects.
To date, all of the statements we make are positive: they declare something. We would also like to support removal of statements from a context to avoid the annoyance of either manually editing contexts to remove statements which are no longer needed or regenerating contexts with only the desired statements.
To a first approximation, retraction probably looks like a slight modification of making statements, plus a method on Context to except query objects.