- author
- - Wouter Beek
- Jan Wielemaker
- version
- 2016/01
- See also
- http://www.w3.org/TR/2014/REC-rdf-schema-20140225/\#ch_containervocab
- Compatibility
- RDF 1.1
Implementation of the conventional human interpretation of RDF 1.1
containers.
RDF containers are open enumeration structures as opposed to RDF
collections or RDF lists which are closed enumeration structures. The
same resource may appear in a container more than once. A container may
be contained in itself.
- [nondet]rdf_alt(+Alt,
?Default, ?Others)
- True when Alt is an instance of
rdf:Alt with
first member
Default and remaining members Others.
Notice that this construct adds no machine-processable semantics but
is conventionally used to indicate to a human reader that the numerical
ordering of the container membership properties of Container is intended
to only be relevant in distinguishing between the first and all
non-first members.
Default denotes the default option to take when choosing
one of the alternatives container in Container. Others
denotes the non-default options that can be chosen from.
- [det]rdf_assert_alt(?Alt,
+Default, +Others:list)
- [det]rdf_assert_alt(?Alt,
+Default, +Others:list, +Graph)
- Create an rdf:Alt with the given Default and Others. Default
and the members of Others must be valid object terms for
rdf_assert/3.
- [nondet]rdf_bag(+Bag,
-List:list)
- True when Bag is an rdf:Bag and set is the set
values related through container membership properties to Bag.
Notice that this construct adds no machine-processable semantics but
is conventionally used to indicate to a human reader that the numerical
ordering of the container membership properties of Container is intended
to not be significant.
- [det]rdf_assert_bag(?Bag,
+Set:list)
- [det]rdf_assert_bag(?Bag,
+Set:list, +Graph)
- Create an rdf:Bag from the given set of values. The members
of
Set must be valid object terms for rdf_assert/3.
- [nondet]rdf_seq(+Seq,
-List:list)
- True when Seq is an instance of rdf:Seq and List
is a list of associated values, ordered according to the container
membership property used.
Notice that this construct adds no machine-processable semantics but
is conventionally used to indicate to a human reader that the numerical
ordering of the container membership properties of Container is intended
to be significant.
- [det]rdf_assert_seq(?Seq,
+List)
- [det]rdf_assert_seq(?Seq,
+List, +Graph)
- [nondet]rdfs_container(+Container,
-List)
- True when List is the list of objects attached to Container
using a container membership property (rdf:_0, rdf:_1, ...). If multiple
objects are connected to the Container using the same
membership property, this predicate selects one value
non-deterministically.
- [nondet]rdfs_container_membership_property(?Property)
- True when Property is a container membership property
(rdf:_1, rdf:_2, ...).
- [nondet]rdfs_container_membership_property(?Property,
?Number:nonneg)
- True when Property is the Nth container membership property.
Success of this goal does not imply that Property is
present in the database.
- [nondet]rdfs_member(?Elem,
?Container)
- True if
rdf(Container, P, Elem) is true and P is a
container membership property.
- [nondet]rdfs_nth0(?N,
?Container, ?Elem)
- True if
rdf(Container, P, Elem) is true and P is the N-th
(0-based) container membership property.
