owl:Ontology
dct:contributor	Rebekka Plüss, research assistant and software developer, University of Basel, Switzerland
dct:creator	Hans Cools, MD, knowledge engineer, ontologist, software developer, University of Basel, Switzerland
dct:description	Formal description of calendar, subclasses, related classes, and properties.
dct:issued	2019-12-28T13:45:00+01:00
dct:license	http://creativecommons.org/ licenses/ by/ 3.0/
dct:publisher	Universities of Basel, Bern, and Zürich, Switzerland
dct:title	calendar-ontology
owl:versionInfo	2020-06-11

calendar:Calendar a rdfs:Class
rdfs:comment	System of reckoning time in which the beginning, length, and divisions of a year are defined, sometimes along with multiyear cycles.
rdfs:isDefinedBy	calendar:
rdfs:label	calendar (en) Kalender (de) calendario (it) calendrier (fr)
rdfs:subClassOf	concept:Information

calendar:gregorianCalendar a calendar:Calendar
rdfs:comment	Calendar introduced on 15 October 1582 AD by Pope Gregory XIII, and a correction of the Julian calendar. It is based on a solar year of 365 days. Every fourth year is a leap year of 366 days except for centenary years not evenly divisible by 400.
rdfs:isDefinedBy	calendar:
rdfs:label	calendrier grégorien (fr) calendario gregoriano (it) gregorianischer Kalender (de) Gregorian calendar (en)
skos:note	Has 365.2425 days or 365 days, 5 hours, 49 minutes and 12 seconds per year. This number is used in temoral reasoning.

calendar:julianCalendar a calendar:Calendar
rdfs:comment	Calendar introduced in 46 BC in Rome by Julius Caesar. It is based on a solar year of 365 days. There are 12 months of 30 or 31 days, except for February, which has 28 days with the exception of every leap year when it has 29 days. Every fourth year and centenary year is a leap year of 366 days. The beginning of a year is not fixed on January 1. It was replaced by the Gregorian calendar in 1582 AD.
rdfs:isDefinedBy	calendar:
rdfs:label	calendario juliano (it) julianischer Kalender (de) calendrier julien (fr) Julian calendar (en)
skos:note	Has 365.25 days/year. This number is used in temoral reasoning. A year that is exactly divisible by four is a leap year, except for years that are exactly divisible by 100, but these centurial years are leap years if they are exactly divisible by 400. For example, the years 1700, 1800, and 1900 are not leap years, but the year 2000 is. (en)

calendar:prolepticGregorianCalendar a calendar:Calendar
rdfs:comment	Produced by extending the Gregorian calendar backward to dates preceding its introduction on 15 October 1582.
rdfs:isDefinedBy	calendar:
rdfs:label	proleptischer gregorianischer Kalender (de) proleptic Gregorian calendar (en) calendrier grégorien proleptique (fr) calendario gregoriano proleptico (it)
skos:note	There is no proleptic Gregorian year 0. Year 1 BC is followed by year 1 AD.

calendar:prolepticJulianCalendar a calendar:Calendar
rdfs:comment	Produced by extending the Julian calendar backward to dates preceding its use in stable form from 4 AD on.
rdfs:isDefinedBy	calendar:
rdfs:label	calendario juliano proleptico (it) proleptischer julianischer Kalender (de) calendrier julien proleptique (fr) proleptic Julian calendar (en)
skos:note	There is no proleptic Julian year 0. Year 1 BC is followed by year 1 AD.

calendar:checkGregorianLeapYear a owl:DatatypeProperty
rdfs:comment	Relating a Gregorian date as a list of literals to the message about the year being leap or not.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	gregorianisches Schaltjahr prüfen (de) check Gregorian leap year (en)
skos:note	Used in the premise of the backward 'dateLiteralToDate', 'yearLiteralToPeriod', and 'yearMonthLiteralToPeriod' N3-rules for the Gregorian calendar to invoke its backward 'checkGregorianLeapYear' N3-rules returning the literal message for the year being leap or not.
rdfs:range	rdfs:Literal

calendar:dateLiteralToDate a owl:ObjectProperty
rdfs:comment	Relating a calendar date as a literal list to the list with a calendar-dependent date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Datumliteral zu Datum (de) date literal to date (en)
skos:note	Used in the premise of an N3-rule to invoke the backward N3-rule converting a date literal list to the list with the calendar-dependent date typed literal and the Julian Day Number for temporal reasoning.
rdfs:range	rdf:List

