Time
owl:Ontology | |
---|---|
dct:creator |
Hans Cools, MD, knowledge engineer, ontologist, software developer, University of
Basel, Switzerland
|
dct:description |
Formal description of time relations.
|
skos:note |
For formal temporal reasoning, using e.g. the Unix Epoch time.
Basic model is a space-time thing, which can be described in different levels of abstraction,
mostly with input and output, with a beginning and end, wherein a thing can change
and/or act, in a certain way.
(en)
There are properties with list as range. A list keeps things together in a better
way than a blank node and improves reasoning performance. List content is tripled
when needed, e.g. to permit SPARQL querying.
(en)
|
dct:publisher |
Universities of Basel, Bern, and Zürich, Switzerland
|
rdfs:seeAlso | |
dct:title |
An ontology about time relations
|
owl:versionInfo |
2020-06-11
|
Properties
time:after a owl:TransitiveProperty |
|
---|---|
rdfs:comment |
Linking a later to an earlier event.
|
rdfs:domain | |
owl:inverseOf | |
rdfs:isDefinedBy | |
rdfs:label |
after
(en)
nach
(de)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:before a owl:TransitiveProperty |
|
---|---|
rdfs:comment |
Linking an earlier to a later event.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
vor
(de)
before
(en)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:beginsAfter a owl:TransitiveProperty |
|||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Linking a later beginning to an earlier beginning event.
|
||||||||||||||||
rdfs:domain | |||||||||||||||||
owl:inverseOf |
|
||||||||||||||||
rdfs:isDefinedBy | |||||||||||||||||
rdfs:label |
beginnt nach
(de)
begins after
(en)
|
||||||||||||||||
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
||||||||||||||||
rdfs:range | |||||||||||||||||
rdfs:subPropertyOf |
time:beginsBeforeEndOf a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking a beginning event to a later ending of another event.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
begins before end of
(en)
beginnt vor Ende von
(de)
|
skos:note |
Used in an N3 rule conclusion.
|
owl:propertyChainAxiom | |
rdfs:range | |
rdfs:subPropertyOf |
time:beginsDuring a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Specifying an event during which another event begins.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
begins during
(en)
beginnt während
(de)
|
rdfs:range | |
rdfs:subPropertyOf |
time:beginsSameAsEndOf a owl:ObjectProperty |
|||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Linking a beginning event to another event ending at the same moment.
|
||||||||||||||||||
rdfs:domain | |||||||||||||||||||
owl:inverseOf |
|
||||||||||||||||||
rdfs:isDefinedBy | |||||||||||||||||||
rdfs:label |
begins same as end of
(en)
(de)
|
||||||||||||||||||
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
||||||||||||||||||
rdfs:range | |||||||||||||||||||
rdfs:subPropertyOf |
time:calculatingAfter a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event happens after second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingAge a owl:FunctionalProperty |
|
---|---|
rdfs:comment |
Specifying a calculated age in years for a list of something and a reference date
time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Triggering in an N3 rule a backward N3 rule to calculate an age of something depending
on a reference date time.
|
rdfs:range |
time:calculatingBefore a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event happens before second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingBeginsAfter a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event begins after second.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
calculating begins after
(en)
(de)
|
rdfs:range |
time:calculatingBeginsBefore a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event begins before second.
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
rdfs:range |
time:calculatingDuration a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its calculated duration.
Such a triple invokes in an N3 rule a backward N3 rule calculating an event's duration
in premise and returning the duration.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
rdfs:range |
time:calculatingDuring a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event happens during second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
calculating during
(en)
(de)
|
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingEndsAfter a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event ends after second.
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
calculating ends after
(en)
(de)
|
rdfs:range |
time:calculatingEndsBefore a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event ends before second.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
calculating ends before
(en)
(de)
|
rdfs:range |
time:calculatingIncludes a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event includes second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingOverlaps a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and events overlap each other.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingSameBeginning a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
Linking 2 lists with each a beginning and end date time typed literal of an event,
and events beginning at a same time-point.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
rdfs:range |
time:calculatingSameDuration a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and events having same duration.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingSameEnd a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and events ending at a same time-point.
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
(en)
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
rdfs:range |
time:calculatingSameTime a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and events happen during same time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingTakesLessLongThan a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event takes less long than second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:calculatingTakesLongerThan a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking 2 lists with each a beginning and end date time typed literal of an event,
and first event takes longer than second.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
calculating takes longer than
(en)
(de)
|
skos:note |
Such a triple invokes in an N3 rule a backward N3 rule checking this time relation
for 2 events in premise and returning the triple.
|
rdfs:range |
time:dateLiteralToPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking a list with 3 literals, resp representing number of years, number of months
and number of days, to a list with 2 xsd:dateTime typed literals representing a beginning
and an end of a day.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
date literal to period
(en)
Datumliteral zu Periode
(de)
|
skos:note |
Used in an N3 rule triple to invoke a backward N3 rule converting a date described
by 3 literals to a period described by beginning and end date time, in this way explicitly
stating the implicit period of a day margin.
In N3 rules universally quantified variables are declared to pick up the respective
values: (?yearLiteral ?monthLiteral ?dayLiteral) time:dateLiteralToPeriod (?beginning
?end).
(en)
|
rdfs:range |
time:dateToPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking an xsd:date typed literal to a list with 2 xsd:dateTime typed literals representing
a beginning and an end of a day.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
date to period
(en)
Datum zu Periode
(de)
|
skos:note |
Used in a triple to invoke a backward N3 rule converting an xsd:date typed literal
to a period described by beginning and end date time, in this way explicitly stating
the implicit time period margin.
In N3 rules universally quantified variables are declared to pick up the respective
values: ?date time:dateToPeriod (?beginning ?end).
(en)
|
rdfs:range |
time:endsAfter a owl:TransitiveProperty |
|||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Linking a later ending to an earlier ending event.
|
||||||||||||||||
rdfs:domain | |||||||||||||||||
owl:inverseOf |
|
||||||||||||||||
rdfs:isDefinedBy | |||||||||||||||||
rdfs:label |
ends after
(en)
endet nach
(de)
|
||||||||||||||||
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
||||||||||||||||
rdfs:range | |||||||||||||||||
rdfs:subPropertyOf |
time:endsAfterBeginningOf a owl:ObjectProperty |
|||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Linking an ending event to an earlier beginning of another event.
|
||||||||||||||
rdfs:domain | |||||||||||||||
rdfs:isDefinedBy | |||||||||||||||
rdfs:label |
ends after beginning of
(en)
endet nach Beginn von
(de)
|
||||||||||||||
skos:note |
Used in an N3 rule conclusion.
|
||||||||||||||
owl:propertyChainAxiom | |||||||||||||||
rdfs:range | |||||||||||||||
rdfs:subPropertyOf |
|
time:endsDuring a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Specifying an event during which another event ends.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
endet während
(de)
ends during
(en)
|
rdfs:range | |
rdfs:subPropertyOf |
time:hasAge a owl:FunctionalProperty |
|
---|---|
rdfs:comment |
Specifying an age in years of something.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Alter
(de)
has age
(en)
|
rdfs:range |
time:hasAges a owl:FunctionalProperty |
|
---|---|
rdfs:comment |
Linking a group of something to a list of its members' ages in years.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Alter
(de)
has ages
(en)
|
rdfs:range |
time:hasBeginningPeriodMargin a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking an event to a list with 2 xsd:dateTime typed literals representing a beginning
and an end of a period wherein it begins.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
rdfs:range |
time:hasDate a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating something to its date.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has date
(en)
hat Datum
(de)
|
rdfs:range |
time:hasDateLiteralList a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Relating something to its date represented by a list of 3 literals.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Datumliteralliste
(de)
has date literal list
(en)
|
skos:note |
Used in the premise of an N3-rule to convert a date literal list to the respective
calendar date represented by a list of 3 literals.
|
rdfs:range |
time:hasDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Specifying a point in time of something with a date time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Datumzeit
(de)
has date time
(en)
|
rdfs:range |
time:hasDuration a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Specifying a duration of an event.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has duration
(en)
hat Dauer
(de)
|
rdfs:range |
time:hasDurationDescription a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Specifying a duration description for a temporal entity of something.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Dauerbeschreibung
(de)
has duration description
(en)
|
rdfs:range |
time:hasEarliestStartDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its N3-rule-calculated earliest possible start date time, based
on a set maximum event duration, in absence of the start date time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat früheste Startdatumzeit
(de)
has earliest start date time
(en)
|
rdfs:range |
time:hasEndDate a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its end date.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Enddatum
(de)
has end date
(en)
|
rdfs:range |
time:hasEndDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its end date time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has end date time
(en)
hat Enddatumzeit
(de)
|
rdfs:range |
time:hasEndPeriodMargin a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking an event to a list with 2 xsd:dateTime typed literals representing a beginning
and an end of a period wherein it ends.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has end period margin
(en)
hat Endperiodemarginalie
(de)
|
rdfs:range |
time:hasInputDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating a process to its input date-time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Eingabedatumzeit
(de)
has input date time
(en)
|
rdfs:range |
time:hasLatestEndDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its N3-rule-calculated latest possible end date time, based on
a set maximum event duration, in absence of the end date time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has latest end date time
(en)
hat späteste Enddatumzeit
(de)
|
rdfs:range |
time:hasMaxDuration a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its maximum duration.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has maximum duration
(en)
hat maximale Dauer
(de)
|
rdfs:range |
time:hasMedianAge a owl:DatatypeProperty,
|
|
---|---|
rdfs:comment |
Linking a class to the median age of its members.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has median age
(en)
hat Medianalter
(de)
|
rdfs:range |
time:hasOutputDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating a process to its output date-time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has output date time
(en)
hat Ausgabedatumzeit
(de)
|
rdfs:range |
time:hasSameBeginningAs a owl:SymmetricProperty |
|
---|---|
rdfs:comment |
Linking 2 events beginning on the same moment.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat denselben Beginn wie
(de)
has same beginning as
(en)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:hasSameDurationAs a owl:SymmetricProperty |
|
---|---|
rdfs:comment |
Linking 2 events having the same duration.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat dieselbe Dauer wie
(de)
has same duration as
(en)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:hasSameEndAs a owl:SymmetricProperty |
|
---|---|
rdfs:comment |
Linking 2 events ending on the same moment.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has same end as
(en)
hat dasselbe Ende wie
(de)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:hasSameTimeAs a owl:SymmetricProperty |
|
---|---|
rdfs:comment |
Linking 2 events happening at the same time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has same time as
(en)
hat dieselbe Zeit wie
(de)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:hasSnapshotDate a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Specifying a snapshot event's date.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
Used in N3 rules calculating with date and duration using Unix Epoch time.
A snapshot is an event with coinciding beginning and end.
(en)
|
rdfs:range |
time:hasSnapshotDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Specifying a snapshot event's date and time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label | |
skos:note |
A snapshot is an event with coinciding beginning and end.
Used in N3 rules calculating with date time and duration using Unix Epoch time.
(en)
|
rdfs:range |
time:hasStartDate a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its start date.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has start date
(en)
hat Startdatum
(de)
|
rdfs:range |
time:hasStartDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an event to its start date time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Startdatumzeit
(de)
has start date time
(en)
|
rdfs:range |
time:hasYearLiteral a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating something to its year represented by a literal.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Jahrliteral
(de)
has year literal
(en)
|
skos:note |
Used in the premise of an N3-rule to convert a year literal to a period of that year
in the respective calendar with the start and end date represented by a list of 3
literals.
|
rdfs:range |
time:hasYearMonthLiteralList a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Relating something to its year-month represented by a list of 2 literals.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
has year-month literal list
(en)
hat Jahrmonatliteralliste
(de)
|
skos:note |
Used in the premise of an N3-rule to convert a year-month to a period of that month
in that year in the respective calendar with the start and end date represented by
a list of 3 literals.
|
rdfs:range |
time:hasYearMonthPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Relating something to its year-month period.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Jahr-Monatperiode
(de)
has year-month period
(en)
|
skos:note |
Through a series of N3-rules a year-month literal is converted to its year-month period
with the respective calendar start and end date typed literal, and with the start
and end Julian Day Number, to enable interval calculus for temporal reasoning.
|
rdfs:range |
time:hasYearPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Relating something to its year period.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
hat Jahrperiode
(de)
has year period
(en)
|
skos:note |
Through a series of N3-rules a year literal is converted to its year period with the
respective calendar start and end date typed literal, and with the start and end Julian
Day Number, to enable interval calculus for temporal reasoning.
|
rdfs:range |
time:includes a owl:TransitiveProperty |
|||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Specifying an event happening during another event.
|
||||||||||||||||
rdfs:domain | |||||||||||||||||
owl:inverseOf |
|
||||||||||||||||
rdfs:isDefinedBy | |||||||||||||||||
rdfs:label |
beinhaltet
(de)
includes
(en)
|
||||||||||||||||
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
||||||||||||||||
rdfs:range | |||||||||||||||||
rdfs:subPropertyOf |
time:inputHasDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an input of a process to its date-time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
Eingabe hat Datumzeit
(de)
input has date time
(en)
|
owl:propertyChainAxiom | |
rdfs:range |
time:outputHasDateTime a owl:DatatypeProperty |
|
---|---|
rdfs:comment |
Relating an output of a process to its date-time.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
Ausgabe hat Datumzeit
(de)
output has date-time
(en)
|
owl:propertyChainAxiom | |
rdfs:range |
time:overlaps a owl:SymmetricProperty |
|
---|---|
rdfs:comment |
Specifying an event overlapping another event.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
überlappt
(de)
overlaps
(en)
|
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
rdfs:range | |
rdfs:subPropertyOf |
time:takesLessLongThan a owl:TransitiveProperty |
|||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rdfs:comment |
Linking a shorter to a longer event.
|
||||||||||||||||
rdfs:domain | |||||||||||||||||
owl:inverseOf |
|
||||||||||||||||
rdfs:isDefinedBy | |||||||||||||||||
rdfs:label |
takes less long than
(en)
braucht weniger lang wie
(de)
|
||||||||||||||||
skos:note |
Further formalized in an N3 rule by calculation in http://e-editiones.ch/ontology/eventTime_rules.n3,
enabling reasoning with date/time values.
|
||||||||||||||||
rdfs:range | |||||||||||||||||
rdfs:subPropertyOf |
time:yearLiteralToPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking a literal representing number of years to a list with 2 xsd:dateTime typed
literals representing a beginning and an end of a year.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
Jahrliteral zu Periode
(de)
year literal to period
(en)
|
skos:note |
In N3 rules universally quantified variables are declared to pick up the respective
values: ?yearLiteral time:yearLiteralToPeriod (?beginning ?end).
Used in a triple to invoke a backward N3 rule converting a literal to a period described
by beginning and end date time, in this way explicitly stating the implicit period
of a year margin.
(en)
|
rdfs:range |
time:yearMonthLiteralToPeriod a owl:ObjectProperty |
|
---|---|
rdfs:comment |
Linking a list with 2 literals, resp representing number of years and number of months,
to a list with 2 xsd:dateTime typed literals representing a beginning and an end of
a month.
|
rdfs:domain | |
rdfs:isDefinedBy | |
rdfs:label |
Jahrmonatliteral zu Periode
(de)
year month literal to period
(en)
|
skos:note |
Used in an N3 rule triple to invoke a backward N3 rule converting 2 literals to a
period described by beginning and end date time, in this way explicitly stating the
implicit period of a month margin.
In N3 rules universally quantified variables are declared to pick up the respective
values: (?yearLiteral ?monthLiteral) time:yearMonthLiteralToPeriod (?beginning ?end);
at runtime this will generate e.g. subject ("2010" "3") and object (.
(en)
|
rdfs:range |