diff options
Diffstat (limited to 'schemas.lv2/xsd.ttl')
| -rw-r--r-- | schemas.lv2/xsd.ttl | 270 |
1 files changed, 139 insertions, 131 deletions
diff --git a/schemas.lv2/xsd.ttl b/schemas.lv2/xsd.ttl index 3a0c05a..38bae58 100644 --- a/schemas.lv2/xsd.ttl +++ b/schemas.lv2/xsd.ttl @@ -3,102 +3,38 @@ @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . -<http://www.w3.org/2001/XMLSchema#> +xsd: a owl:Ontology ; rdfs:comment "XML Schema Datatypes" . -xsd:ID +xsd:anySimpleType a rdfs:Datatype ; - owl:onDatatype xsd:NCName . - -xsd:IDREF - a rdfs:Datatype ; - owl:onDatatype xsd:NCName . - -xsd:ENTITY - 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:totalDigits - a rdf:Property , - owl:DatatypeProperty ; - rdfs:range xsd:positiveInteger ; - rdfs:label "total digits" ; - rdfs:comment "The maximum number of decimal digits required to represent a value." . - -xsd:fractionDigits - a rdf:Property , - owl:DatatypeProperty ; - rdfs:range xsd:nonNegativeInteger ; - rdfs:label "fraction digits" ; - rdfs:comment "The total number of digits to the right of the decimal point required to represent a value." . - -xsd:pattern - a rdf:Property , - owl:DatatypeProperty ; - rdfs:label "pattern" ; - rdfs:comment "A regular expression that matches complete valid literals." . - -xsd:maxInclusive - a rdf:Property , - owl:DatatypeProperty ; - rdfs:label "max inclusive" ; - rdfs:comment "The inclusive upper bound of an ordered datatype." . - -xsd:maxExclusive - a rdf:Property , - owl:DatatypeProperty ; - rdfs:label "max exclusive" ; - rdfs:comment "The exclusive upper bound of an ordered datatype." . - -xsd:minInclusive - a rdf:Property , - owl:DatatypeProperty ; - rdfs:label "min inclusive" ; - rdfs:comment "The inclusive lower bound of an ordered datatype." . - -xsd:minExclusive - a rdf:Property , - owl:DatatypeProperty ; - rdfs:label "min exclusive" ; - rdfs:comment "The exclusive lower bound of an ordered datatype." . - -xsd:QName - a rdfs:Datatype ; - rdfs:label "XML qualified name" . + rdfs:comment "The base class of any primitive XSD dataype." ; + rdfs:label "any simple type" . xsd:anyURI a rdfs:Datatype ; - rdfs:label "URI reference" . + rdfs:label "any URI" ; + owl:onDatatype xsd:anySimpleType . xsd:base64Binary a rdfs:Datatype ; - rdfs:label "base64 binary" ; 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: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] *= *=)))?" ] ) . xsd:boolean a rdfs:Datatype ; rdfs:label "boolean" ; + owl:onDatatype xsd:anySimpleType ; owl:withRestrictions ( [ - xsd:pattern "(true|false)" + xsd:pattern "(true|false|0|1)" ] ) . @@ -108,79 +44,97 @@ xsd:byte owl:onDatatype xsd:short ; owl:withRestrictions ( [ - xsd:pattern "[0-9A-F][0-9A-F]" - ] [ - xsd:maxInclusive 127 - ] [ - xsd:minInclusive -128 + xsd:maxInclusive "127"^^xsd:byte + ] + [ + xsd:minInclusive "-128"^^xsd:byte ] ) . xsd:date a rdfs:Datatype ; rdfs:label "date" ; + owl:onDatatype xsd:anySimpleType ; owl:withRestrictions ( [ - xsd:pattern "-?[0-9][0-9][0-9][0-9]([0-9]*)?-(0[1-9]|1[0-2])-([0-3][0-9])([+-]([0-1][0-9]|2[0-3]):[0-5][0-9])?" + 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])(Z|[-+][0-2][0-9]:[0-5][0-9])?" ] ) . xsd:dateTime a rdfs:Datatype ; - rdfs:label "date time" . + rdfs:label "date time" ; + owl:onDatatype xsd:anySimpleType ; + 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])?" + ] + ) . xsd:decimal a rdfs:Datatype ; - rdfs:label "decimal" ; 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:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) . xsd:double a rdfs:Datatype ; - rdfs:label "double" ; 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:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) . xsd:duration a rdfs:Datatype ; - rdfs:label "duration" . + rdfs:label "duration" ; + owl:onDatatype xsd:anySimpleType ; + 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" + ] + ) . xsd:float a rdfs:Datatype ; - rdfs:label "float" ; rdfs:comment "IEEE single-precision 32-bit floating point." ; - owl:onDatatype xsd:double . - -xsd:gDay - a rdfs:Datatype . - -xsd:gMonth - a rdfs:Datatype . - -xsd:gMonthDay - a rdfs:Datatype . - -xsd:gYear - a rdfs:Datatype . + rdfs:label "float" ; + owl:onDatatype xsd:anySimpleType ; + owl:withRestrictions ( + [ + xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" + ] + [ + xsd:whiteSpace "collapse" + ] + ) . -xsd:gYearMonth - a rdfs:Datatype . +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:hexBinary a rdfs:Datatype ; - rdfs:label "hex binary" ; rdfs:comment "Hex-encoded arbitrary binary data." ; + rdfs:label "hex binary" ; + owl:onDatatype xsd:anySimpleType ; owl:withRestrictions ( [ - xsd:pattern "[0-9A-F]*" + xsd:pattern "([0-9A-Fa-f][0-9A-Fa-f])*" ] ) . @@ -190,9 +144,10 @@ xsd:int owl:onDatatype xsd:long ; owl:withRestrictions ( [ - xsd:maxInclusive 2147483647 - ] [ - xsd:minInclusive -2147483648 + xsd:maxInclusive "2147483647"^^xsd:int + ] + [ + xsd:minInclusive "-2147483648"^^xsd:int ] ) . @@ -203,7 +158,8 @@ xsd:integer owl:withRestrictions ( [ xsd:pattern "[-+]?[0-9]+" - ] [ + ] + [ xsd:fractionDigits 0 ] ) . @@ -214,7 +170,7 @@ xsd:language owl:onDatatype xsd:token ; owl:withRestrictions ( [ - xsd:pattern "[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*" + 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]?)*" ] ) . @@ -224,12 +180,37 @@ xsd:long owl:onDatatype xsd:integer ; owl:withRestrictions ( [ - xsd:maxInclusive 9223372036854775807 - ] [ - xsd:minInclusive -9223372036854775808 + xsd:maxInclusive "9223372036854775807"^^xsd:long + ] + [ + xsd:minInclusive "-9223372036854775808"^^xsd:long ] ) . +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" ; @@ -246,8 +227,9 @@ xsd:nonNegativeInteger owl:onDatatype xsd:integer ; owl:withRestrictions ( [ - xsd:pattern "[0-9]*" - ] [ + xsd:pattern "[+]?[0-9]+" + ] + [ xsd:minInclusive 0 ] ) . @@ -259,16 +241,23 @@ xsd:nonPositiveInteger 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 ; - rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters." . + owl:onDatatype xsd:string . + +xsd:pattern + a rdf:Property , + owl:DatatypeProperty ; + rdfs:comment "A regular expression that matches complete valid literals." ; + rdfs:label "pattern" . xsd:positiveInteger a rdfs:Datatype ; @@ -276,8 +265,9 @@ xsd:positiveInteger owl:onDatatype xsd:nonNegativeInteger ; owl:withRestrictions ( [ - xsd:pattern "[+]?[0-9]+" - ] [ + xsd:pattern "[+]?[0-9]*[1-9]+[0-9]*" + ] + [ xsd:minInclusive 1 ] ) . @@ -288,31 +278,34 @@ xsd:short owl:onDatatype xsd:int ; owl:withRestrictions ( [ - xsd:maxInclusive 32767 - ] [ - xsd:minInclusive -32768 + xsd:maxInclusive "32767"^^xsd:short + ] + [ + xsd:minInclusive "-32768"^^xsd:short ] ) . xsd:string a rdfs:Datatype ; + rdfs:comment "A character string." ; rdfs:label "string" ; - rdfs:comment "A character string." . + owl:onDatatype xsd:anySimpleType . 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: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])?" ] ) . 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 ; - 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." . + owl:onDatatype xsd:normalizedString . xsd:unsignedByte a rdfs:Datatype ; @@ -320,7 +313,7 @@ xsd:unsignedByte owl:onDatatype xsd:unsignedShort ; owl:withRestrictions ( [ - xsd:maxInclusive 255 + xsd:maxInclusive "255"^^xsd:unsignedByte ] ) . @@ -330,7 +323,7 @@ xsd:unsignedInt owl:onDatatype xsd:unsignedLong ; owl:withRestrictions ( [ - xsd:maxInclusive 4294967295 + xsd:maxInclusive "4294967295"^^xsd:unsignedInt ] ) . @@ -340,7 +333,7 @@ xsd:unsignedLong owl:onDatatype xsd:nonNegativeInteger ; owl:withRestrictions ( [ - xsd:maxInclusive 18446744073709551615 + xsd:maxInclusive "18446744073709551615"^^xsd:unsignedLong ] ) . @@ -350,6 +343,21 @@ xsd:unsignedShort owl:onDatatype xsd:unsignedInt ; owl:withRestrictions ( [ - xsd:maxInclusive 65535 + xsd:maxInclusive "65535"^^xsd:unsignedShort ] ) . + +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)" + ] + ) + ] . |