time.ttl

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix dct: <http://purl.org/dc/terms/>.
# @prefix timezone: <http://www.w3.org/2006/timezone#>.
@prefix event: <http://e-editiones.ch/ontology/event#>.

@base <http://e-editiones.ch/ontology/time>.
@prefix time: <http://e-editiones.ch/ontology/time#>.

<http://e-editiones.ch/ontology/time>
	a owl:Ontology;
	dct:title "An ontology about time relations"@en;
	dct:description """Formal description of time relations."""@en;
	skos:note """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;
	dct:creator "Hans Cools, MD, knowledge engineer, ontologist, software developer, University of Basel, Switzerland"@en;
	dct:publisher "Universities of Basel, Bern, and Zürich, Switzerland"@en;
	owl:versionInfo "2020-06-11"^^xsd:date;
	skos:note """For formal temporal reasoning, using e.g. the Unix Epoch time."""@en;
	skos:note """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;
	rdfs:seeAlso
		<http://eulersharp.sourceforge.net/2007/07test/rifP.n3>,
		<http://eulersharp.sourceforge.net/2003/03swap/prolog>,
		<http://eulersharp.sourceforge.net/2007/07test/biP.n3>,
		<http://eulersharp.sourceforge.net/2003/03swap/eventTime_rules>.

#
# PROPERTIES
#

time:hasStartDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has start date time"@en, "hat Startdatumzeit"@de;
	rdfs:comment """Relating an event to its start date time."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:dateTime.

time:hasEarliestStartDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has earliest start date time"@en, "hat früheste Startdatumzeit"@de;
	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."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:dateTime.

time:hasStartDate
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has start date"@en, "hat Startdatum"@de;
	rdfs:comment """Relating an event to its start date."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:date.

time:hasEndDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has end date time"@en, "hat Enddatumzeit"@de;
	rdfs:comment """Relating an event to its end date time."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:dateTime.

time:hasLatestEndDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has latest end date time"@en, "hat späteste Enddatumzeit"@de;
	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."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:dateTime.

time:hasEndDate
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has end date"@en, "hat Enddatum"@de;
	rdfs:comment """Relating an event to its end date."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:date.

time:hasDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has date time"@en, "hat Datumzeit"@de;
	rdfs:comment """Specifying a point in time of something with a date time."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range xsd:dateTime.

time:hasDate
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has date"@en, "hat Datum"@de;
	rdfs:comment """Relating something to its date."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range xsd:date.

time:hasInputDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has input date time"@en, "hat Eingabedatumzeit"@de;
	rdfs:comment """Relating a process to its input date-time."""@en;
	rdfs:domain event:Process;
	rdfs:range xsd:dateTime.

time:inputHasDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "input has date time"@en, "Eingabe hat Datumzeit"@de;
	rdfs:comment """Relating an input of a process to its date-time."""@en;
	rdfs:domain event:Input;
	rdfs:range xsd:dateTime;
	owl:propertyChainAxiom (event:isInputOf time:hasInputDateTime).

time:hasOutputDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has output date time"@en, "hat Ausgabedatumzeit"@de;
	rdfs:comment """Relating a process to its output date-time."""@en;
	rdfs:domain event:Process;
	rdfs:range xsd:dateTime.

time:outputHasDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "output has date-time"@en, "Ausgabe hat Datumzeit"@de;
	rdfs:comment """Relating an output of a process to its date-time."""@en;
	rdfs:domain event:Output;
	rdfs:range xsd:dateTime;
	owl:propertyChainAxiom (event:isOutputOf time:hasOutputDateTime).

