Elements of http://www.w3.org/2006/time#
val time : Iri.thttp://www.w3.org/2006/time#
val time_ : string -> Iri.tval c_DateTimeDescription : Iri.tDescription of date and time structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of year, month, day properties restricted to corresponding XML Schema types xsd:gYear, xsd:gMonth and xsd:gDay, respectively.
val c_DateTimeInterval : Iri.tDateTimeInterval is a subclass of ProperInterval, defined using the multi-element DateTimeDescription.
val c_DayOfWeek : Iri.tThe day of week
val c_Duration : Iri.tDuration of a temporal extent expressed as a number scaled by a temporal unit
val c_DurationDescription : Iri.tDescription of temporal extent structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of each of the numeric properties is restricted to xsd:decimal
val c_GeneralDateTimeDescription : Iri.tDescription of date and time structured with separate values for the various elements of a calendar-clock system
val c_GeneralDurationDescription : Iri.tDescription of temporal extent structured with separate values for the various elements of a calendar-clock system.
val c_Instant : Iri.tA temporal entity with zero extent or duration
val c_Interval : Iri.tA temporal entity with an extent or duration
val dt_Number : Iri.tNote: integer is a specialization of decimal
val c_ProperInterval : Iri.tA temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different
val c_TRS : Iri.tA temporal reference system, such as a temporal coordinate system (with an origin, direction, and scale), a calendar-clock combination, or a (possibly hierarchical) ordinal system.
This is a stub class, representing the set of all temporal reference systems.
val c_TemporalEntity : Iri.tA temporal interval or instant.
val c_TemporalUnit : Iri.tA temporal unit of measure, which provides a scale factor for a time quantity.
val c_TimePosition : Iri.tA temporal position described using either a (nominal) value from an ordinal reference system, or a (numeric) value in a temporal coordinate system.
val c_Year : Iri.tDuration year, not a calendar year!
val after : Iri.tGives directionality to time. If a temporal entity T1 is after another temporal entity T2, then the beginning of T1 is after the end of T2.
val before : Iri.tGives directionality to time. If a temporal entity T1 is before another temporal entity T2, then the end of T1 is before the beginning of T2. Thus, before can be considered to be basic to instants and derived for intervals.
val day : Iri.tDay position in a calendar-clock system.
The range of this property is not specified, so can be replaced by any specific representation of a calendar day from any calendar.
val dayOfWeek : Iri.tThe day of week, whose value is a member of the class time:DayOfWeek
val dayOfYear : Iri.tThe number of the day within the year
val days : Iri.tlength of a temporal extent expressed in days
val dt_generalDay : Iri.tDay of month - generalization of xsd:gDay, formulated as a text string with a pattern constraint to reproduce the same lexical form as gDay, except that values up to 99 are permitted, in order to support calendars with more than 31 days in a month. Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type.
val dt_generalMonth : Iri.tMonth of year - generalization of xsd:gMonth, formulated as a text string with a pattern constraint to reproduce the same lexical form as gMonth, except that values up to 20 are permitted, in order to support calendars with more than 12 months in the year. Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type.
val dt_generalYear : Iri.tYear number - generalization of xsd:gYear, formulated as a text string with a pattern constraint to reproduce the same lexical form as gYear. Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type.
val hasBeginning : Iri.tBeginning of a temporal entity.
val hasDateTimeDescription : Iri.tValue of DateTimeInterval expressed as a structured value.
val hasDuration : Iri.tDuration of a temporal entity, expressed as a scaled value or nominal value
val hasDurationDescription : Iri.tDuration of a temporal entity, expressed using a structured description
val hasEnd : Iri.tEnd of a temporal entity.
val hasMember : Iri.tSupports the inclusion of temporal entities in other resources, such as temporal reference systems.
val hasTRS : Iri.tThe temporal reference system used by a temporal position or extent description.
val hour : Iri.tHour position in a calendar-clock system.
val hours : Iri.tlength of a temporal extent expressed in hours
val inDateTime : Iri.tPosition of an instant, expressed using a structured description
val inTimePosition : Iri.tPosition of a time instant expressed as a TimePosition
val inXSDDateTime : Iri.tPosition of an instant, expressed using xsd:DateTime
val inside : Iri.tAn instant that falls inside the interval. It is not intended to include beginnings and ends of intervals.
val intervalAfter : Iri.tIf a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2.
val intervalBefore : Iri.tIf a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.
val intervalContains : Iri.tIf a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2.
val intervalDuring : Iri.tIf a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2.
val intervalEquals : Iri.tIf a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is the beginning of T2, and the end of T1 is the end of T2.
val intervalFinishedBy : Iri.tIf a proper interval T1 is intervalFinishedBy another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is the end of T2.
val intervalFinishes : Iri.tIf a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is the end of T2.
val intervalMeets : Iri.tIf a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is the beginning of T2.
val intervalMetBy : Iri.tIf a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is the end of T2.
val intervalOverlappedBy : Iri.tIf a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.
val intervalOverlaps : Iri.tIf a proper interval T1 is intervalOverlaps another proper interval T2, then the beginning of T1 is before the beginning of T2, the end of T1 is after the beginning of T2, and the end of T1 is before the end of T2.
val intervalStartedBy : Iri.tIf a proper interval T1 is intervalStarted another proper interval T2, then the beginning of T1 is the beginning of T2, and the end of T1 is after the end of T2.
val intervalStarts : Iri.tIf a proper interval T1 is intervalStarts another proper interval T2, then the beginning of T1 is the beginning of T2, and the end of T1 is before the end of T2.
val minute : Iri.tMinute position in a calendar-clock system.
val minutes : Iri.tlength of a temporal extent expressed in minutes
val month : Iri.tMonth position in a calendar-clock system.
The range of this property is not specified, so can be replaced by any specific representation of a calendar month from any calendar.
val months : Iri.tlength of a temporal extent expressed in months
val nominalPosition : Iri.tThe (nominal) value indicating temporal position in an ordinal reference system
val numericDuration : Iri.tValue of a temporal extent expressed as a number scaled by a temporal unit
val numericPosition : Iri.tThe (numeric) value indicating position within a temporal coordinate system
val second : Iri.tSecond position in a calendar-clock system.
val seconds : Iri.tlength of a temporal extent expressed in seconds
val timeZone : Iri.tThe time zone for clock elements in the temporal position
val unitType : Iri.tThe temporal unit which provides the precision of a date-time value or scale of a temporal extent
val week : Iri.tThe number of the week within the year
val weeks : Iri.tlength of a temporal extent expressed in weeks
val xsdDateTime : Iri.tValue of DateTimeInterval expressed as a compact value.
val year : Iri.tYear position in a calendar-clock system.
The range of this property is not specified, so can be replaced by any specific representation of a calendar year from any calendar.
val years : Iri.tlength of a temporal extent expressed in years
module Open : sig ... endclass from : ?sub:Term.term -> Graph.graph -> object ... end