calendar:endYearLiteralToCenturyPeriod a owl:ObjectProperty
rdfs:comment	Relating a list with a century end year literal and its calendar to the list with the calendar-dependent start and end date typed literal, and start and end Julian Day Number of the century.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Endjahrliteral zu Jahrhundert (de) end year literal to century period (en)
skos:note	Used in the premise of an N3-rule to invoke the backward N3-rule converting a century end year literal to the described object list, making explicit the start and end of the century for interval calculus in temporal reasoning. Used in case of an accuracy of a century for an event time indicator, e.g. Gregorian death year '14..'. (en)
rdfs:range	rdf:List

calendar:gregorianListToDate a owl:DatatypeProperty
rdfs:comment	Relating a Gregorian date as a list of literals to its date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Gregorian list to date (en) gregorianische Liste zu Datum (de)
skos:note	Used in the premise of the backward 'dateLiteralToDate', 'yearLiteralToPeriod', and 'yearMonthLiteralToPeriod' N3-rules for the Gregorian calendar to invoke its backward 'gregorianListToDate' N3-rule converting a Gregorian date literal list to its date typed literal.
rdfs:range	xsd:date

calendar:gregorianListToJulianDayNumber a owl:DatatypeProperty
rdfs:comment	Relating a Gregorian date as a list of literals to its Julian Day Number.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Gregorian list to Julian Day Number (en) gregorianische Liste zu julianische Tagesnummer (de)
skos:note	Used in the premise of the backward 'dateLiteralToDate', 'yearLiteralToPeriod', and 'yearMonthLiteralToPeriod' N3-rules for the Gregorian calendar to invoke its backward 'gregorianListToJulianDayNumber' N3-rule converting a Gregorian date literal list to its Julian Day Number.
rdfs:range	calendar:julianDayNumber

calendar:hasCalendar a owl:ObjectProperty
rdfs:comment	Relating an event to a calendar.
rdfs:domain	rdfs:Resource
rdfs:isDefinedBy	calendar:
rdfs:label	has calendar (en) hat Kalender (de)
rdfs:range	calendar:Calendar

calendar:hasEndJulianDayNumber a owl:DatatypeProperty
rdfs:comment	Relating an event to its end Julian Day Number.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	hat End-julianische Tagesnummer (de) has end Julian Day Number (en)
skos:note	Used in an N3-rule to convert a calendar end date literal list of a year or year-month period to an end Julian Day Number integer.
rdfs:range	calendar:julianDayNumber
rdfs:subPropertyOf	calendar:hasJulianDayNumber

calendar:hasGregorianDate a owl:DatatypeProperty
rdfs:comment	Relating something to its Gregorian date.
rdfs:domain	rdfs:Resource
rdfs:isDefinedBy	calendar:
rdfs:label	has Gregorian date (en) hat gregorianisches Datum (de)
rdfs:range	xsd:date

calendar:hasGregorianEndDate a owl:DatatypeProperty
rdfs:comment	Relating an event to its Gregorian end date.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	hat gregorianisches Enddatum (de) has Gregorian end date (en)
rdfs:range	xsd:date

calendar:hasGregorianStartDate a owl:DatatypeProperty
rdfs:comment	Relating an event to its Gregorian start date.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	hat gregorianisches Startdatum (de) has Gregorian start date (en)
rdfs:range	xsd:date

calendar:hasJulianDate

a

owl:DatatypeProperty

rdfs:comment

Relating something to its Julian date.

hat julianisches Datum (de)

has Julian date (en)

rdfs:range

calendar:julianDate a rdfs:Datatype
rdfs:comment	Datatype to type a date in the Julian calendar.
rdfs:isDefinedBy	calendar:
rdfs:label	Datentyp julianisches Datum (de) Julian date datatype (en)

calendar:hasJulianEndDate a owl:DatatypeProperty
rdfs:comment	Relating something to its Julian end date.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	hat julianisches Enddatum (de) has Julian end date (en)
rdfs:range	calendar:julianDate

calendar:hasJulianStartDate a owl:DatatypeProperty
rdfs:comment	Relating something to its Julian start date.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	has Julian start date (en) hat julianisches Startdatum (de)
rdfs:range	calendar:julianDate

calendar:hasMessageLiteral a owl:DatatypeProperty
rdfs:comment	Relating something to a message literal about a calendar related time expression about that something.
rdfs:domain	rdfs:Resource
rdfs:isDefinedBy	calendar:
rdfs:label	hat Nachrichtliteral (de) has message literal (en)
skos:note	Used in an N3-rule; e.g. checking on leap year: "Has leap year."; e.g. checking consistency of e.g. month number, in case > 12: "There are only 12 months in the Gregorian, Julian or proleptic Julian calendar."
rdfs:range	rdfs:Literal

