@faubulous/mentor-rdf 2.3.0 → 2.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.js +457 -61
- package/dist/index.js.map +2 -2
- package/dist/ontologies/src.d.ts +3 -3
- package/dist/ontologies/xsd.d.ts +116 -12
- package/dist/rdf/dataset-view.d.ts +12 -3
- package/dist/rdf/reasoners/reasoner.d.ts +6 -0
- package/dist/rdf/store.d.ts +27 -6
- package/package.json +2 -2
- package/src/ontologies/xsd.ttl +270 -35
package/src/ontologies/xsd.ttl
CHANGED
|
@@ -2,79 +2,314 @@
|
|
|
2
2
|
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
3
3
|
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
4
4
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
5
|
-
|
|
5
|
+
# Merged with https://github.com/harryhaaren/lv2/blob/master/schemas/xsd.ttl
|
|
6
|
+
# Manually edited and reviewed.
|
|
7
|
+
# TO DO: inspect and validate regular expressions.
|
|
6
8
|
|
|
7
9
|
xsd: a owl:Ontology ;
|
|
8
10
|
rdfs:label "W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes" ;
|
|
11
|
+
rdfs:comment "XML Schema: Datatypes is part 2 of the specification of the XML Schema language. It defines facilities for defining datatypes to be used in XML Schemas as well as other XML specifications. The datatype language, which is itself represented in XML 1.0, provides a superset of the capabilities found in XML 1.0 document type definitions (DTDs) for specifying datatypes on elements and attributes. " ;
|
|
9
12
|
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#built-in-primitive-datatypes> .
|
|
10
13
|
|
|
14
|
+
xsd:ENTITY a rdfs:Datatype ;
|
|
15
|
+
rdfs:label "ENTITY" ;
|
|
16
|
+
rdfs:comment "ENTITY represents the ENTITY attribute type from [XML]. The ·value space· of ENTITY is the set of all strings that ·match· the NCName production in [Namespaces in XML] and have been declared as an unparsed entity in a document type definition. The ·lexical space· of ENTITY is the set of all strings that ·match· the NCName production in [Namespaces in XML]. The ·base type· of ENTITY is NCName. " ;
|
|
17
|
+
owl:onDatatype xsd:NCName ;
|
|
18
|
+
owl:withRestrictions ( [ xsd:pattern "\\i\\c* ∩ [\\i-[:]][\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
19
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#ENTITY> .
|
|
20
|
+
|
|
21
|
+
xsd:ID a rdfs:Datatype ;
|
|
22
|
+
rdfs:label "ID" ;
|
|
23
|
+
rdfs:comment "ID represents the ID attribute type from [XML]. The ·value space· of ID is the set of all strings that ·match· the NCName production in [Namespaces in XML]. The ·lexical space· of ID is the set of all strings that ·match· the NCName production in [Namespaces in XML]. The ·base type· of ID is NCName." ;
|
|
24
|
+
owl:onDatatype xsd:NCName ;
|
|
25
|
+
owl:withRestrictions ( [ xsd:pattern "\\i\\c* ∩ [\\i-[:]][\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
26
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#ID> .
|
|
27
|
+
|
|
28
|
+
xsd:IDREF a rdfs:Datatype ;
|
|
29
|
+
rdfs:label "IDREF" ;
|
|
30
|
+
rdfs:comment " IDREF represents the IDREF attribute type from [XML]. The ·value space· of IDREF is the set of all strings that ·match· the NCName production in [Namespaces in XML]. The ·lexical space· of IDREF is the set of strings that ·match· the NCName production in [Namespaces in XML]. The ·base type· of IDREF is NCName." ;
|
|
31
|
+
owl:onDatatype xsd:NCName ;
|
|
32
|
+
owl:withRestrictions ( [ xsd:pattern "\\i\\c* ∩ [\\i-[:]][\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
33
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#IDREF> .
|
|
34
|
+
|
|
35
|
+
xsd:NMTOKEN a rdfs:Datatype ;
|
|
36
|
+
rdfs:label "NMTOKEN" ;
|
|
37
|
+
rdfs:comment "NMTOKEN represents the NMTOKEN attribute type from [XML]. The ·value space· of NMTOKEN is the set of tokens that ·match· the Nmtoken production in [XML]. The ·lexical space· of NMTOKEN is the set of strings that ·match· the Nmtoken production in [XML]. The ·base type· of NMTOKEN is token." ;
|
|
38
|
+
owl:onDatatype xsd:token ;
|
|
39
|
+
owl:withRestrictions ( [ xsd:pattern "\\c+" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
40
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#NMTOKEN> .
|
|
41
|
+
|
|
42
|
+
xsd:QName a rdfs:Datatype ;
|
|
43
|
+
rdfs:label "QName" ;
|
|
44
|
+
rdfs:comment "QName represents XML qualified names. The ·value space· of QName is the set of tuples {namespace name, local part}, where namespace name is an anyURI and local part is an NCName. The ·lexical space· of QName is the set of strings that ·match· the QName production of [Namespaces in XML]." ;
|
|
45
|
+
rdfs:comment "XML qualified names." ;
|
|
46
|
+
owl:withRestrictions ( [ xsd:whiteSpace "collapse" ] ) ;
|
|
47
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#QName> .
|
|
48
|
+
|
|
11
49
|
xsd:anyURI a rdfs:Datatype ;
|
|
12
|
-
rdfs:
|
|
50
|
+
rdfs:label "any URI" ;
|
|
51
|
+
rdfs:comment "anyURI represents an Internationalized Resource Identifier Reference (IRI). An anyURI value can be absolute or relative, and may have an optional fragment identifier (i.e., it may be an IRI Reference). This type should be used when the value fulfills the role of an IRI, as defined in [RFC 3987] or its successor(s) in the IETF Standards Track." ;
|
|
52
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
53
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#anyURI> .
|
|
13
54
|
|
|
14
55
|
xsd:base64Binary a rdfs:Datatype ;
|
|
15
|
-
rdfs:
|
|
56
|
+
rdfs:label "base64 binary" ;
|
|
57
|
+
rdfs:comment "base64Binary represents arbitrary Base64-encoded binary data. For base64Binary data the entire binary stream is encoded using the Base64 Encoding defined in [RFC 3548], which is derived from the encoding described in [RFC 2045]." ;
|
|
58
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
59
|
+
owl:withRestrictions ( [ xsd:pattern "(([A-Za-z0-9+/] *[A-Za-z0-9+/] *[A-Za-z0-9+/] *[A-Za-z0-9+/] *)*(([A-Za-z0-9+/] *[A-Za-z0-9+/] *[A-Za-z0-9+/] *[A-Za-z0-9+/])|([A-Za-z0-9+/] *[A-Za-z0-9+/] *[AEIMQUYcgkosw048] *=)|([A-Za-z0-9+/] *[AQgw] *= *=)))?" ] ) ;
|
|
60
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#base64Binary> .
|
|
16
61
|
|
|
17
62
|
xsd:boolean a rdfs:Datatype ;
|
|
18
|
-
rdfs:
|
|
63
|
+
rdfs:label "boolean" ;
|
|
64
|
+
rdfs:comment "boolean represents the values of two-valued logic." ;
|
|
65
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
66
|
+
owl:withRestrictions ( [ xsd:pattern "(true|false|0|1)" ] ) ;
|
|
67
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#boolean> .
|
|
19
68
|
|
|
20
69
|
xsd:byte a rdfs:Datatype ;
|
|
21
|
-
rdfs:
|
|
70
|
+
rdfs:label "byte" ;
|
|
71
|
+
rdfs:comment "byte is ·derived· from short by setting the value of ·maxInclusive· to be 127 and ·minInclusive· to be -128. The ·base type· of byte is short." ;
|
|
72
|
+
owl:onDatatype xsd:short ;
|
|
73
|
+
owl:withRestrictions ( [ xsd:maxInclusive "127"^^xsd:byte ] [ xsd:minInclusive "-128"^^xsd:byte ] ) ;
|
|
74
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#byte> .
|
|
22
75
|
|
|
23
76
|
xsd:date a rdfs:Datatype ;
|
|
24
|
-
rdfs:
|
|
77
|
+
rdfs:label "date" ;
|
|
78
|
+
rdfs:comment "date represents top-open intervals of exactly one day in length on the timelines of dateTime, beginning on the beginning moment of each day, up to but not including the beginning moment of the next day). For non-timezoned values, the top-open intervals disjointly cover the non-timezoned timeline, one per day. For timezoned values, the intervals begin at every minute and therefore overlap." ;
|
|
79
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
80
|
+
owl:withRestrictions ( [ xsd:pattern "-?([1-9][0-9]{3,}|0[0-9]{3})-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?" ] ) ;
|
|
81
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#date> .
|
|
25
82
|
|
|
26
83
|
xsd:dateTime a rdfs:Datatype ;
|
|
27
|
-
rdfs:
|
|
84
|
+
rdfs:label "date time" ;
|
|
85
|
+
rdfs:comment "dateTime represents instants of time, optionally marked with a particular time zone offset. Values representing the same instant but having different time zone offsets are equal but not identical." ;
|
|
86
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
87
|
+
owl:withRestrictions ( [ xsd:pattern "-?[0-9][0-9][0-9][0-9][0-9]*-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])T(([0-1][0-9])|(2[0-4])):[0-5][0-9]:[0-5][0-9](.[0-9]+)?(Z|[-+][0-2][0-9]:[0-5][0-9])?" ] ) ;
|
|
88
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#dateTime> .
|
|
28
89
|
|
|
29
|
-
xsd:
|
|
30
|
-
rdfs:
|
|
90
|
+
xsd:dateTimeStamp a rdfs:Datatype ;
|
|
91
|
+
rdfs:label "date time stamp" ;
|
|
92
|
+
rdfs:comment "The dateTimeStamp datatype is ·derived· from dateTime by giving the value required to its explicitTimezone facet. The result is that all values of dateTimeStamp are required to have explicit time zone offsets and the datatype is totally ordered." ;
|
|
93
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
94
|
+
owl:withRestrictions ( [ xsd:pattern "-?[0-9][0-9][0-9][0-9][0-9]*-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])T(([0-1][0-9])|(2[0-4])):[0-5][0-9]:[0-5][0-9](.[0-9]+)?(Z|[-+][0-2][0-9]:[0-5][0-9])?" ] ) ;
|
|
95
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#dateTimeStamp> .
|
|
31
96
|
|
|
32
97
|
xsd:double a rdfs:Datatype ;
|
|
33
|
-
rdfs:
|
|
98
|
+
rdfs:label "double" ;
|
|
99
|
+
rdfs:comment "The double datatype is patterned after the IEEE double-precision 64-bit floating point datatype [IEEE 754-2008]. Each floating point datatype has a value space that is a subset of the rational numbers. Floating point numbers are often used to approximate arbitrary real numbers." ;
|
|
100
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
101
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) .
|
|
34
102
|
|
|
35
103
|
xsd:duration a rdfs:Datatype ;
|
|
36
|
-
rdfs:
|
|
104
|
+
rdfs:label "duration" ;
|
|
105
|
+
rdfs:comment "duration is a datatype that represents durations of time. The concept of duration being captured is drawn from those of [ISO 8601], specifically durations without fixed endpoints." ;
|
|
106
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
107
|
+
owl:withRestrictions ( [ xsd:pattern "-?P([0-9]+Y)?([0-9]+M)?([0-9]+D)?(T([0-9]+H)?([0-9]+M)?([0-9]+(\\.[0-9]+)?S)?)?" ] [ xsd:whiteSpace "collapse" ] ) .
|
|
37
108
|
|
|
38
109
|
xsd:float a rdfs:Datatype ;
|
|
39
|
-
rdfs:
|
|
110
|
+
rdfs:label "float" ;
|
|
111
|
+
rdfs:comment "The float datatype is patterned after the IEEE single-precision 32-bit floating point datatype [IEEE 754-2008]. Its value space is a subset of the rational numbers. Floating point numbers are often used to approximate arbitrary real numbers." ;
|
|
112
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
113
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] [ xsd:whiteSpace "collapse" ] ) .
|
|
40
114
|
|
|
41
|
-
xsd:
|
|
42
|
-
rdfs:
|
|
115
|
+
xsd:fractionDigits a rdf:Property ;
|
|
116
|
+
rdfs:label "fraction digits" ;
|
|
117
|
+
rdfs:comment "fractionDigits controls the size of the minimum difference between values in the value space of datatypes derived from decimal, by restricting the value space to numbers that are expressible as i x 10^-n where i and n are integers and 0 <= n <= fractionDigits." ;
|
|
118
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
119
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-fractionDigits> .
|
|
43
120
|
|
|
44
|
-
xsd:
|
|
45
|
-
rdfs:comment "integer is ·derived· from decimal by fixing the value of ·fractionDigits· to be 0 and disallowing the trailing decimal point. This results in the standard mathematical concept of the integer numbers. The ·value space· of integer is the infinite set {...,-2,-1,0,1,2,...}. The ·base type· of integer is decimal." .
|
|
121
|
+
xsd:gDay a rdfs:Datatype .
|
|
46
122
|
|
|
47
|
-
xsd:
|
|
48
|
-
|
|
123
|
+
xsd:gMonth a rdfs:Datatype .
|
|
124
|
+
|
|
125
|
+
xsd:gMonthDay a rdfs:Datatype .
|
|
126
|
+
|
|
127
|
+
xsd:gYear a rdfs:Datatype .
|
|
128
|
+
|
|
129
|
+
xsd:gYearMonth a rdfs:Datatype .
|
|
130
|
+
|
|
131
|
+
xsd:hexBinary a rdfs:Datatype ;
|
|
132
|
+
rdfs:label "hex binary" ;
|
|
133
|
+
rdfs:comment "Hex-encoded arbitrary binary data." ;
|
|
134
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
135
|
+
owl:withRestrictions ( [ xsd:pattern "([0-9A-Fa-f][0-9A-Fa-f])*" ] ) .
|
|
136
|
+
|
|
137
|
+
xsd:language a rdfs:Datatype ;
|
|
138
|
+
rdfs:label "language" ;
|
|
139
|
+
rdfs:comment "llanguage represents natural language identifiers as defined by by [RFC 3066] . The ·value space· of language is the set of all strings that are valid language identifiers as defined [RFC 3066] . The ·lexical space· of language is the set of all strings that conform to the pattern [a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})* . The ·base type· of language is token." ;
|
|
140
|
+
owl:onDatatype xsd:token ;
|
|
141
|
+
owl:withRestrictions ( [ xsd:pattern "[a-zA-Z][a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?(-[a-zA-Z0-9][a-zA-Z0-9]?[a-zA-Z0-9]?[a-zA-Z0-9]?[a-zA-Z0-9]?[a-zA-Z0-9]?[a-zA-Z0-9]?[a-zA-Z0-9]?)*" ] ) ;
|
|
142
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#language> .
|
|
143
|
+
|
|
144
|
+
xsd:length a rdf:Property ;
|
|
145
|
+
rdfs:label "length" ;
|
|
146
|
+
rdfs:comment "length is the number of units of length, where units of length varies depending on the type that is being derived from." ;
|
|
147
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
148
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-length> .
|
|
149
|
+
|
|
150
|
+
xsd:maxExclusive a rdf:Property ;
|
|
151
|
+
rdfs:label "max exclusive" ;
|
|
152
|
+
rdfs:comment "maxExclusive is the exclusive upper bound of the value space for a datatype with the ordered property. The value of maxExclusive must be in the value space of the base type or be equal to {value} in {base type definition}." ;
|
|
153
|
+
rdfs:range rdfs:Literal ;
|
|
154
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxExclusive> .
|
|
155
|
+
|
|
156
|
+
xsd:maxInclusive a rdf:Property ;
|
|
157
|
+
rdfs:label "max inclusive" ;
|
|
158
|
+
rdfs:comment "maxInclusive is the inclusive upper bound of the value space for a datatype with the ordered property. The value of maxInclusive must be in the value space of the base type." ;
|
|
159
|
+
rdfs:range rdfs:Literal ;
|
|
160
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxInclusive> .
|
|
161
|
+
|
|
162
|
+
xsd:maxLength a rdf:Property ;
|
|
163
|
+
rdfs:label "max length" ;
|
|
164
|
+
rdfs:comment "minLength is the minimum number of units of length, where units of length varies depending on the type that is being derived from." ;
|
|
165
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
166
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxLength> .
|
|
167
|
+
|
|
168
|
+
xsd:minExclusive a rdf:Property ;
|
|
169
|
+
rdfs:label "min exclusive" ;
|
|
170
|
+
rdfs:comment "minExclusive is the exclusive lower bound of the value space for a datatype with the ordered property. The value of minExclusive must be in the value space of the base type or be equal to {value} in {base type definition}." ;
|
|
171
|
+
rdfs:range rdfs:Literal ;
|
|
172
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minExclusive> .
|
|
173
|
+
|
|
174
|
+
xsd:minInclusive a rdf:Property ;
|
|
175
|
+
rdfs:label "min inclusive" ;
|
|
176
|
+
rdfs:comment "minInclusive is the inclusive lower bound of the value space for a datatype with the ordered property. The value of minInclusive must be in the value space of the base type." ;
|
|
177
|
+
rdfs:range rdfs:Literal ;
|
|
178
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minInclusive> .
|
|
179
|
+
|
|
180
|
+
xsd:minLength a rdf:Property ;
|
|
181
|
+
rdfs:label "min length" ;
|
|
182
|
+
rdfs:comment "maxLength is the maximum number of units of length, where units of length varies depending on the type that is being derived from." ;
|
|
183
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
184
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minLength> .
|
|
49
185
|
|
|
50
186
|
xsd:negativeInteger a rdfs:Datatype ;
|
|
51
|
-
rdfs:
|
|
187
|
+
rdfs:label "negative integer" ;
|
|
188
|
+
rdfs:comment "negativeInteger is ·derived· from nonPositiveInteger by setting the value of ·maxInclusive· to be -1. This results in the standard mathematical concept of the negative integers. The ·value space· of negativeInteger is the infinite set {...,-2,-1}. The ·base type· of negativeInteger is nonPositiveInteger." ;
|
|
189
|
+
owl:onDatatype xsd:nonPositiveInteger ;
|
|
190
|
+
owl:withRestrictions ( [ xsd:maxInclusive -1 ] ) .
|
|
191
|
+
|
|
192
|
+
xsd:pattern a rdf:Property ;
|
|
193
|
+
rdfs:label "pattern" ;
|
|
194
|
+
rdfs:comment "pattern is a constraint on the value space of a datatype which is achieved by constraining the lexical space to literals which match a specific pattern. The value of pattern must be a regular expression." ;
|
|
195
|
+
rdfs:range xsd:string ;
|
|
196
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-pattern> .
|
|
197
|
+
|
|
198
|
+
xsd:positiveInteger a rdfs:Datatype ;
|
|
199
|
+
rdfs:label "positive integer" ;
|
|
200
|
+
rdfs:comment "nonNegativeInteger is ·derived· from integer by setting the value of ·minInclusive· to be 0. This results in the standard mathematical concept of the non-negative integers. The ·value space· of nonNegativeInteger is the infinite set {0,1,2,...}. The ·base type· of nonNegativeInteger is integer." ;
|
|
201
|
+
owl:onDatatype xsd:nonNegativeInteger ;
|
|
202
|
+
owl:withRestrictions ( [ xsd:pattern "[+]?[0-9]*[1-9]+[0-9]*" ] [ xsd:minInclusive 1 ] ) .
|
|
203
|
+
|
|
204
|
+
xsd:time a rdfs:Datatype ;
|
|
205
|
+
rdfs:label "time" ;
|
|
206
|
+
rdfs:comment "time represents instants of time that recur at the same point in each calendar day, or that occur in some arbitrary calendar day." ;
|
|
207
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
208
|
+
owl:withRestrictions ( [ xsd:pattern "(([0-1][0-9])|(2[0-4])):[0-5][0-9]:[0-5][0-9](.[0-9]+)?(Z|[-+][0-2][0-9]:[0-5][0-9])?" ] ) .
|
|
209
|
+
|
|
210
|
+
xsd:totalDigits a rdf:Property ;
|
|
211
|
+
rdfs:label "total digits" ;
|
|
212
|
+
rdfs:comment "totalDigits controls the maximum number of values in the value space of datatypes derived from decimal, by restricting it to numbers that are expressible as i x 10^-n where i and n are integers such that |i| < 10^totalDigits and 0 <= n <= totalDigits." ;
|
|
213
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
214
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-totalDigits> .
|
|
215
|
+
|
|
216
|
+
xsd:unsignedByte a rdfs:Datatype ;
|
|
217
|
+
rdfs:label "unsigned byte" ;
|
|
218
|
+
rdfs:comment "unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort." ;
|
|
219
|
+
owl:onDatatype xsd:unsignedShort ;
|
|
220
|
+
owl:withRestrictions ( [ xsd:maxInclusive "255"^^xsd:unsignedByte ] ) .
|
|
221
|
+
|
|
222
|
+
xsd:Name a rdfs:Datatype ;
|
|
223
|
+
owl:onDatatype xsd:token .
|
|
52
224
|
|
|
53
|
-
xsd:
|
|
225
|
+
xsd:whiteSpace a rdf:Property,
|
|
226
|
+
owl:DatatypeProperty ;
|
|
227
|
+
rdfs:label "white space" ;
|
|
228
|
+
rdfs:comment "A string that describes whitespace normalization for a string type." ;
|
|
229
|
+
rdfs:range [ a rdfs:Datatype ;
|
|
230
|
+
owl:onDatatype xsd:string ;
|
|
231
|
+
owl:withRestrictions ( [ xsd:pattern "(preserve|replace|collapse)" ] ) ] .
|
|
232
|
+
|
|
233
|
+
xsd:decimal a rdfs:Datatype ;
|
|
234
|
+
rdfs:label "decimal" ;
|
|
235
|
+
rdfs:comment "decimal represents a subset of the real numbers, which can be represented by decimal numerals. The ·value space· of decimal is the set of numbers that can be obtained by dividing an integer by a non-negative power of ten, i.e., expressible as i / 10n where i and n are integers and n ≥ 0. Precision is not reflected in this value space; the number 2.0 is not distinct from the number 2.00. The order relation on decimal is the order relation on real numbers, restricted to this subset." ;
|
|
236
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
237
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) .
|
|
238
|
+
|
|
239
|
+
xsd:int a rdfs:Datatype ;
|
|
240
|
+
rdfs:label "int" ;
|
|
241
|
+
rdfs:comment "int is ·derived· from long by setting the value of ·maxInclusive· to be 2147483647 and ·minInclusive· to be -2147483648. The ·base type· of int is long." ;
|
|
242
|
+
owl:onDatatype xsd:long ;
|
|
243
|
+
owl:withRestrictions ( [ xsd:maxInclusive "2147483647"^^xsd:int ] [ xsd:minInclusive "-2147483648"^^xsd:int ] ) .
|
|
244
|
+
|
|
245
|
+
xsd:long a rdfs:Datatype ;
|
|
246
|
+
rdfs:label "long" ;
|
|
247
|
+
rdfs:comment "long is ·derived· from integer by setting the value of ·maxInclusive· to be 9223372036854775807 and ·minInclusive· to be -9223372036854775808. The ·base type· of long is integer." ;
|
|
248
|
+
owl:onDatatype xsd:integer ;
|
|
249
|
+
owl:withRestrictions ( [ xsd:maxInclusive "9223372036854775807"^^xsd:long ] [ xsd:minInclusive "-9223372036854775808"^^xsd:long ] ) .
|
|
54
250
|
|
|
55
251
|
xsd:nonPositiveInteger a rdfs:Datatype ;
|
|
56
|
-
rdfs:
|
|
252
|
+
rdfs:label "non-positive integer" ;
|
|
253
|
+
rdfs:comment "nonPositiveInteger is ·derived· from integer by setting the value of ·maxInclusive· to be 0. This results in the standard mathematical concept of the non-positive integers. The ·value space· of nonPositiveInteger is the infinite set {...,-2,-1,0}. The ·base type· of nonPositiveInteger is integer." ;
|
|
254
|
+
owl:onDatatype xsd:integer ;
|
|
255
|
+
owl:withRestrictions ( [ xsd:pattern "(0|-[0-9]+)" ] [ xsd:maxInclusive 0 ] ) .
|
|
57
256
|
|
|
58
|
-
xsd:
|
|
59
|
-
rdfs:
|
|
257
|
+
xsd:normalizedString a rdfs:Datatype ;
|
|
258
|
+
rdfs:label "normalized string" ;
|
|
259
|
+
rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters." ;
|
|
260
|
+
owl:onDatatype xsd:string .
|
|
60
261
|
|
|
61
262
|
xsd:short a rdfs:Datatype ;
|
|
62
|
-
rdfs:
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
263
|
+
rdfs:label "short" ;
|
|
264
|
+
rdfs:comment "short is ·derived· from int by setting the value of ·maxInclusive· to be 32767 and ·minInclusive· to be -32768. The ·base type· of short is int." ;
|
|
265
|
+
owl:onDatatype xsd:int ;
|
|
266
|
+
owl:withRestrictions ( [ xsd:maxInclusive "32767"^^xsd:short ] [ xsd:minInclusive "-32768"^^xsd:short ] ) .
|
|
66
267
|
|
|
67
|
-
xsd:
|
|
68
|
-
rdfs:
|
|
268
|
+
xsd:token a rdfs:Datatype ;
|
|
269
|
+
rdfs:label "token" ;
|
|
270
|
+
rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters, that have no leading or trailing spaces (#x20) and that have no internal sequences of two or more spaces." ;
|
|
271
|
+
owl:onDatatype xsd:normalizedString .
|
|
69
272
|
|
|
70
273
|
xsd:unsignedInt a rdfs:Datatype ;
|
|
71
|
-
rdfs:
|
|
274
|
+
rdfs:label "unsigned int" ;
|
|
275
|
+
rdfs:comment "unsignedInt is ·derived· from unsignedLong by setting the value of ·maxInclusive· to be 4294967295. The ·base type· of unsignedInt is unsignedLong." ;
|
|
276
|
+
owl:onDatatype xsd:unsignedLong ;
|
|
277
|
+
owl:withRestrictions ( [ xsd:maxInclusive "4294967295"^^xsd:unsignedInt ] ) .
|
|
278
|
+
|
|
279
|
+
xsd:unsignedLong a rdfs:Datatype ;
|
|
280
|
+
rdfs:label "unsigned long" ;
|
|
281
|
+
rdfs:comment "unsignedLong is ·derived· from nonNegativeInteger by setting the value of ·maxInclusive· to be 18446744073709551615. The ·base type· of unsignedLong is nonNegativeInteger." ;
|
|
282
|
+
owl:onDatatype xsd:nonNegativeInteger ;
|
|
283
|
+
owl:withRestrictions ( [ xsd:maxInclusive "18446744073709551615"^^xsd:unsignedLong ] ) .
|
|
72
284
|
|
|
73
285
|
xsd:unsignedShort a rdfs:Datatype ;
|
|
74
|
-
rdfs:
|
|
286
|
+
rdfs:label "unsigned short" ;
|
|
287
|
+
rdfs:comment "unsignedShort is ·derived· from unsignedInt by setting the value of ·maxInclusive· to be 65535. The ·base type· of unsignedShort is unsignedInt." ;
|
|
288
|
+
owl:onDatatype xsd:unsignedInt ;
|
|
289
|
+
owl:withRestrictions ( [ xsd:maxInclusive "65535"^^xsd:unsignedShort ] ) .
|
|
290
|
+
|
|
291
|
+
xsd:NCName a rdfs:Datatype ;
|
|
292
|
+
owl:onDatatype xsd:Name .
|
|
293
|
+
|
|
294
|
+
xsd:integer a rdfs:Datatype ;
|
|
295
|
+
rdfs:label "integer" ;
|
|
296
|
+
rdfs:comment "integer is ·derived· from decimal by fixing the value of ·fractionDigits· to be 0 and disallowing the trailing decimal point. This results in the standard mathematical concept of the integer numbers. The ·value space· of integer is the infinite set {...,-2,-1,0,1,2,...}. The ·base type· of integer is decimal." ;
|
|
297
|
+
owl:onDatatype xsd:decimal ;
|
|
298
|
+
owl:withRestrictions ( [ xsd:pattern "[-+]?[0-9]+" ] [ xsd:fractionDigits 0 ] ) .
|
|
299
|
+
|
|
300
|
+
xsd:string a rdfs:Datatype ;
|
|
301
|
+
rdfs:label "string" ;
|
|
302
|
+
rdfs:comment "The string datatype represents character strings in XML." ;
|
|
303
|
+
owl:onDatatype xsd:anySimpleType .
|
|
304
|
+
|
|
305
|
+
xsd:nonNegativeInteger a rdfs:Datatype ;
|
|
306
|
+
rdfs:label "non-negative integer" ;
|
|
307
|
+
rdfs:comment "nonNegativeInteger is ·derived· from integer by setting the value of ·minInclusive· to be 0. This results in the standard mathematical concept of the non-negative integers. The ·value space· of nonNegativeInteger is the infinite set {0,1,2,...}. The ·base type· of nonNegativeInteger is integer." ;
|
|
308
|
+
owl:onDatatype xsd:integer ;
|
|
309
|
+
owl:withRestrictions ( [ xsd:pattern "[+]?[0-9]+" ] [ xsd:minInclusive 0 ] ) ;
|
|
310
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger> .
|
|
75
311
|
|
|
76
|
-
xsd:
|
|
77
|
-
rdfs:
|
|
312
|
+
xsd:anySimpleType a rdfs:Datatype ;
|
|
313
|
+
rdfs:label "any simple type" ;
|
|
314
|
+
rdfs:comment "The base class of any primitive XSD dataype." .
|
|
78
315
|
|
|
79
|
-
xsd:usignedByte a rdfs:Datatype ;
|
|
80
|
-
rdfs:comment "unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort." .
|