SKOS Test Suite
This page is a first attempt to define a set of test cases for the SKOS data model.
Contents
- SKOS Test Suite
- SKOS Mapping Test Case
- Test Group M1-M3 -- "Clashes" Between Semantic Relation Properties and Corresponding Mapping Properties
- Test Group M4-M9 -- "Clashes" Between Mapping Properties
- Test Group M10-M18 -- "Clashes" Between Semantic Relation Properties and Other Mapping Properties
- Test Group M19-M22 -- Mapping Between Concepts in the Same Scheme
- Test Group M23-M26 -- Reflexivity of Mapping Properties
- Test Group M27-M30 -- Cycles in Hierarchical Mappings
- Test Group M31-M32 -- Alternate Paths in Hierarchical Mapping
- Test Group M33-M36 -- "Clashes" with Transitive Closure of Hierarchical Mappings
- Test Group M37-M40 -- Transitivity of Mapping Properties
- Test Group M41-M46 -- Mapping Property Chain Inclusions
- Test Group M53-M57 -- Inferring Semantic Relations from Mapping Relations
- SKOS Mapping Test Case
Content included from: SKOS/TestSuite/Mapping
SKOS Mapping Test Case
Test Group M1-M3 -- "Clashes" Between Semantic Relation Properties and Corresponding Mapping Properties
This group of tests asks, are "clashes" between a semantic relation property (e.g. skos:broader) and its corresponding mapping property (e.g. skos:broadMatch) formally consistent or inconsistent with the SKOS data model?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4712
Test M1
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broader <B>; skos:broadMatch <B>.
Test M2
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrower <B>; skos:narrowMatch <B>.
Test M3
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:related <B>; skos:relatedMatch <B>.
Test Group M4-M9 -- "Clashes" Between Mapping Properties
This group of tests asks, are "clashes" between different mapping properties (e.g. skos:exactMatch, skos:broadMatch) consistent or inconsistent with the SKOS data model?
See also: * http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4316 * http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4534
Test M4
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>; skos:relatedMatch <B>.
Test M5
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>; skos:broadMatch <B>.
Test M6
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>; skos:narrowMatch <B>.
Test M7
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>; skos:narrowMatch <B>.
Test M8
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>; skos:relatedMatch <B>.
Test M9
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>; skos:relatedMatch <B>.
Test Group M10-M18 -- "Clashes" Between Semantic Relation Properties and Other Mapping Properties
This group of tests asks, are "clashes" between semantic relation properties (e.g. skos:broader) and non-corresponding mapping properties (e.g. skos:relatedMatch) formally consistent or inconsistent with the SKOS data model?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4712
Test M10
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broader <B>; skos:exactMatch <B>.
Test M11
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broader <B>; skos:relatedMatch <B>.
Test M12
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broader <B>; skos:narrowMatch <B>.
Test M13
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrower <B>; skos:exactMatch <B>.
Test M14
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrower <B>; skos:relatedMatch <B>.
Test M15
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrower <B>; skos:broadMatch <B>.
Test M16
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:related <B>; skos:exactMatch <B>.
Test M17
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:related <B>; skos:narrowMatch <B>.
Test M18
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:related <B>; skos:broadMatch <B>.
Test Group M19-M22 -- Mapping Between Concepts in the Same Scheme
This group of tests asks, is it consistent or inconsistent to assert mapping links between concepts in the same scheme?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4632
Test M19
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>; skos:inScheme <S>. <B> skos:inScheme <S>.
Test M20
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:relatedMatch <B>; skos:inScheme <S>. <B> skos:inScheme <S>.
Test M21
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>; skos:inScheme <S>. <B> skos:inScheme <S>.
Test M22
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>; skos:inScheme <S>. <B> skos:inScheme <S>.
Test Group M23-M26 -- Reflexivity of Mapping Properties
This group of tests asks, are the SKOS mapping properties irreflexive?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4499
Test M23
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:exactMatch <A>.
Test M24
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <A>.
Test M25
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <A>.
Test M26
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:relatedMatch <A>.
Test Group M27-M30 -- Cycles in Hierarchical Mappings
This group of tests asks, are cycles in either of the hierarchical mapping properties (skos:broadMatch, skos:narrowMatch) consistent or inconsistent with the SKOS data model?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4564
Test M27
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <A>.
Test M28
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <A>.
Test M29
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <C>. <C> skos:broadMatch <A>.
Test M30
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <C>. <C> skos:narrowMatch <A>.
Test Group M31-M32 -- Alternate Paths in Hierarchical Mapping
This group of tests asks, are alternate paths in a hierarchical mapping (skos:broadMatch or skos:narrowMatch) consistent or inconsistent with the SKOS data model?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4564
Test M31
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <C>. <A> skos:broadMatch <C>.
Test M32
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <C>. <A> skos:narrowMatch <C>.
Test Group M33-M36 -- "Clashes" with Transitive Closure of Hierarchical Mappings
This group of tests is similar to M4-M9, but asks, are clashes between skos:exactMatch or skos:relatedMatch and transitive closure of skos:narrowMatch or skos:broadMatch consistent or inconsistent?
See also: * http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4316 * http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4534
Test M33
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <C>. <A> skos:exactMatch <C>.
Test M34
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <C>. <A> skos:relatedMatch <C>.
Test M35
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <C>. <A> skos:exactMatch <C>.
Test M36
Test Type: |
Consistency |
Expected: |
@@TODO consistent / inconsistent |
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <C>. <A> skos:relatedMatch <C>.
Test Group M37-M40 -- Transitivity of Mapping Properties
This group of tests asks, are any of the mapping properties transitive?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4414
Test M37
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:exactMatch <C>.
Test M38
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:broadMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broadMatch <C>.
Test M39
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:narrowMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <C>.
Test M40
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <B>. <B> skos:relatedMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <C>.
Test Group M41-M46 -- Mapping Property Chain Inclusions
This group of tests asks, are there any valid inclusions involving skos:exactMatch?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L5675
Test M41
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:broadMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broadMatch <C>.
Test M42
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:narrowMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <C>.
Test M43
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:relatedMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <C>.
Test M44
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broadMatch <C>.
Test M45
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <C>.
Test M46
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <C>.
Test M47
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:broader <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broader <C>.
Test M48
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:narrower <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrower <C>.
Test M49
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:exactMatch <B>. <B> skos:related <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:related <C>.
Test M50
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:broader <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broader <C>.
Test M51
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:narrower <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrower <C>.
Test M52
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:related <B>. <B> skos:exactMatch <C>.
Inference:
@prefix skos: <@@TODO> . <A> skos:related <C>.
Test Group M53-M57 -- Inferring Semantic Relations from Mapping Relations
This group of tests asks, can semantic relations be inferred from mapping relations?
See also: http://www.w3.org/TR/2008/WD-skos-reference-20080125/#L4712
Test M53
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broader <B>.
Test M54
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrower <B>.
Test M55
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:relatedMatch <B>.
Inference:
@prefix skos: <@@TODO> . <A> skos:related <B>.
Test M56
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:broadMatch <B>.
Inference:
@prefix skos: <@@TODO> . <A> skos:broaderTransitive <B>.
Test M57
Test Type: |
Inference |
Expected: |
@@TODO valid / invalid |
Premise:
@prefix skos: <@@TODO> . <A> skos:narrowMatch <B>.
Inference:
@prefix skos: <@@TODO> . <A> skos:narrowerTransitive <B>.