Skip to content

Commit

Permalink
Merge pull request #1238 from w3c/time-test-suite
Browse files Browse the repository at this point in the history 
Temporal-relations test suite
  • Loading branch information
Simon Cox committed Jan 14, 2021
2 parents 7b20b3b + 9a96d2b commit fdc0192
Show file tree
Hide file tree
Showing 48 changed files with 4,716 additions and 0 deletions.
11 changes: 11 additions & 0 deletions time-entity-relations/test-suite/README.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# RDF test suite for OWL-Time entity relations

This folder contains a set of RDF resources that may be used to test conformance to the rules for the temporal relations specified in [Extensions to the OWL-Time Ontology - entity relations](https://www.w3.org/TR/vocab-owl-time-rel/).
It is composed of

1. [time-test-indiduals.ttl](../../time/test-suite/time-test-indiduals.ttl) contains a set of named individuals of type `time:Instant`, `time:Interval`, `time:ProperInterval` (this is the same set used in the OWL-Time basic test-suite)
2. files named `xxx-true.ttl` each contain a set of **true** axioms concerning those individuals, with the predicate `xxx` (e.g. `equals`, `hasInside`, etc)
3. files named `yyy-false.ttl` each contain a set of **false** axioms concerning those individuals, with the predicate `yyy` (e.g. `disjoint`, `notDisjoint`, etc)

SJDC
2021-01-12
183 changes: 183 additions & 0 deletions time-entity-relations/test-suite/disjoint-false.ttl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,183 @@
# baseURI: http://www.w3.org/2021/time/test/disjoint-false
# imports: http://www.w3.org/2021/time/test/individual
# prefix: disjoint-false

@prefix disjoint-false: <http://www.w3.org/2021/time/test/disjoint-false#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.w3.org/2021/time/test/disjoint-false>
a owl:Ontology ;
owl:imports <http://www.w3.org/2021/time/test/individual> ;
.
<http://www.w3.org/2021/time/test/individual/ent0-0>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst0x> ;
.
<http://www.w3.org/2021/time/test/individual/ent0-1>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-0> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst0x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
.
<http://www.w3.org/2021/time/test/individual/ent0-2>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-0> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst0x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
.
<http://www.w3.org/2021/time/test/individual/ent0-3>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-0> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst0x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
.
<http://www.w3.org/2021/time/test/individual/ent0-4>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-0> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst0x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst4x> ;
.
<http://www.w3.org/2021/time/test/individual/ent1-1>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
.
<http://www.w3.org/2021/time/test/individual/ent1-2>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
.
<http://www.w3.org/2021/time/test/individual/ent1-3>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
.
<http://www.w3.org/2021/time/test/individual/ent1-4>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-1> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst1x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst4x> ;
.
<http://www.w3.org/2021/time/test/individual/ent2-3>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
.
<http://www.w3.org/2021/time/test/individual/ent2-4>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-2> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst2x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst4x> ;
.
<http://www.w3.org/2021/time/test/individual/ent3-4>
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent0-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent1-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-3> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent2-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/ent3-4> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst3x> ;
time:disjoint <http://www.w3.org/2021/time/test/individual/inst4x> ;
.
Loading

0 comments on commit fdc0192

Please sign in to comment.