3.1.7 library(semweb/rdf11_containers): RDF 1.1 Containers

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.