time:hasYearLiteral #°
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has year literal"@en, "hat Jahrliteral"@de;
	rdfs:comment """Relating something to its year represented by a 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."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range rdfs:Literal.

time:hasYearMonthLiteralList #°
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has year-month literal list"@en, "hat Jahrmonatliteralliste"@de;
	rdfs:comment """Relating something to its year-month represented by a list of 2 literals."""@en;
	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."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range rdf:List.

time:hasDateLiteralList #°
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has date literal list"@en, "hat Datumliteralliste"@de;
	rdfs:comment """Relating something to its date represented by a list of 3 literals."""@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."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range rdf:List.

time:hasYearPeriod
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has year period"@en, "hat Jahrperiode"@de;
	rdfs:comment """Relating something to its 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."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range event:Event.

time:hasYearMonthPeriod
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has year-month period"@en, "hat Jahr-Monatperiode"@de;
	rdfs:comment """Relating something to its 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."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range event:Event.

time:hasDuration
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has duration"@en, "hat Dauer"@de;
	rdfs:comment """Specifying a duration of an event."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:duration.

time:hasMaxDuration
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has maximum duration"@en, "hat maximale Dauer"@de;
	rdfs:comment """Relating an event to its maximum duration."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:duration.

time:hasDurationDescription
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "has duration description"@en, "hat Dauerbeschreibung"@de;
	rdfs:comment """Specifying a duration description for a temporal entity of something."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range rdfs:Literal. # any temporal descriptive URI