calendar:hasProlepticJulianDate a owl:DatatypeProperty
rdfs:comment	Relating something to its proleptic Julian date.
rdfs:domain	rdfs:Resource
rdfs:isDefinedBy	calendar:
rdfs:label	has proleptic Julian date (en) hat proleptisch julianisches Datum (de)
rdfs:range	calendar:prolepticJulianDate

calendar:hasProlepticJulianEndDate

a

owl:DatatypeProperty

rdfs:comment

Relating something to its proleptic Julian end date.

hat proleptisch julianisches Enddatum (de)

has proleptic Julian end date (en)

rdfs:range

calendar:prolepticJulianDate a rdfs:Datatype
rdfs:comment	Datatype to type a date in the proleptic Julian calendar.
rdfs:isDefinedBy	calendar:
rdfs:label	proleptic Julian date datatype (en) Datentyp proleptisches julianisches Datum (de)

calendar:hasProlepticJulianStartDate a owl:DatatypeProperty
rdfs:comment	Relating something to its proleptic Julian start date.
rdfs:domain	event:Event
rdfs:isDefinedBy	calendar:
rdfs:label	has proleptic Julian start date (en) hat proleptisch julianisches Startdatum (de)
rdfs:range	calendar:prolepticJulianDate

calendar:hasStartJulianDayNumber

a

owl:DatatypeProperty

rdfs:comment

Relating something to its start Julian Day Number.

has start Julian Day Number (en)

hat Start-julianische Tagesnummer (de)

skos:note

Used in an N3-rule to convert a calendar start date literal list of a year or year-month period to a start Julian Day Number integer.

rdfs:range

calendar:julianDayNumber a rdfs:Datatype
rdfs:comment	Datatype to type a Julian Day Number integer. The Julian Day Number (JDN) is the integer assigned to a whole solar day in the Julian day count starting from noon Universal time, with Julian Day Number 0 assigned to the day starting at noon on Monday, January 1, 4713 BC, proleptic Julian calendar (November 24, 4714 BC, in the proleptic Gregorian calendar), a date at which three multi-year cycles started (Indiction, Solar, and Lunar cycles) and which precedes any date in recorded human history. (en)
rdfs:isDefinedBy	calendar:
rdfs:label	Datentyp julianische Tagesnummer (de) Julian Day Number datatype (en)
rdfs:subClassOf	xsd:integer

rdfs:subPropertyOf

calendar:hasJulianDayNumber a owl:DatatypeProperty
rdfs:comment	Relating something to its Julian Day Number.
rdfs:domain	rdfs:Resource
rdfs:isDefinedBy	calendar:
rdfs:label	has Julian Day Number (en) hat julianische Tagesnummer (de)
skos:note	Used in an N3-rule to convert a calendar date literal list to a Julian Day Number.
rdfs:range	calendar:julianDayNumber

calendar:julianDayNumeralToGregorianDate a owl:DatatypeProperty
rdfs:comment	Relating a Julian Day Numeral to its Gregorian date typed literal.
rdfs:domain	xsd:nonNegativeInteger
rdfs:isDefinedBy	calendar:
rdfs:label	julianischer Tag-Numeral zu gregorianischem Datum (de) Julian Day Numeral to Gregorian date (en)
skos:note	Used in the premise of an N3-rule to invoke the eponymous backward N3-rule to convert a Julian Day Numeral, i.e. not typed with calendar:julianDayNumber, to its Gregorian date typed literal.
rdfs:range	xsd:date

calendar:julianListToDate a owl:DatatypeProperty
rdfs:comment	Relating a Julian date as a list of literals to its date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	julianische Liste zu Datum (de) Julian list to date (en)
skos:note	Used in the premise of the backward 'dateLiteralToDate' N3-rules for the Julian calendar to invoke its backward 'julianListToDate' N3-rule converting a Julian date literal list to its date typed literal.
rdfs:range	calendar:julianDate

calendar:julianListToJulianDayNumber a owl:DatatypeProperty
rdfs:comment	Relating a Julian date as a list of literals to its Julian Day Number.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	julianische Liste zu julianische Tagesnummer (de) Julian list to Julian Day Number (en)
skos:note	Used in the premise of the backward 'dateLiteralToDate', 'yearLiteralToPeriod', and 'yearMonthLiteralToPeriod' N3-rules to invoke its backward 'julianListToJulianDayNumber' N3-rule converting a Julian date literal list to its Julian Day Number.
rdfs:range	calendar:julianDayNumber

