@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.w3.org/2006/time-entry> a owl:Ontology;
  rdfs:comment """
      An entry sub-ontology of time (OWL-Time).
    """;
  rdfs:seeAlso <http://www.w3.org/TR/owl-time> .

<http://www.w3.org/2006/time-entry#Instant> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalEntity>, <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#Interval> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalEntity>, <http://www.w3.org/2006/time-entry#IntervalThing> .

<http://www.w3.org/2006/time-entry#InstantEvent> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#InstantThing>, <http://www.w3.org/2006/time-entry#Event> .

<http://www.w3.org/2006/time-entry#IntervalEvent> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#IntervalThing>, <http://www.w3.org/2006/time-entry#Event> .

<http://www.w3.org/2006/time-entry#TemporalEntity> a owl:Class;
  owl:unionOf _:803bae;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalThing> .

_:803bae rdf:first <http://www.w3.org/2006/time-entry#Instant>;
  rdf:rest _:803bbe .

_:803bbe rdf:first <http://www.w3.org/2006/time-entry#Interval>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#Event> a owl:Class;
  owl:unionOf _:803bce;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalThing> .

_:803bce rdf:first <http://www.w3.org/2006/time-entry#InstantEvent>;
  rdf:rest _:803bde .

_:803bde rdf:first <http://www.w3.org/2006/time-entry#IntervalEvent>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#InstantThing> a owl:Class;
  owl:unionOf _:803bee;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalThing> .

_:803bee rdf:first <http://www.w3.org/2006/time-entry#Instant>;
  rdf:rest _:803bfe .

_:803bfe rdf:first <http://www.w3.org/2006/time-entry#InstantEvent>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#IntervalThing> a owl:Class;
  owl:unionOf _:803c0e;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#TemporalThing> .

_:803c0e rdf:first <http://www.w3.org/2006/time-entry#Interval>;
  rdf:rest _:803c1e .

_:803c1e rdf:first <http://www.w3.org/2006/time-entry#IntervalEvent>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#TemporalThing> a owl:Class;
  owl:unionOf _:803c2e .

_:803c2e rdf:first <http://www.w3.org/2006/time-entry#InstantThing>;
  rdf:rest _:803c3e .

_:803c3e rdf:first <http://www.w3.org/2006/time-entry#IntervalThing>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#ProperInterval> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#Interval>, <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  owl:disjointWith <http://www.w3.org/2006/time-entry#Instant> .

<http://www.w3.org/2006/time-entry#ProperIntervalThing> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#IntervalThing>;
  owl:disjointWith <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#before> a owl:ObjectProperty, owl:TransitiveProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#TemporalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#TemporalThing> .

<http://www.w3.org/2006/time-entry#after> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#before> .

<http://www.w3.org/2006/time-entry#begins> a owl:ObjectProperty, owl:FunctionalProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#TemporalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#ends> a owl:ObjectProperty, owl:FunctionalProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#TemporalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#inside> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#IntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#intEquals> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intBefore> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#before>, <http://www.w3.org/2006/time-entry#nonoverlap>;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intMeets> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#nonoverlap>;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intOverlaps> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intStarts> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#startsOrDuring>;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intDuring> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#startsOrDuring>;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intFinishes> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#intAfter> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intBefore>;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#nonoverlap> .

<http://www.w3.org/2006/time-entry#intMetBy> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intMeets>;
  rdfs:subPropertyOf <http://www.w3.org/2006/time-entry#nonoverlap> .

<http://www.w3.org/2006/time-entry#intOverlappedBy> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intOverlaps> .

<http://www.w3.org/2006/time-entry#intStartedBy> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intStarts> .

<http://www.w3.org/2006/time-entry#intContains> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intDuring> .

<http://www.w3.org/2006/time-entry#intFinishedBy> a owl:ObjectProperty;
  owl:inverseOf <http://www.w3.org/2006/time-entry#intFinishes> .

<http://www.w3.org/2006/time-entry#startsOrDuring> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#nonoverlap> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#ProperIntervalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#ProperIntervalThing> .

<http://www.w3.org/2006/time-entry#DurationDescription> a owl:Class;
  rdfs:subClassOf _:803c4e, _:803c5e, _:803c6e, _:803c7e, _:803c8e, _:803c9e, _:803cae .

_:803c4e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#years>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803c5e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#months>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803c6e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#weeks>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803c7e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#days>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803c8e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#hours>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803c9e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#minutes>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803cae a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#seconds>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#years> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#months> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#weeks> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#days> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#hours> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#minutes> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#seconds> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#DurationDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#durationDescriptionOf> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#TemporalThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#DurationDescription> .

<http://www.w3.org/2006/time-entry#durationDescriptionDataType> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#TemporalThing>;
  rdfs:range xsd:duration .

