15.3 Assertions
An assertion is a statement about a thing, the subject of the RDF statement is the thing to which the assertion is attached.
Schema Module – Assertions
value
schema-subject-one/c : contract?
TBD
value
TBD
value
TBD
value
TBD
value
TBD
struct
property : schema-predicate/c object : schema-object-one/c
TBD
constructor
(assert property object) → assertion?
property : schema-predicate/c object : schema-object-one/c
TBD
predicate
(multi-valued-assertion? assertion) → boolean?
assertion : assertion?
TBD
procedure
(type val) → assertion?
val : schema-object-one/c
procedure
(a val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdf:type. The procedure a is a synonym for type. The
argument val is usually a resource reference (either member name or URL).
procedure
(value val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdf:value. The argument val is usually a literal.
procedure
(comment val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdfs:comment. The argument val is usually a string literal
with, or without, language tag.
procedure
(is-defined-by val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdfs:isDefinedBy. The argument val is usually a resource
reference (either member name or URL).
procedure
(label val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdfs:label. The argument val is usually a string literal
with, or without, language tag.
procedure
(see-also val) → assertion?
val : schema-object-one/c
Creates an assertion with the predicate rdfs:seeAlso. The argument val is usually a resource
reference (either member name or URL).