An update to which further updates can be asserted or entailed.
A promise that resolves to the current update. If any modifications made by
the methods above have affected the
@delete of the update,
they will have been applied.
Substitutes the given alias for the given property subject, property, or subject and property, in updates provided to the application. This allows a constraint to hide a data implementation detail.
the subject to which the alias applies
@id, the subject IRI is aliased. Otherwise, the
property is aliased.
the alias for the given subject and/or property. It is an
error if the property is
@id and a
SubjectProperty alias is provided.
An assertion is an update that maintains the data integrity of the domain by changing data that the app created, or that was the result of a prior assertion.
An assertion is incorporated into the final update sent to other clones and echoed to the local app. Examples of assertions:
the update to assert into the domain
An entailment is an update that maintains the data integrity of a domain by changing only entailed data. Entailed data is data that can be deduced automatically, and can only be created by entailment, and not by an app.
An entailment is not included in updates sent to other clones or to the local app. Examples of entailments:
the update to entail into the domain
Removes assertions (not entailments) from this update, prior to application to the dataset. This is used to rewrite assertions made by the application, or the work of prior constraints.
Removal of an assertion is possible:
Whether to remove
the Subject assertions to remove