<http://www.w3.org/2006/time-entry#InstantThingPair> a owl:Class;
  rdfs:subClassOf _:803cbe, _:803cce .

_:803cbe a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#firstInstantThing>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803cce a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#secondInstantThing>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#firstInstantThing> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThingPair>;
  rdfs:range <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#secondInstantThing> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThingPair>;
  rdfs:range <http://www.w3.org/2006/time-entry#InstantThing> .

<http://www.w3.org/2006/time-entry#instantPairDurationDescriptionOf> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThingPair>;
  rdfs:range <http://www.w3.org/2006/time-entry#DurationDescription> .

<http://www.w3.org/2006/time-entry#instantPairDurationDescriptionDataType> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThingPair>;
  rdfs:range xsd:duration .

<http://www.w3.org/2006/time-entry#CalendarClockInterval> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time-entry#ProperInterval> .

<http://www.w3.org/2006/time-entry#TemporalUnit> a owl:Class;
  owl:oneOf _:803cde .

_:803cde rdf:first <http://www.w3.org/2006/time-entry#unitSecond>;
  rdf:rest _:803cee .

<http://www.w3.org/2006/time-entry#unitSecond> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803cee rdf:first <http://www.w3.org/2006/time-entry#unitMinute>;
  rdf:rest _:803cfe .

<http://www.w3.org/2006/time-entry#unitMinute> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803cfe rdf:first <http://www.w3.org/2006/time-entry#unitHour>;
  rdf:rest _:803d0e .

<http://www.w3.org/2006/time-entry#unitHour> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803d0e rdf:first <http://www.w3.org/2006/time-entry#unitDay>;
  rdf:rest _:803d1e .

<http://www.w3.org/2006/time-entry#unitDay> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803d1e rdf:first <http://www.w3.org/2006/time-entry#unitWeek>;
  rdf:rest _:803d2e .

<http://www.w3.org/2006/time-entry#unitWeek> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803d2e rdf:first <http://www.w3.org/2006/time-entry#unitMonth>;
  rdf:rest _:803d3e .

<http://www.w3.org/2006/time-entry#unitMonth> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

_:803d3e rdf:first <http://www.w3.org/2006/time-entry#unitYear>;
  rdf:rest rdf:nil .

<http://www.w3.org/2006/time-entry#unitYear> a <http://www.w3.org/2006/time-entry#TemporalUnit> .

<http://www.w3.org/2006/time-entry#CalendarClockDescription> a owl:Class;
  rdfs:subClassOf _:803d4e, _:803d5e, _:803d6e, _:803d7e, _:803d8e, _:803d9e, _:803dae,
    _:803dbe, _:803dce, _:803dde, _:803dee .

_:803d4e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#unitType>;
  owl:cardinality "1"^^xsd:nonNegativeInteger .

_:803d5e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#year>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803d6e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#month>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803d7e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#week>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803d8e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#day>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803d9e a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#dayOfWeekField>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803dae a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#dayOfYearField>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803dbe a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#hour>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803dce a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#minute>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803dde a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#second>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

_:803dee a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time-entry#timeZone>;
  owl:maxCardinality "1"^^xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#unitType> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range <http://www.w3.org/2006/time-entry#TemporalUnit> .

<http://www.w3.org/2006/time-entry#year> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:gYear .

<http://www.w3.org/2006/time-entry#month> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:gMonth .

<http://www.w3.org/2006/time-entry#week> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#day> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:gDay .

<http://www.w3.org/2006/time-entry#dayOfWeekField> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#dayOfYearField> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#hour> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#minute> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:nonNegativeInteger .

<http://www.w3.org/2006/time-entry#second> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range xsd:decimal .

<http://www.w3.org/2006/time-entry#timeZone> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockDescription>;
  rdfs:range <http://www.w3.org/2006/timezone#TimeZone> .

<http://www.w3.org/2006/timezone#TimeZone> a owl:Class .

<http://www.w3.org/2006/time-entry#inCalendarClock> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThing>;
  rdfs:range <http://www.w3.org/2006/time-entry#CalendarClockDescription> .

<http://www.w3.org/2006/time-entry#inCalendarClockDataType> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#InstantThing>;
  rdfs:range xsd:dateTime .

<http://www.w3.org/2006/time-entry#calendarClockDescriptionOf> a owl:ObjectProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockInterval>;
  rdfs:range <http://www.w3.org/2006/time-entry#CalendarClockDescription> .

<http://www.w3.org/2006/time-entry#calendarClockDescriptionDataType> a owl:DatatypeProperty;
  rdfs:domain <http://www.w3.org/2006/time-entry#CalendarClockInterval>;
  rdfs:range xsd:dateTime .