Skip to content

Add canonical Turtle for RDF-recognized XSD datatypes (ns/rdf-xsd.ttl) #64

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Oct 6, 2025
+228 −0
Merged

Add canonical Turtle for RDF-recognized XSD datatypes (ns/rdf-xsd.ttl) #64

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
af50c90
add rdf-xsd.ttl to ns dir
domel Sep 8, 2025
6615b48
wrong prefix
domel Sep 8, 2025
8c12b1b
add facets as properties
domel Sep 9, 2025
b8a7753
clarifying some rdfs:comment
domel Sep 27, 2025
bc5cf6c
isDefinedBy edited/added
domel Sep 28, 2025
49346a2
remove facets
domel Oct 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
228 changes: 228 additions & 0 deletions ns/rdf-xsd.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,228 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .

<http://www.w3.org/2001/XMLSchema#> a owl:Ontology ;
dc:title "RDF XSD datatypes" ;
dc:date "2025-09-08" ;
dc:description "This file is a description of the XML Schema datatypes used in RDF" .

xsd:string a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#string> ;
rdfs:label "string" ;
rdfs:comment "Character strings. Value space: finite-length sequences of Unicode characters. Lexical form: any finite-length sequence of XML characters matching the XML Char production (i.e., any Unicode scalar value allowed by XML)." .

xsd:boolean a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#boolean> ;
rdfs:label "boolean" ;
rdfs:comment "Two-valued logic. Lexical forms: 'true', 'false', '1', '0'. Value space: {true, false}." .

xsd:decimal a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#decimal> ;
rdfs:label "decimal" ;
rdfs:comment "Arbitrary-precision decimal numbers. Value space: numbers of the form i/10^n with i and n integers (n ≥ 0). No special values (INF/NaN) and no exponential notation in lexical form. Lexical form: an optional leading sign followed by digits, with an optional fractional part using '.' as the decimal separator; no exponent is permitted (e.g., '-1.23', '210', '+100000.00')." .

xsd:integer a rdfs:Datatype ;
rdfs:subClassOf xsd:decimal ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#integer> ;
rdfs:label "integer" ;
rdfs:comment "Signed integers of arbitrary size. Derived from xsd:decimal with fractionDigits=0. Lexical form: optional leading sign followed by one or more decimal digits; no decimal point or exponent (e.g., '-1', '0', '+100000')." .

xsd:double a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#double> ;
rdfs:label "double" ;
rdfs:comment "IEEE 754 64-bit floating-point. Lexical forms use decimal or scientific notation with optional leading sign and exponent; special tokens 'INF', '+INF', '-INF', and 'NaN' are permitted; '+0' and '-0' are distinct lexical forms. Mapping from lexical forms to values is specific to this datatype and its precision. Lexical form (regex-style): (\\+|-)?([0-9]+(\\.[0-9]*)?|\\.[0-9]+)([Ee](\\+|-)?[0-9]+)? |(\\+|-)?INF|NaN." .
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I cannot mentally process this regex for the lexical form. Can we provide an informative more human-friendly version, leaving the regex to be the normative version? (and same for similar datatypes?)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The regex comes from the XSD 1.1 Dataset spec. I'm not sure if it's possible to capture all the nuances in an informal description.


xsd:float a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#float> ;
rdfs:label "float" ;
rdfs:comment "IEEE 754 32-bit floating-point. Lexical forms use decimal or scientific notation with optional leading sign and exponent; special tokens 'INF', '+INF', '-INF', and 'NaN' are permitted; '+0' and '-0' are distinct lexical forms. Mapping from lexical forms to values is specific to this datatype and its precision. Lexical form (regex-style): (\\+|-)?([0-9]+(\\.[0-9]*)?|\\.[0-9]+)([Ee](\\+|-)?[0-9]+)? |(\\+|-)?INF|NaN." .

xsd:date a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#date> ;
rdfs:label "date" ;
rdfs:comment "Calendar dates as top-open day intervals. Lexical form: YYYY-MM-DD with optional timezone. Timezone lexical forms: 'Z' or an offset of the form ±hh:mm with 00 ≤ mm ≤ 59 and |offset| ≤ 14:00 (e.g., '2025-09-27Z', '2025-09-27+02:00')." .
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there any default treatment of dates that omit the timezone?