calendar:julianSetListToDate a owl:DatatypeProperty
rdfs:comment	Relating a Julian date literal list with set month and day to its date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Julian set date list to date (en) gesetzte julianische Datumliste zu Datum (de)
skos:note	Used in the premise of the backward 'yearLiteralToPeriod' and 'yearMonthLiteralToPeriod' N3-rules for the Julian calendar to invoke its backward 'julianSetListToDate' N3-rule converting a Julian date literal list to its date typed literal.
rdfs:range	calendar:julianDate

calendar:prolepticJulianListToDate a owl:DatatypeProperty
rdfs:comment	Relating a proleptic Julian date as a list of literals to its date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	proleptic Julian list to date (en) proleptisch julianische Liste zu Datum (de)
skos:note	Used in the premise of the backward 'dateLiteralToDate' N3-rules for the proleptic Julian calendar to invoke its backward 'prolepticJulianListToDate' N3-rule converting a proleptic Julian date literal list to its date typed literal.
rdfs:range	calendar:prolepticJulianDate

calendar:prolepticJulianListToJulianDayNumber a owl:DatatypeProperty
rdfs:comment	Relating a proleptic Julian date as a list of literals to its Julian Day Number.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	proleptic Julian list to Julian Day Number (en) proleptisch julianische Liste zu julianischer Tagesnummer (de)
skos:note	Used in the premise of the backward 'dateLiteralToDate', 'yearLiteralToPeriod', and 'yearMonthLiteralToPeriod' N3-rules to invoke its backward 'prolepticJulianListToJulianDayNumber' N3-rule converting a proleptic Julian date literal list to its Julian Day Number.
rdfs:range	calendar:julianDayNumber

calendar:prolepticJulianSetListToDate a owl:DatatypeProperty
rdfs:comment	Relating a proleptic Julian date literal list with set month and day, to its date typed literal.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	proleptic Julian set date list to date (en) gesetzte proleptisch julianische Datumliste zu Datum (de)
skos:note	Used in the premise of the backward 'yearLiteralToPeriod' and 'yearMonthLiteralToPeriod' N3-rules for the proleptic Julian calendar to invoke its backward 'prolepticJulianSetListToDate' N3-rule converting a proleptic Julian date literal list to its date typed literal.
rdfs:range	calendar:prolepticJulianDate

calendar:startYearLiteralToCenturyPeriod a owl:ObjectProperty
rdfs:comment	Relating a list with a century start year literal and its calendar to the list with the calendar-dependent start and end date typed literal, and start and end Julian Day Number of the century.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	start year literal to century period (en) Startjahrliteral zu Jahrhundert (de)
skos:note	Used in case of an accuracy of a century for an event time indicator, e.g. Gregorian death year '14..'. Used in the premise of an N3-rule to invoke the backward N3-rule converting a century start year literal to the described object list, making explicit the start and end of the century for interval calculus in temporal reasoning. (en)
rdfs:range	rdf:List

calendar:yearLiteralToDecadePeriod a owl:ObjectProperty
rdfs:comment	Relating a list with a decade start year literal and its calendar to the list with the calendar-dependent start and end date typed literal, and start and end Julian Day Number of the decade.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	Jahrliteral zu Jahrzehnt (de) year literal to decade period (en)
skos:note	Used in the premise of an N3-rule to invoke the backward N3-rule converting a decade start year literal to the described object list, making explicit the start and end of the decade for interval calculus in temporal reasoning.
rdfs:range	rdf:List

calendar:yearLiteralToPeriod a owl:ObjectProperty
rdfs:comment	Relating a calendar year literal to the list with the calendar-dependent start and end date typed literal, and start and end Julian Day Number of the year.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	year literal to period (en) Jahrliteral zu Zeitraum (de)
skos:note	Used in the premise of an N3-rule to invoke the backward N3-rule converting a year literal to the described list, making explicit the start and end of the year for interval calculus in temporal reasoning.
rdfs:range	rdf:List

calendar:yearMonthLiteralToPeriod a owl:ObjectProperty
rdfs:comment	Relating a calendar year-month literal list to the list with the calendar-dependent start and end date typed literal, and start and end Julian Day Number of the month.
rdfs:domain	rdf:List
rdfs:isDefinedBy	calendar:
rdfs:label	year month literal to period (en) Jahr- und Monatliteral zu Zeitraum (de)
skos:note	Used in the premise of an N3-rule to invoke the backward N3-rule converting a year-month literal list to the described object list, making explicit the start and end of the month for interval calculus in temporal reasoning.
rdfs:range	rdf:List

Calendar

Classes

Instances

Properties