• SKOS
• Semantics
• Grouping

Revision 4 as of 2007-06-15 14:12:53

This section last edited on 2009-11-25 23:44:22 is part of the SKOS/Semantics wiki draft.

Module: Grouping Constructs

This module defines the grouping constructs available in SKOS, also known as "collections".

See also SKOS/Primer/Grouping.

The triples below define semantic conditions on the interpretation of this vocabulary.

There is also a logical relationship between the skos:memberList and skos:member properties, which is stated below (where "sequence" is defined as in section 5 of [OWL Semantics]).

I.e. informally, for ordered collections, every member given by the skos:memberList property can also be given by the skos:member property.

See SKOS/Primer/Grouping for examples of consistent and inconsistent usage of this vocabulary.

Note in particular that the use of a skos:Collection in either the subject or object position of a triple involving skos:broader, skos:narrower or skos:related as predicate will result in an inconsistency. This is because skos:Collection is disjoint with skos:Concept, and because skos:broader, skos:narrower and skos:related are sub-properties of skos:semanticRelation, which has both domain and range skos:Concept (see also SKOS/Semantics/ParadigmaticRelations).

See SKOS/Primer/Grouping for guidance on how to construct a systematic hierarchical display involving grouping constructs.

There are no syntactic conditions on the use of this vocabulary.

The following entailment rules follow from the logical relationship between the skos:memberList and skos:member properties stated above, where u v and x stand for any URI or blank node ID.