Is there a reason behind omitting such a date in the examples?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't understand, in the old and new files, there is the same fragment rdfs:comment "Calendar dates as top-open day intervals. Lexical form: YYYY-MM-DD with optional timezone. Timezone lexical forms: 'Z' or an offset of the form ±hh:mm with 00 ≤ mm ≤ 59 and |offset| ≤ 14:00 (e.g., '2025-09-27Z', '2025-09-27+02:00')." .


xsd:time a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#time> ;
rdfs:label "time" ;
rdfs:comment "Times that recur each day or occur on some day. Lexical form: hh:mm:ss(.s+)? with optional timezone. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '23:59:59Z', '08:15:30.5-05:00')." .
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there any default treatment of times that omit the timezone?

Is there a reason behind omitting such a time in the examples?


xsd:dateTime a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#dateTime> ;
rdfs:label "dateTime" ;
rdfs:comment "Instants of time, optionally with timezone. Lexical form: YYYY-MM-DDThh:mm:ss(.s+)? with optional timezone. Values with different explicit offsets can be equal as instants. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '2025-09-27T14:03:00+02:00')." .
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there any default treatment of datetimes that omit the timezone?

Is there a reason behind omitting such a datetime in the examples?


xsd:dateTimeStamp a rdfs:Datatype ;
rdfs:subClassOf xsd:dateTime ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#dateTimeStamp> ;
rdfs:label "dateTimeStamp" ;
rdfs:comment "dateTime with a required explicit timezone offset. Lexical form: YYYY-MM-DDThh:mm:ss(.s+)?(Z|±hh:mm); the timezone offset is mandatory." .
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there a reason behind the omission of examples here and following (and earlier, if I failed to notice some were missing)?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Consistency


xsd:gYear a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#gYear> ;
rdfs:label "gYear" ;
rdfs:comment "Gregorian year. Lexical form: CCYY (optionally with a leading '-' for years BCE and optional timezone). Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00; years are matched by -?([1-9][0-9]{3,}|0[0-9]{3})." .

xsd:gMonth a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#gMonth> ;
rdfs:label "gMonth" ;
rdfs:comment "Gregorian month recurring each year. Lexical form: --MM with optional timezone. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '--02Z', '--11+05:30')." .

xsd:gDay a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#gDay> ;
rdfs:label "gDay" ;
rdfs:comment "Day in a month recurring each month. Lexical form: ---DD with optional timezone. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '---05Z', '---31-03:00')." .

xsd:gYearMonth a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#gYearMonth> ;
rdfs:label "gYearMonth" ;
rdfs:comment "Gregorian year and month. Lexical form: CCYY-MM with optional timezone. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '2025-09Z', '1999-12+01:00')." .

xsd:gMonthDay a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#gMonthDay> ;
rdfs:label "gMonthDay" ;
rdfs:comment "Month and day recurring each year. Lexical form: --MM-DD with optional timezone. Timezone lexical forms: 'Z' or ±hh:mm with |offset| ≤ 14:00 (e.g., '--12-31Z', '--02-29+09:00')." .

xsd:duration a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#duration> ;
rdfs:label "duration" ;
rdfs:comment "Time durations per ISO 8601 (PnYnMnDTnHnMnS), optionally with a leading '-'. Value space pairs a months component and a seconds component; only a partial order is defined. Lexical form: 'P' followed by year/month/day and optionally 'T' followed by hour/minute/second fragments; at least one component must be present; a fractional part is allowed on seconds only (e.g., 'P3Y6M4DT12H30M5.5S', '-P15D')." .

xsd:yearMonthDuration a rdfs:Datatype ;
rdfs:subClassOf xsd:duration ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#yearMonthDuration> ;
rdfs:label "yearMonthDuration" ;
rdfs:comment "Duration restricted to year and month fields (seconds component is 0). Totally ordered; lexical form uses PnYnM with optional leading '-' (e.g., 'P2Y', 'P3M', '-P1Y2M')." .

