owltime.ttl

PREFIX : <https://periodo.github.io/edtf-ontology/cases/level-2/year-subdivision/season/>
PREFIX edtfo: <https://periodo.github.io/edtf-ontology/edtfo.ttl#>
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#>

:when1
  a time:Instant ;
  rdfs:label "spring 2001 in the northern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:SpringNorthernHemisphere
    ] ;
.

:when2
  a time:Instant ;
  rdfs:label "summer 2001 in the northern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:SummerNorthernHemisphere
    ] ;
.

:when3
  a time:Instant ;
  rdfs:label "autumn 2001 in the northern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:AutumnNorthernHemisphere
    ] ;
.

:when4
  a time:Instant ;
  rdfs:label "winter 2001 in the northern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:WinterNorthernHemisphere
    ] ;
.

:when5
  a time:Instant ;
  rdfs:label "spring 2001 in the southern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:SpringSouthernHemisphere
    ] ;
.

:when6
  a time:Instant ;
  rdfs:label "summer 2001 in the southern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:SummerSouthernHemisphere
    ] ;
.

:when7
  a time:Instant ;
  rdfs:label "autumn 2001 in the southern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:AutumnSouthernHemisphere
    ] ;
.

:when8
  a time:Instant ;
  rdfs:label "winter 2001 in the southern hemisphere" ;
  time:inDateTime [
      a
        time:DateTimeDescription ,
        edtfo:SubYearDateTimeDescription ;
      time:unitType edtfo:unitSeason ;
      time:year "2001"^^xsd:gYear ;
      edtfo:yearSubdivision edtfo:WinterSouthernHemisphere
    ] ;
.