time:calculatingDuration
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty;
	rdfs:label "calculating duration"@en, ""@de;
	rdfs:comment """Relating an event to its calculated duration."""@en;
	rdfs:comment """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 event:Event;
	rdfs:range xsd:duration.

time:timeRelatedTo
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "time related to"@en, ""@de;
	rdfs:comment """Relating 2 events in time."""@en;
	owl:oneOf (time:beginsBefore time:beginsBeforeEndOf time:hasSameBeginningAs time:beginsDuring time:beginsAfter time:endsBefore time:hasSameEndAs time:endsDuring time:endsAfter time:before time:after time:overlaps time:hasSameTimeAs time:during time:includes time:hasSameDurationAs time:takesLongerThan time:takesLessLongThan);
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:beginsBefore
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "begins before"@en, "beginnt vor"@de;
	rdfs:comment """Linking an earlier beginning to a later beginning event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingBeginsBefore
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating begins before"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event begins before second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:beginsBeforeEndOf
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "begins before end of"@en, "beginnt vor Ende von"@de;
	rdfs:comment """Linking a beginning event to a later ending of another event."""@en;
	skos:note """Used in an N3 rule conclusion."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:propertyChainAxiom (time:beginsDuring time:endsBefore);
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:endsAfterBeginningOf
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "ends after beginning of"@en, "endet nach Beginn von"@de;
	rdfs:comment """Linking an ending event to an earlier beginning of another event."""@en;
	skos:note """Used in an N3 rule conclusion."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:propertyChainAxiom (time:endsDuring time:beginsAfter);
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:hasSameBeginningAs	#	to be varied with accuracy setting, e.g. year, month, weak, day, hour, minute, second
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:SymmetricProperty;
	rdfs:label "has same beginning as"@en, "hat denselben Beginn wie"@de;
	rdfs:comment """Linking 2 events beginning on the same moment."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingSameBeginning #	to be varied with accuracy setting, e.g. year, month, weak, day, hour, minute, second
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating same beginning"@en, ""@de;
	rdfs:comment """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: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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:beginsDuring
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "begins during"@en, "beginnt während"@de;
	rdfs:comment """Specifying an event during which another event begins."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:beginsAfter
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "begins after"@en, "beginnt nach"@de;
	rdfs:comment """Linking a later beginning to an earlier beginning event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:beginsBefore;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingBeginsAfter
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating begins after"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event begins after second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:endsBefore
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "ends before"@en, "endet vor"@de;
	rdfs:comment """Linking an earlier ending to a later ending event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingEndsBefore
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating ends before"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event ends before second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:hasSameEndAs	#	to be redeclared with accuracy setting, e.g. year, month, weak, day, hour, minute, second
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:SymmetricProperty;
	rdfs:label "has same end as"@en, "hat dasselbe Ende wie"@de;
	rdfs:comment """Linking 2 events ending on the same moment."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingSameEnd
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating same end"@en, ""@de;
	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."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:endsDuring
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "ends during"@en, "endet während"@de;
	rdfs:comment """Specifying an event during which another event ends."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:endsAfter
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "ends after"@en, "endet nach"@de;
	rdfs:comment """Linking a later ending to an earlier ending event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:endsBefore;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingEndsAfter
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating ends after"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event ends after second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:before
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "before"@en, "vor"@de;
	rdfs:comment """Linking an earlier to a later event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingBefore
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating before"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event happens before second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:after
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "after"@en, "nach"@de;
	rdfs:comment """Linking a later to an earlier event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:before;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingAfter
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating after"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event happens after second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:overlaps
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:SymmetricProperty;
	rdfs:label "overlaps"@en, "überlappt"@de;
	rdfs:comment """Specifying an event overlapping another event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingOverlaps
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating overlaps"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and events overlap each other."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:hasSameTimeAs	#	to be redeclared with accuracy setting, e.g. year, month, weak, day, our, minute, second
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:SymmetricProperty;
	rdfs:label "has same time as"@en, "hat dieselbe Zeit wie"@de;
	rdfs:comment """Linking 2 events happening at the same time."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingSameTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating same time"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and events happen during same time."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:during
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "during"@en, "während"@de;
	rdfs:comment """Specifying an event during which another event happens."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingDuring
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating during"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event happens during second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:includes
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "includes"@en, "beinhaltet"@de;
	rdfs:comment """Specifying an event happening during another event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:during;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingIncludes
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating includes"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and first event includes second."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:hasSameDurationAs # to be redeclared with accuracy setting, e.g. year, month, weak, day, our, minute, second
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:SymmetricProperty;
	rdfs:label "has same duration as"@en, "hat dieselbe Dauer wie"@de;
	rdfs:comment """Linking 2 events having the same duration."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingSameDuration
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating same duration"@en, ""@de;
	rdfs:comment """Linking 2 lists with each a beginning and end date time typed literal of an event, and events having same duration."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:takesLongerThan
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "takes longer than"@en, "braucht länger als"@de;
	rdfs:comment """Linking a longer to a shorter event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingTakesLongerThan
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating takes longer than"@en, ""@de;
	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."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:takesLessLongThan
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:TransitiveProperty;
	rdfs:label "takes less long than"@en, "braucht weniger lang wie"@de;
	rdfs:comment """Linking a shorter to a longer event."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:takesLongerThan;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:calculatingTakesLessLongThan
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "calculating takes less long than"@en, ""@de;
	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."""@en;
	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."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:hasSnapshotDateTime
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty; #, owl:FunctionalProperty;
	rdfs:label "has snapshot date time"@en, ""@de;
	rdfs:comment """Specifying a snapshot event's date and time."""@en;
	skos:note """A snapshot is an event with coinciding beginning and end."""@en;
	skos:note """Used in N3 rules calculating with date time and duration using Unix Epoch time."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:dateTime.

time:hasSnapshotDate
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty; #, owl:FunctionalProperty;
	rdfs:label "has snapshot date"@en, ""@de;
	rdfs:comment """Specifying a snapshot event's date."""@en;
	skos:note """A snapshot is an event with coinciding beginning and end."""@en;
	skos:note """Used in N3 rules calculating with date and duration using Unix Epoch time."""@en;
	rdfs:domain event:Event;
	rdfs:range xsd:date.

time:dateLiteralToPeriod #° + time zone
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "date literal to period"@en, "Datumliteral zu Periode"@de;
	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."""@en;
	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."""@en;
	skos:note """In N3 rules universally quantified variables are declared to pick up the respective values: (?yearLiteral ?monthLiteral ?dayLiteral) time:dateLiteralToPeriod (?beginning ?end)."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.
	
time:yearMonthLiteralToPeriod #° + time zone
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "year month literal to period"@en, "Jahrmonatliteral zu Periode"@de;
	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."""@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."""@en;
	skos:note """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:domain rdf:List;
	rdfs:range rdf:List.