xsd:dayTimeDuration a rdfs:Datatype ;
rdfs:subClassOf xsd:duration ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#dayTimeDuration> ;
rdfs:label "dayTimeDuration" ;
rdfs:comment "Duration restricted to day, hour, minute, second fields (months component is 0). Totally ordered; lexical form 'PnDTnHnMnS' with optional leading '-' and optional fractional seconds (e.g., 'P30D', 'PT12H30M', 'PT5.25S', '-P1DT2H')." .

xsd:byte a rdfs:Datatype ;
rdfs:subClassOf xsd:short ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#byte> ;
rdfs:label "byte" ;
rdfs:comment "8-bit signed integer. Value space: [-128 .. 127]. Lexical form: optional sign followed by one or more digits; no decimal point or exponent (e.g., '-1', '0', '+100')." .

xsd:short a rdfs:Datatype ;
rdfs:subClassOf xsd:int ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#short> ;
rdfs:label "short" ;
rdfs:comment "16-bit signed integer. Value space: [-32768 .. 32767]. Lexical form: optional sign followed by one or more digits; no decimal point or exponent (e.g., '-1', '0', '+10000')." .

xsd:int a rdfs:Datatype ;
rdfs:subClassOf xsd:long ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#int> ;
rdfs:label "int" ;
rdfs:comment "32-bit signed integer. Value space: [-2147483648 .. 2147483647]. Lexical form: optional sign followed by one or more digits; no decimal point or exponent (e.g., '-1', '0', '+100000')." .

xsd:long a rdfs:Datatype ;
rdfs:subClassOf xsd:integer ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#long> ;
rdfs:label "long" ;
rdfs:comment "64-bit signed integer. Value space: [-9223372036854775808 .. 9223372036854775807]. Lexical form: optional sign followed by one or more digits; no decimal point or exponent." .

xsd:unsignedByte a rdfs:Datatype ;
rdfs:subClassOf xsd:unsignedShort ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#unsignedByte> ;
rdfs:label "unsignedByte" ;
rdfs:comment "8-bit unsigned integer. Value space: [0 .. 255]. Lexical form: optional sign followed by digits; if a sign is present it must be '+', except that zero may be written with an optional '+' or '-' sign in XSD 1.1 lexical space." .

xsd:unsignedShort a rdfs:Datatype ;
rdfs:subClassOf xsd:unsignedInt ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#unsignedShort> ;
rdfs:label "unsignedShort" ;
rdfs:comment "16-bit unsigned integer. Value space: [0 .. 65535]. Lexical form: optional sign followed by digits; if a sign is present it must be '+', except that zero may be written with an optional '+' or '-' sign in XSD 1.1 lexical space." .

xsd:unsignedInt a rdfs:Datatype ;
rdfs:subClassOf xsd:unsignedLong ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#unsignedInt> ;
rdfs:label "unsignedInt" ;
rdfs:comment "32-bit unsigned integer. Value space: [0 .. 4294967295]. Lexical form: optional sign followed by digits; if a sign is present it must be '+', except that zero may be written with an optional '+' or '-' sign in XSD 1.1 lexical space." .

xsd:unsignedLong a rdfs:Datatype ;
rdfs:subClassOf xsd:nonNegativeInteger ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#unsignedLong> ;
rdfs:label "unsignedLong" ;
rdfs:comment "64-bit unsigned integer. Value space: [0 .. 18446744073709551615]. Lexical form: optional sign followed by digits; if a sign is present it must be '+', except that zero may be written with an optional '+' or '-' sign in XSD 1.1 lexical space." .

xsd:positiveInteger a rdfs:Datatype ;
rdfs:subClassOf xsd:nonNegativeInteger ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#positiveInteger> ;
rdfs:label "positiveInteger" ;
rdfs:comment "Integers greater than zero. Value space: {1, 2, ...}. Derived from xsd:nonNegativeInteger with minInclusive=1. Lexical form: optional '+' sign followed by one or more digits; no zero or negative forms." .

xsd:nonNegativeInteger a rdfs:Datatype ;
rdfs:subClassOf xsd:integer ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#nonNegativeInteger> ;
rdfs:label "nonNegativeInteger" ;
rdfs:comment "Integers greater than or equal to zero. Value space: {0, 1, 2, ...}. Lexical form: optional sign followed by digits; if a sign is present it must be '+', except that zero may be written with an optional '+' or '-' sign." .

