package rdf
Install
Dune Dependency
Authors
Maintainers
Sources
md5=fdca8ab06da34d9d76fe273f654ec6a1
sha512=fff3ad6cb5978e43ac3c509cc25a01d16be6e21b04df607e0595ec0e7226ba7b6e4e2ec86bbeae4aa3d6a181fa399c7c00a4b1c788ddc98486f5c8badf8867f7
doc/rdf/Rdf/Time/index.html
Module Rdf.Time
Source
Elements of http://www.w3.org/2006/time#
Description 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.
DateTimeInterval is a subclass of ProperInterval, defined using the multi-element DateTimeDescription.
Duration of a temporal extent expressed as a number scaled by a temporal unit
Description 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
Description of date and time structured with separate values for the various elements of a calendar-clock system
Description of temporal extent structured with separate values for the various elements of a calendar-clock system.
A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different
A 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.
A temporal unit of measure, which provides a scale factor for a time quantity.
A temporal position described using either a (nominal) value from an ordinal reference system, or a (numeric) value in a temporal coordinate system.
Gives 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.
Gives 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.
Day 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.
Day 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.
Month 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.
Year 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.
Duration of a temporal entity, expressed as a scaled value or nominal value
Duration of a temporal entity, expressed using a structured description
Supports the inclusion of temporal entities in other resources, such as temporal reference systems.
The temporal reference system used by a temporal position or extent description.
An instant that falls inside the interval. It is not intended to include beginnings and ends of intervals.
If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2.
If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.
If 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.
If 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.
If 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.
If 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.
If 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.
If a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is the beginning of T2.
If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is the end of T2.
If 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.
If 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.
If 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.
If 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.
Month 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.
The (nominal) value indicating temporal position in an ordinal reference system
Value of a temporal extent expressed as a number scaled by a temporal unit
The (numeric) value indicating position within a temporal coordinate system
The temporal unit which provides the precision of a date-time value or scale of a temporal extent
Year 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.