time:yearLiteralToPeriod #° + time zone
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "year literal to period"@en, "Jahrliteral zu Periode"@de;
	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."""@en;
	skos:note """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;
	skos:note """In N3 rules universally quantified variables are declared to pick up the respective values: ?yearLiteral time:yearLiteralToPeriod (?beginning ?end)."""@en;
	rdfs:domain rdf:List;
	rdfs:range rdf:List.

time:dateToPeriod
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "date to period"@en, "Datum zu Periode"@de;
	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."""@en;
	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."""@en;
	skos:note """In N3 rules universally quantified variables are declared to pick up the respective values: ?date time:dateToPeriod (?beginning ?end)."""@en;
	rdfs:domain xsd:date;
	rdfs:range rdf:List.

time:hasBeginningPeriodMargin
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has beginning period margin"@en, ""@de;
	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."""@en;
	rdfs:domain event:Event;
	rdfs:range rdf:List.

time:hasEndPeriodMargin
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "has end period margin"@en, "hat Endperiodemarginalie"@de;
	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."""@en;
	rdfs:domain event:Event;
	rdfs:range rdf:List.

time:hasAge
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:FunctionalProperty;
	rdfs:label "has age"@en, "hat Alter"@de;
	rdfs:comment """Specifying an age in years of something."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range xsd:decimal.

time:hasAges
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:FunctionalProperty;
	rdfs:label "has ages"@en, "hat Alter"@de;
	rdfs:comment """Linking a group of something to a list of its members' ages in years."""@en;
	rdfs:domain rdfs:Class;
	rdfs:range rdf:List.

time:calculatingAge
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:FunctionalProperty;
	rdfs:label "calculating age"@en, ""@de;
	rdfs:comment """Specifying a calculated age in years for a list of something and a reference date time."""@en;
	skos:note """Triggering in an N3 rule a backward N3 rule to calculate an age of something depending on a reference date time."""@en;
	rdfs:domain rdf:List;
	rdfs:range xsd:decimal.

time:hasMedianAge
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:DatatypeProperty, owl:FunctionalProperty;
	rdfs:label "has median age"@en, "hat Medianalter"@de;
	rdfs:comment """Linking a class to the median age of its members."""@en;
	rdfs:domain rdfs:Class;
	rdfs:range xsd:decimal.

time:endsSameAsBeginningOf
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "ends same as beginning of"@en, ""@de;
	rdfs:comment """Linking an ending event to another event beginning at the same moment."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:beginsSameAsEndOf;
	rdfs:domain event:Event;
	rdfs:range event:Event.

time:beginsSameAsEndOf
	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
	a owl:ObjectProperty;
	rdfs:label "begins same as end of"@en, ""@de;
	rdfs:comment """Linking a beginning event to another event ending at the same moment."""@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."""@en;
	rdfs:subPropertyOf time:timeRelatedTo;
	owl:inverseOf time:endsSameAsBeginningOf;
	rdfs:domain event:Event;
	rdfs:range event:Event.

# time:hasTimeZone
#	a owl:DatatypeProperty, owl:FunctionalProperty;
#	rdfs:isDefinedBy <http://e-editiones.ch/ontology/time#>;
#	rdfs:comment """Specifying a time zone of something."""@en;
#	rdfs:comment """Time zone extracted from an xsd:date, xsd:dateTime or xsd:time typed literal with rif builtin functions."""@en;
#	rdfs:seeAlso <http://eulersharp.sourceforge.net/2006/02swap/rif-plugin.yap>, <http://eulersharp.sourceforge.net/2007/07test/rifP.n3>;
#	skos:note """Used in N3 rules calculating with date and duration using Unix Epoch time."""@en;
#	rdfs:range xsd:dayTimeDuration.