You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
472 lines
9.1 KiB
472 lines
9.1 KiB
@prefix owl: <http://www.w3.org/2002/07/owl#> . |
|
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
|
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . |
|
|
|
xsd: |
|
a owl:Ontology ; |
|
rdfs:comment "XML Schema Datatypes" . |
|
|
|
xsd:anySimpleType |
|
a rdfs:Datatype . |
|
|
|
xsd:ENTITY |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:NCName . |
|
|
|
xsd:ID |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:NCName . |
|
|
|
xsd:IDREF |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:NCName . |
|
|
|
xsd:NCName |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:Name . |
|
|
|
xsd:NMTOKEN |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:token . |
|
|
|
xsd:Name |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:token . |
|
|
|
xsd:QName |
|
a rdfs:Datatype ; |
|
rdfs:label "XML qualified name" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:anyURI |
|
a rdfs:Datatype ; |
|
rdfs:label "URI reference" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:base64Binary |
|
a rdfs:Datatype ; |
|
rdfs:comment "Base64-encoded arbitrary binary data." ; |
|
rdfs:label "base64 binary" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:boolean |
|
a rdfs:Datatype ; |
|
rdfs:label "boolean" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "(true|false)" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:byte |
|
a rdfs:Datatype ; |
|
rdfs:label "byte" ; |
|
owl:onDatatype xsd:short ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:minInclusive -128 |
|
] [ |
|
xsd:maxInclusive 127 |
|
] |
|
) . |
|
|
|
xsd:date |
|
a rdfs:Datatype ; |
|
rdfs:label "date" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
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))?" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:dateTime |
|
a rdfs:Datatype ; |
|
rdfs:label "date time" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
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])T(([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](\\.[0-9]+)?|(24:00:00(\\.0+)?))(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:decimal |
|
a rdfs:Datatype ; |
|
rdfs:comment "A subset of the real numbers, which can be represented by decimal numerals." ; |
|
rdfs:label "decimal" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[+-]?[0-9]*\\.?[0-9]*" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:double |
|
a rdfs:Datatype ; |
|
rdfs:comment "IEEE double-precision 64-bit floating point." ; |
|
rdfs:label "double" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[+-]?[0-9]*\\.?[0-9]*([eE][-+]?[0-9]+)?" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:duration |
|
a rdfs:Datatype ; |
|
rdfs:label "duration" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:float |
|
a rdfs:Datatype ; |
|
rdfs:comment "IEEE single-precision 32-bit floating point." ; |
|
rdfs:label "float" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[+-]?[0-9]*\\.?[0-9]*([eE][-+]?[0-9]+)?" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:fractionDigits |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The total number of digits to the right of the decimal point required to represent a value." ; |
|
rdfs:label "fraction digits" ; |
|
rdfs:range xsd:nonNegativeInteger . |
|
|
|
xsd:gDay |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:gMonth |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:gMonthDay |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:gYear |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:gYearMonth |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:hexBinary |
|
a rdfs:Datatype ; |
|
rdfs:comment "Hex-encoded arbitrary binary data." ; |
|
rdfs:label "hex binary" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[0-9A-F]*" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:int |
|
a rdfs:Datatype ; |
|
rdfs:label "int" ; |
|
owl:onDatatype xsd:long ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:minInclusive -2147483648 |
|
] [ |
|
xsd:maxInclusive 2147483647 |
|
] |
|
) . |
|
|
|
xsd:integer |
|
a rdfs:Datatype ; |
|
rdfs:label "integer" ; |
|
owl:onDatatype xsd:decimal ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[-+]?[0-9]+" |
|
] [ |
|
xsd:fractionDigits 0 |
|
] |
|
) . |
|
|
|
xsd:language |
|
a rdfs:Datatype ; |
|
rdfs:label "language" ; |
|
owl:onDatatype xsd:token ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*" |
|
] |
|
) . |
|
|
|
xsd:long |
|
a rdfs:Datatype ; |
|
rdfs:label "long" ; |
|
owl:onDatatype xsd:integer ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:minInclusive -9223372036854775808 |
|
] [ |
|
xsd:maxInclusive 9223372036854775807 |
|
] |
|
) . |
|
|
|
xsd:maxExclusive |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The exclusive upper bound of an ordered datatype." ; |
|
rdfs:label "max exclusive" . |
|
|
|
xsd:maxInclusive |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The inclusive upper bound of an ordered datatype." ; |
|
rdfs:label "max inclusive" . |
|
|
|
xsd:minExclusive |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The exclusive lower bound of an ordered datatype." ; |
|
rdfs:label "min exclusive" . |
|
|
|
xsd:minInclusive |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The inclusive lower bound of an ordered datatype." ; |
|
rdfs:label "min inclusive" . |
|
|
|
xsd:negativeInteger |
|
a rdfs:Datatype ; |
|
rdfs:label "negative integer" ; |
|
owl:onDatatype xsd:nonPositiveInteger ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:maxInclusive -1 |
|
] |
|
) . |
|
|
|
xsd:nonNegativeInteger |
|
a rdfs:Datatype ; |
|
rdfs:label "non-negative integer" ; |
|
owl:onDatatype xsd:integer ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[0-9]*" |
|
] [ |
|
xsd:minInclusive 0 |
|
] |
|
) . |
|
|
|
xsd:nonPositiveInteger |
|
a rdfs:Datatype ; |
|
rdfs:label "non-positive integer" ; |
|
owl:onDatatype xsd:integer ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "(0|-[0-9]+)" |
|
] [ |
|
xsd:maxInclusive 0 |
|
] |
|
) . |
|
|
|
xsd:normalizedString |
|
a rdfs:Datatype ; |
|
rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters." ; |
|
rdfs:label "normalized string" ; |
|
owl:onDatatype xsd:string ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "replace" |
|
] |
|
) . |
|
|
|
xsd:pattern |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "A regular expression that matches complete valid literals." ; |
|
rdfs:label "pattern" . |
|
|
|
xsd:whiteSpace |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "A string that describes whitespace normalization for a string type." ; |
|
rdfs:label "white space" ; |
|
rdfs:range [ |
|
a rdfs:Datatype ; |
|
owl:onDatatype xsd:string ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "(preserve|replace|collapse)" |
|
] |
|
) |
|
] . |
|
|
|
xsd:positiveInteger |
|
a rdfs:Datatype ; |
|
rdfs:label "positive integer" ; |
|
owl:onDatatype xsd:nonNegativeInteger ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[+]?[0-9]+" |
|
] [ |
|
xsd:minInclusive 1 |
|
] |
|
) . |
|
|
|
xsd:short |
|
a rdfs:Datatype ; |
|
rdfs:label "short" ; |
|
owl:onDatatype xsd:int ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:minInclusive -32768 |
|
] [ |
|
xsd:maxInclusive 32767 |
|
] |
|
) . |
|
|
|
xsd:string |
|
a rdfs:Datatype ; |
|
rdfs:comment "A character string." ; |
|
rdfs:label "string" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "preserve" |
|
] |
|
) . |
|
|
|
xsd:time |
|
a rdfs:Datatype ; |
|
rdfs:label "time" ; |
|
owl:onDatatype xsd:anySimpleType ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:pattern "[1-2][0-9]:[0-5][0-9]:[0-5][0-9].[0-9][0-9][0-9]" |
|
] [ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:token |
|
a rdfs:Datatype ; |
|
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." ; |
|
rdfs:label "token" ; |
|
owl:onDatatype xsd:normalizedString ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:whiteSpace "collapse" |
|
] |
|
) . |
|
|
|
xsd:totalDigits |
|
a rdf:Property , |
|
owl:DatatypeProperty ; |
|
rdfs:comment "The maximum number of decimal digits required to represent a value." ; |
|
rdfs:label "total digits" ; |
|
rdfs:range xsd:positiveInteger . |
|
|
|
xsd:unsignedByte |
|
a rdfs:Datatype ; |
|
rdfs:label "unsigned byte" ; |
|
owl:onDatatype xsd:unsignedShort ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:maxInclusive 255 |
|
] |
|
) . |
|
|
|
xsd:unsignedInt |
|
a rdfs:Datatype ; |
|
rdfs:label "unsigned int" ; |
|
owl:onDatatype xsd:unsignedLong ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:maxInclusive 4294967295 |
|
] |
|
) . |
|
|
|
xsd:unsignedLong |
|
a rdfs:Datatype ; |
|
rdfs:label "unsigned long" ; |
|
owl:onDatatype xsd:nonNegativeInteger ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:maxInclusive 18446744073709551615 |
|
] |
|
) . |
|
|
|
xsd:unsignedShort |
|
a rdfs:Datatype ; |
|
rdfs:label "unsigned short" ; |
|
owl:onDatatype xsd:unsignedInt ; |
|
owl:withRestrictions ( |
|
[ |
|
xsd:maxInclusive 65535 |
|
] |
|
) . |
|
|
|
|