xsd:negativeInteger a rdfs:Datatype ;
rdfs:subClassOf xsd:nonPositiveInteger ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#negativeInteger> ;
rdfs:label "negativeInteger" ;
rdfs:comment "Integers less than zero. Value space: {..., -2, -1}. Derived from xsd:nonPositiveInteger with maxInclusive=-1. Lexical form: mandatory '-' sign followed by one or more digits." .

xsd:nonPositiveInteger a rdfs:Datatype ;
rdfs:subClassOf xsd:integer ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#nonPositiveInteger> ;
rdfs:label "nonPositiveInteger" ;
rdfs:comment "Integers less than or equal to zero. Value space: {..., -2, -1, 0}. Lexical form: optional sign for zero, otherwise a mandatory '-' sign followed by digits." .

xsd:hexBinary a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#hexBinary> ;
rdfs:label "hexBinary" ;
rdfs:comment "Arbitrary binary data encoded as pairs of hexadecimal digits; each octet is represented by two hex characters [0-9A-Fa-f]. Lexical form: an even-length sequence of hexadecimal digits; two hex digits encode each octet (e.g., '0FB7')." .

xsd:base64Binary a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#base64Binary> ;
rdfs:label "base64Binary" ;
rdfs:comment "Arbitrary binary data encoded using Base64. Lexical space per RFC 2045/3548; optional whitespace allowed per XML rules. Lexical form: Base64 alphabet 'A–Z', 'a–z', '0–9', '+', '/' with optional '=' padding; whitespace is collapsed during validation." .

xsd:anyURI a rdfs:Datatype ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#anyURI> ;
rdfs:label "anyURI" ;
rdfs:comment "Internationalized Resource Identifier (IRI) or IRI reference per RFC 3987. Lexical space is simply xsd:string (no fixed grammar is enforced by XSD); typical lexical forms include absolute or relative IRIs and optional fragment identifiers; processors may apply escaping/IRI-to-URI mapping." .

xsd:language a rdfs:Datatype ;
rdfs:subClassOf xsd:token ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#language> ;
rdfs:label "language" ;
rdfs:comment "Natural language identifiers per BCP 47. Lexical pattern: [a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*." .

xsd:normalizedString a rdfs:Datatype ;
rdfs:subClassOf xsd:string ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#normalizedString> ;
rdfs:label "normalizedString" ;
rdfs:comment "Strings with carriage return, line feed, and tab characters disallowed. Derived from xsd:string; whitespace normalized to replace those characters with spaces. Lexical form: any string not containing #xD, #xA or #x9 (per XML), i.e., with those characters replaced during normalization." .

xsd:token a rdfs:Datatype ;
rdfs:subClassOf xsd:normalizedString ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#token> ;
rdfs:label "token" ;
rdfs:comment "Tokenized strings derived from xsd:normalizedString: no leading or trailing spaces and no internal sequences of multiple spaces. Lexical form: strings with whitespace collapsed (runs of spaces collapsed to a single space; leading/trailing spaces removed)." .

xsd:NMTOKEN a rdfs:Datatype ;
rdfs:subClassOf xsd:token ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#NMTOKEN> ;
rdfs:label "NMTOKEN" ;
rdfs:comment "Values matching the XML Nmtoken production. Derived from xsd:token. Lexical form: one or more NameChar per XML (i.e., matches the XML Nmtoken production)." .

xsd:Name a rdfs:Datatype ;
rdfs:subClassOf xsd:token ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#Name> ;
rdfs:label "Name" ;
rdfs:comment "Values matching the XML Name production. Derived from xsd:token. Lexical form: NameStartChar followed by zero or more NameChar per XML." .

xsd:NCName a rdfs:Datatype ;
rdfs:subClassOf xsd:Name ;
rdfs:isDefinedBy <https://www.w3.org/TR/xmlschema11-2/#NCName> ;
rdfs:label "NCName" ;
rdfs:comment "XML 'non-colonized' names matching the NCName production (i.e., Name without the colon). Derived from xsd:Name. Lexical form: XML NCName (same as Name but disallowing ':')." .