@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#> .

<https://www.omg.org/spec/Commons/MappingDatesAndTimesToOWLTime/> a owl:Ontology;
  rdfs:label "Commons Mapping Dates and Times to OWL Time Ontology";
  <http://purl.org/dc/terms/abstract> "This ontology maps the Commons Dates and Times ontology to the widely used W3C Time Ontology in OWL recommendation, available at https://www.w3.org/TR/owl-time/. Note that users of this mapping need to be aware of the usage of datatypes that are not allowed in RDFS or OWL in the W3C Time ontology. Usage of this mapping enables use of the Allen intervals defined in the W3C ontology, however, which are useful for a number of applications.";
  <http://purl.org/dc/terms/license> "http://opensource.org/licenses/MIT"^^xsd:anyURI;
  <http://purl.org/dc/terms/contributor> "Elisa Kendall, Thematix Partners LLC";
  <https://www.omg.org/spec/Commons/AnnotationVocabulary/copyright> "Copyright (c) 2021-2022 Thematix Partners LLC",
    "Copyright (c) 2022 Object Management Group, Inc.";
  owl:imports <https://www.omg.org/spec/Commons/AnnotationVocabulary/>, <https://www.omg.org/spec/Commons/DatesAndTimes/>,
    <http://www.w3.org/2006/time>;
  owl:versionIRI <https://www.omg.org/spec/Commons/20220501/MappingDatesAndTimesToOWLTime/> .

<https://www.omg.org/spec/Commons/DatesAndTimes/Duration> a owl:Class;
  owl:equivalentClass <http://www.w3.org/2006/time#TemporalDuration> .

<https://www.omg.org/spec/Commons/DatesAndTimes/ExplicitDate> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2006/time#GeneralDateTimeDescription>, _:3a14d,
    _:3a15d, _:3a16d .

_:3a14d a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time#year>;
  owl:cardinality "1"^^xsd:nonNegativeInteger .

_:3a15d a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time#month>;
  owl:cardinality "1"^^xsd:nonNegativeInteger .

_:3a16d a owl:Restriction;
  owl:onProperty <http://www.w3.org/2006/time#day>;
  owl:cardinality "1"^^xsd:nonNegativeInteger .

<https://www.omg.org/spec/Commons/DatesAndTimes/ProperInterval> a owl:Class;
  owl:equivalentClass <http://www.w3.org/2006/time#ProperInterval> .

<https://www.omg.org/spec/Commons/DatesAndTimes/TemporalEntity> a owl:Class;
  owl:equivalentClass <http://www.w3.org/2006/time#TemporalEntity> .

<https://www.omg.org/spec/Commons/DatesAndTimes/TimeInstant> a owl:Class;
  owl:equivalentClass <http://www.w3.org/2006/time#Instant> .

<https://www.omg.org/spec/Commons/DatesAndTimes/TimeInterval> a owl:Class;
  owl:equivalentClass <http://www.w3.org/2006/time#Interval> .

<http://www.w3.org/2006/time#hasXSDDuration> a owl:DatatypeProperty;
  rdfs:subPropertyOf <https://www.omg.org/spec/Commons/DatesAndTimes/hasDurationValue> .

<http://www.w3.org/2006/time#inXSDDateTimeStamp> a owl:DatatypeProperty;
  rdfs:subPropertyOf <https://www.omg.org/spec/Commons/DatesAndTimes/hasDateTimeStampValue> .

<http://www.w3.org/2006/time#inXSDDate> a owl:DatatypeProperty;
  rdfs:subPropertyOf <https://www.omg.org/spec/Commons/DatesAndTimes/hasDateValue> .
