package rdf

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Time.OpenSource

Sourceval time_c_DateTimeDescription : Iri.t

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.

Sourceval time_c_DateTimeInterval : Iri.t

DateTimeInterval is a subclass of ProperInterval, defined using the multi-element DateTimeDescription.

Sourceval time_c_DayOfWeek : Iri.t

The day of week

Sourceval time_c_Duration : Iri.t

Duration of a temporal extent expressed as a number scaled by a temporal unit

Sourceval time_c_DurationDescription : Iri.t

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

Sourceval time_c_GeneralDateTimeDescription : Iri.t

Description of date and time structured with separate values for the various elements of a calendar-clock system

Sourceval time_c_GeneralDurationDescription : Iri.t

Description of temporal extent structured with separate values for the various elements of a calendar-clock system.

Sourceval time_c_Instant : Iri.t

A temporal entity with zero extent or duration

Sourceval time_c_Interval : Iri.t

A temporal entity with an extent or duration

Sourceval time_dt_Number : Iri.t

Note: integer is a specialization of decimal

Sourceval time_c_ProperInterval : Iri.t

A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different

Sourceval time_c_TRS : Iri.t

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.

Sourceval time_c_TemporalEntity : Iri.t

A temporal interval or instant.

Sourceval time_c_TemporalUnit : Iri.t

A temporal unit of measure, which provides a scale factor for a time quantity.

Sourceval time_c_TimePosition : Iri.t

A temporal position described using either a (nominal) value from an ordinal reference system, or a (numeric) value in a temporal coordinate system.

Sourceval time_c_Year : Iri.t

Duration year, not a calendar year!

Sourceval time_after : Iri.t

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.

Sourceval time_before : Iri.t

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.

Sourceval time_day : Iri.t

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.

Sourceval time_dayOfWeek : Iri.t

The day of week, whose value is a member of the class time:DayOfWeek

Sourceval time_dayOfYear : Iri.t

The number of the day within the year

Sourceval time_days : Iri.t

length of a temporal extent expressed in days

Sourceval time_dt_generalDay : Iri.t

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.

Sourceval time_dt_generalMonth : Iri.t

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.

Sourceval time_dt_generalYear : Iri.t

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.

Sourceval time_hasBeginning : Iri.t

Beginning of a temporal entity.

Sourceval time_hasDateTimeDescription : Iri.t

Value of DateTimeInterval expressed as a structured value.

Sourceval time_hasDuration : Iri.t

Duration of a temporal entity, expressed as a scaled value or nominal value

Sourceval time_hasDurationDescription : Iri.t

Duration of a temporal entity, expressed using a structured description

Sourceval time_hasEnd : Iri.t

End of a temporal entity.

Sourceval time_hasMember : Iri.t

Supports the inclusion of temporal entities in other resources, such as temporal reference systems.

Sourceval time_hasTRS : Iri.t

The temporal reference system used by a temporal position or extent description.

Sourceval time_hour : Iri.t

Hour position in a calendar-clock system.

Sourceval time_hours : Iri.t

length of a temporal extent expressed in hours

Sourceval time_inDateTime : Iri.t

Position of an instant, expressed using a structured description

Sourceval time_inTimePosition : Iri.t

Position of a time instant expressed as a TimePosition

Sourceval time_inXSDDateTime : Iri.t

Position of an instant, expressed using xsd:DateTime

Sourceval time_inside : Iri.t

An instant that falls inside the interval. It is not intended to include beginnings and ends of intervals.

Sourceval time_intervalAfter : Iri.t

If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2.

Sourceval time_intervalBefore : Iri.t

If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.

Sourceval time_intervalContains : Iri.t

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.

Sourceval time_intervalDuring : Iri.t

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.

Sourceval time_intervalEquals : Iri.t

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.

Sourceval time_intervalFinishedBy : Iri.t

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.

Sourceval time_intervalFinishes : Iri.t

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.

Sourceval time_intervalMeets : Iri.t

If a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is the beginning of T2.

Sourceval time_intervalMetBy : Iri.t

If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is the end of T2.

Sourceval time_intervalOverlappedBy : Iri.t

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.

Sourceval time_intervalOverlaps : Iri.t

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.

Sourceval time_intervalStartedBy : Iri.t

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.

Sourceval time_intervalStarts : Iri.t

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.

Sourceval time_minute : Iri.t

Minute position in a calendar-clock system.

Sourceval time_minutes : Iri.t

length of a temporal extent expressed in minutes

Sourceval time_month : Iri.t

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.

Sourceval time_months : Iri.t

length of a temporal extent expressed in months

Sourceval time_nominalPosition : Iri.t

The (nominal) value indicating temporal position in an ordinal reference system

Sourceval time_numericDuration : Iri.t

Value of a temporal extent expressed as a number scaled by a temporal unit

Sourceval time_numericPosition : Iri.t

The (numeric) value indicating position within a temporal coordinate system

Sourceval time_second : Iri.t

Second position in a calendar-clock system.

Sourceval time_seconds : Iri.t

length of a temporal extent expressed in seconds

Sourceval time_timeZone : Iri.t

The time zone for clock elements in the temporal position

Sourceval time_unitType : Iri.t

The temporal unit which provides the precision of a date-time value or scale of a temporal extent

Sourceval time_week : Iri.t

The number of the week within the year

Sourceval time_weeks : Iri.t

length of a temporal extent expressed in weeks

Sourceval time_xsdDateTime : Iri.t

Value of DateTimeInterval expressed as a compact value.

Sourceval time_year : Iri.t

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.

Sourceval time_years : Iri.t

length of a temporal extent expressed in years

OCaml

Innovation. Community. Security.