@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/dist/index.js
CHANGED
|
@@ -1,9 +1,23 @@
|
|
|
1
1
|
// src/ontologies/xsd.ts
|
|
2
2
|
var _XSD = "http://www.w3.org/2001/XMLSchema#";
|
|
3
3
|
var XSD = {
|
|
4
|
-
/**
|
|
4
|
+
/** 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. */
|
|
5
|
+
"ENTITY": "http://www.w3.org/2001/XMLSchema#ENTITY",
|
|
6
|
+
/** 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. */
|
|
7
|
+
"ID": "http://www.w3.org/2001/XMLSchema#ID",
|
|
8
|
+
/** 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. */
|
|
9
|
+
"IDREF": "http://www.w3.org/2001/XMLSchema#IDREF",
|
|
10
|
+
"NCName": "http://www.w3.org/2001/XMLSchema#NCName",
|
|
11
|
+
/** 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. */
|
|
12
|
+
"NMTOKEN": "http://www.w3.org/2001/XMLSchema#NMTOKEN",
|
|
13
|
+
"Name": "http://www.w3.org/2001/XMLSchema#Name",
|
|
14
|
+
/** 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]. */
|
|
15
|
+
"QName": "http://www.w3.org/2001/XMLSchema#QName",
|
|
16
|
+
/** The base class of any primitive XSD dataype. */
|
|
17
|
+
"anySimpleType": "http://www.w3.org/2001/XMLSchema#anySimpleType",
|
|
18
|
+
/** 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. */
|
|
5
19
|
"anyURI": "http://www.w3.org/2001/XMLSchema#anyURI",
|
|
6
|
-
/** base64Binary represents arbitrary Base64-encoded binary data.
|
|
20
|
+
/** 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]. */
|
|
7
21
|
"base64Binary": "http://www.w3.org/2001/XMLSchema#base64Binary",
|
|
8
22
|
/** boolean represents the values of two-valued logic. */
|
|
9
23
|
"boolean": "http://www.w3.org/2001/XMLSchema#boolean",
|
|
@@ -13,6 +27,8 @@ var XSD = {
|
|
|
13
27
|
"date": "http://www.w3.org/2001/XMLSchema#date",
|
|
14
28
|
/** 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. */
|
|
15
29
|
"dateTime": "http://www.w3.org/2001/XMLSchema#dateTime",
|
|
30
|
+
/** 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. */
|
|
31
|
+
"dateTimeStamp": "http://www.w3.org/2001/XMLSchema#dateTimeStamp",
|
|
16
32
|
/** 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. */
|
|
17
33
|
"decimal": "http://www.w3.org/2001/XMLSchema#decimal",
|
|
18
34
|
/** 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. */
|
|
@@ -21,17 +37,47 @@ var XSD = {
|
|
|
21
37
|
"duration": "http://www.w3.org/2001/XMLSchema#duration",
|
|
22
38
|
/** 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. */
|
|
23
39
|
"float": "http://www.w3.org/2001/XMLSchema#float",
|
|
40
|
+
/** 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. */
|
|
41
|
+
"fractionDigits": "http://www.w3.org/2001/XMLSchema#fractionDigits",
|
|
42
|
+
"gDay": "http://www.w3.org/2001/XMLSchema#gDay",
|
|
43
|
+
"gMonth": "http://www.w3.org/2001/XMLSchema#gMonth",
|
|
44
|
+
"gMonthDay": "http://www.w3.org/2001/XMLSchema#gMonthDay",
|
|
45
|
+
"gYear": "http://www.w3.org/2001/XMLSchema#gYear",
|
|
46
|
+
"gYearMonth": "http://www.w3.org/2001/XMLSchema#gYearMonth",
|
|
47
|
+
/** Hex-encoded arbitrary binary data. */
|
|
48
|
+
"hexBinary": "http://www.w3.org/2001/XMLSchema#hexBinary",
|
|
24
49
|
/** 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. */
|
|
25
50
|
"int": "http://www.w3.org/2001/XMLSchema#int",
|
|
26
51
|
/** 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. */
|
|
27
52
|
"integer": "http://www.w3.org/2001/XMLSchema#integer",
|
|
53
|
+
/** 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. */
|
|
54
|
+
"language": "http://www.w3.org/2001/XMLSchema#language",
|
|
55
|
+
/** length is the number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
56
|
+
"length": "http://www.w3.org/2001/XMLSchema#length",
|
|
28
57
|
/** 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. */
|
|
29
58
|
"long": "http://www.w3.org/2001/XMLSchema#long",
|
|
59
|
+
/** 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}. */
|
|
60
|
+
"maxExclusive": "http://www.w3.org/2001/XMLSchema#maxExclusive",
|
|
61
|
+
/** 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. */
|
|
62
|
+
"maxInclusive": "http://www.w3.org/2001/XMLSchema#maxInclusive",
|
|
63
|
+
/** minLength is the minimum number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
64
|
+
"maxLength": "http://www.w3.org/2001/XMLSchema#maxLength",
|
|
65
|
+
/** 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}. */
|
|
66
|
+
"minExclusive": "http://www.w3.org/2001/XMLSchema#minExclusive",
|
|
67
|
+
/** 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. */
|
|
68
|
+
"minInclusive": "http://www.w3.org/2001/XMLSchema#minInclusive",
|
|
69
|
+
/** maxLength is the maximum number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
70
|
+
"minLength": "http://www.w3.org/2001/XMLSchema#minLength",
|
|
30
71
|
/** 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. */
|
|
31
72
|
"negativeInteger": "http://www.w3.org/2001/XMLSchema#negativeInteger",
|
|
73
|
+
/** 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. */
|
|
32
74
|
"nonNegativeInteger": "http://www.w3.org/2001/XMLSchema#nonNegativeInteger",
|
|
33
75
|
/** 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. */
|
|
34
76
|
"nonPositiveInteger": "http://www.w3.org/2001/XMLSchema#nonPositiveInteger",
|
|
77
|
+
/** The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters. */
|
|
78
|
+
"normalizedString": "http://www.w3.org/2001/XMLSchema#normalizedString",
|
|
79
|
+
/** 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. */
|
|
80
|
+
"pattern": "http://www.w3.org/2001/XMLSchema#pattern",
|
|
35
81
|
/** 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. */
|
|
36
82
|
"positiveInteger": "http://www.w3.org/2001/XMLSchema#positiveInteger",
|
|
37
83
|
/** 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. */
|
|
@@ -40,20 +86,40 @@ var XSD = {
|
|
|
40
86
|
"string": "http://www.w3.org/2001/XMLSchema#string",
|
|
41
87
|
/** time represents instants of time that recur at the same point in each calendar day, or that occur in some arbitrary calendar day. */
|
|
42
88
|
"time": "http://www.w3.org/2001/XMLSchema#time",
|
|
89
|
+
/** 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. */
|
|
90
|
+
"token": "http://www.w3.org/2001/XMLSchema#token",
|
|
91
|
+
/** 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. */
|
|
92
|
+
"totalDigits": "http://www.w3.org/2001/XMLSchema#totalDigits",
|
|
93
|
+
/** unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort. */
|
|
94
|
+
"unsignedByte": "http://www.w3.org/2001/XMLSchema#unsignedByte",
|
|
43
95
|
/** unsignedInt is ·derived· from unsignedLong by setting the value of ·maxInclusive· to be 4294967295. The ·base type· of unsignedInt is unsignedLong. */
|
|
44
96
|
"unsignedInt": "http://www.w3.org/2001/XMLSchema#unsignedInt",
|
|
97
|
+
/** unsignedLong is ·derived· from nonNegativeInteger by setting the value of ·maxInclusive· to be 18446744073709551615. The ·base type· of unsignedLong is nonNegativeInteger. */
|
|
98
|
+
"unsignedLong": "http://www.w3.org/2001/XMLSchema#unsignedLong",
|
|
45
99
|
/** unsignedShort is ·derived· from unsignedInt by setting the value of ·maxInclusive· to be 65535. The ·base type· of unsignedShort is unsignedInt. */
|
|
46
100
|
"unsignedShort": "http://www.w3.org/2001/XMLSchema#unsignedShort",
|
|
47
|
-
/**
|
|
48
|
-
"
|
|
49
|
-
/** unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort. */
|
|
50
|
-
"usignedByte": "http://www.w3.org/2001/XMLSchema#usignedByte"
|
|
101
|
+
/** A string that describes whitespace normalization for a string type. */
|
|
102
|
+
"whiteSpace": "http://www.w3.org/2001/XMLSchema#whiteSpace"
|
|
51
103
|
};
|
|
52
104
|
var _xsd = { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#" };
|
|
53
105
|
var xsd = {
|
|
54
|
-
/**
|
|
106
|
+
/** 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. */
|
|
107
|
+
"ENTITY": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#ENTITY", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#ENTITY" },
|
|
108
|
+
/** 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. */
|
|
109
|
+
"ID": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#ID", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#ID" },
|
|
110
|
+
/** 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. */
|
|
111
|
+
"IDREF": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#IDREF", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#IDREF" },
|
|
112
|
+
"NCName": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#NCName", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#NCName" },
|
|
113
|
+
/** 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. */
|
|
114
|
+
"NMTOKEN": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#NMTOKEN", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#NMTOKEN" },
|
|
115
|
+
"Name": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#Name", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#Name" },
|
|
116
|
+
/** 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]. */
|
|
117
|
+
"QName": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#QName", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#QName" },
|
|
118
|
+
/** The base class of any primitive XSD dataype. */
|
|
119
|
+
"anySimpleType": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#anySimpleType", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#anySimpleType" },
|
|
120
|
+
/** 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. */
|
|
55
121
|
"anyURI": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#anyURI", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#anyURI" },
|
|
56
|
-
/** base64Binary represents arbitrary Base64-encoded binary data.
|
|
122
|
+
/** 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]. */
|
|
57
123
|
"base64Binary": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#base64Binary", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#base64Binary" },
|
|
58
124
|
/** boolean represents the values of two-valued logic. */
|
|
59
125
|
"boolean": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#boolean", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#boolean" },
|
|
@@ -63,6 +129,8 @@ var xsd = {
|
|
|
63
129
|
"date": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#date", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#date" },
|
|
64
130
|
/** 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. */
|
|
65
131
|
"dateTime": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#dateTime", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#dateTime" },
|
|
132
|
+
/** 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. */
|
|
133
|
+
"dateTimeStamp": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#dateTimeStamp", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#dateTimeStamp" },
|
|
66
134
|
/** 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. */
|
|
67
135
|
"decimal": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#decimal", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#decimal" },
|
|
68
136
|
/** 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. */
|
|
@@ -71,17 +139,47 @@ var xsd = {
|
|
|
71
139
|
"duration": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#duration", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#duration" },
|
|
72
140
|
/** 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. */
|
|
73
141
|
"float": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#float", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#float" },
|
|
142
|
+
/** 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. */
|
|
143
|
+
"fractionDigits": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#fractionDigits", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#fractionDigits" },
|
|
144
|
+
"gDay": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#gDay", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#gDay" },
|
|
145
|
+
"gMonth": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#gMonth", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#gMonth" },
|
|
146
|
+
"gMonthDay": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#gMonthDay", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#gMonthDay" },
|
|
147
|
+
"gYear": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#gYear", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#gYear" },
|
|
148
|
+
"gYearMonth": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#gYearMonth", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#gYearMonth" },
|
|
149
|
+
/** Hex-encoded arbitrary binary data. */
|
|
150
|
+
"hexBinary": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#hexBinary", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#hexBinary" },
|
|
74
151
|
/** 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. */
|
|
75
152
|
"int": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#int", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#int" },
|
|
76
153
|
/** 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. */
|
|
77
154
|
"integer": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#integer", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#integer" },
|
|
155
|
+
/** 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. */
|
|
156
|
+
"language": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#language", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#language" },
|
|
157
|
+
/** length is the number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
158
|
+
"length": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#length", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#length" },
|
|
78
159
|
/** 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. */
|
|
79
160
|
"long": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#long", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#long" },
|
|
161
|
+
/** 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}. */
|
|
162
|
+
"maxExclusive": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#maxExclusive", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#maxExclusive" },
|
|
163
|
+
/** 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. */
|
|
164
|
+
"maxInclusive": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#maxInclusive", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#maxInclusive" },
|
|
165
|
+
/** minLength is the minimum number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
166
|
+
"maxLength": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#maxLength", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#maxLength" },
|
|
167
|
+
/** 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}. */
|
|
168
|
+
"minExclusive": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#minExclusive", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#minExclusive" },
|
|
169
|
+
/** 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. */
|
|
170
|
+
"minInclusive": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#minInclusive", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#minInclusive" },
|
|
171
|
+
/** maxLength is the maximum number of units of length, where units of length varies depending on the type that is being derived from. */
|
|
172
|
+
"minLength": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#minLength", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#minLength" },
|
|
80
173
|
/** 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. */
|
|
81
174
|
"negativeInteger": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#negativeInteger", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#negativeInteger" },
|
|
175
|
+
/** 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. */
|
|
82
176
|
"nonNegativeInteger": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#nonNegativeInteger", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" },
|
|
83
177
|
/** 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. */
|
|
84
178
|
"nonPositiveInteger": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#nonPositiveInteger", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#nonPositiveInteger" },
|
|
179
|
+
/** The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters. */
|
|
180
|
+
"normalizedString": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#normalizedString", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#normalizedString" },
|
|
181
|
+
/** 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. */
|
|
182
|
+
"pattern": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#pattern", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#pattern" },
|
|
85
183
|
/** 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. */
|
|
86
184
|
"positiveInteger": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#positiveInteger", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#positiveInteger" },
|
|
87
185
|
/** 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. */
|
|
@@ -90,14 +188,20 @@ var xsd = {
|
|
|
90
188
|
"string": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#string", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#string" },
|
|
91
189
|
/** time represents instants of time that recur at the same point in each calendar day, or that occur in some arbitrary calendar day. */
|
|
92
190
|
"time": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#time", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#time" },
|
|
191
|
+
/** 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. */
|
|
192
|
+
"token": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#token", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#token" },
|
|
193
|
+
/** 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. */
|
|
194
|
+
"totalDigits": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#totalDigits", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#totalDigits" },
|
|
195
|
+
/** unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort. */
|
|
196
|
+
"unsignedByte": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#unsignedByte", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#unsignedByte" },
|
|
93
197
|
/** unsignedInt is ·derived· from unsignedLong by setting the value of ·maxInclusive· to be 4294967295. The ·base type· of unsignedInt is unsignedLong. */
|
|
94
198
|
"unsignedInt": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#unsignedInt", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#unsignedInt" },
|
|
199
|
+
/** unsignedLong is ·derived· from nonNegativeInteger by setting the value of ·maxInclusive· to be 18446744073709551615. The ·base type· of unsignedLong is nonNegativeInteger. */
|
|
200
|
+
"unsignedLong": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#unsignedLong", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#unsignedLong" },
|
|
95
201
|
/** unsignedShort is ·derived· from unsignedInt by setting the value of ·maxInclusive· to be 65535. The ·base type· of unsignedShort is unsignedInt. */
|
|
96
202
|
"unsignedShort": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#unsignedShort", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#unsignedShort" },
|
|
97
|
-
/**
|
|
98
|
-
"
|
|
99
|
-
/** unsignedByte is ·derived· from unsignedShort by setting the value of ·maxInclusive· to be 255. The ·base type· of unsignedByte is unsignedShort. */
|
|
100
|
-
"usignedByte": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#usignedByte", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#usignedByte" }
|
|
203
|
+
/** A string that describes whitespace normalization for a string type. */
|
|
204
|
+
"whiteSpace": { termType: "NamedNode", value: "http://www.w3.org/2001/XMLSchema#whiteSpace", equals: (other) => other && (other.termType === "NamedNode" || other.type === "NamedNode") && other.value === "http://www.w3.org/2001/XMLSchema#whiteSpace" }
|
|
101
205
|
};
|
|
102
206
|
|
|
103
207
|
// src/ontologies/sparql.ts
|
|
@@ -4119,6 +4223,7 @@ var DatasetView = class _DatasetView {
|
|
|
4119
4223
|
this._p = options.predicate ?? null;
|
|
4120
4224
|
this._o = options.object ?? null;
|
|
4121
4225
|
this._scope = _DatasetView._resolveScope(store, options);
|
|
4226
|
+
this._excludeInferred = this._scope === void 0 && options.includeInferred === false && store.reasoner !== void 0;
|
|
4122
4227
|
}
|
|
4123
4228
|
static _resolveScope(store, options) {
|
|
4124
4229
|
const graphs = options.graphs ?? options.graphUris?.map((uri) => store.dataFactory.namedNode(uri));
|
|
@@ -4153,6 +4258,9 @@ var DatasetView = class _DatasetView {
|
|
|
4153
4258
|
let n = 0;
|
|
4154
4259
|
if (this._scope === void 0) {
|
|
4155
4260
|
n = this._store.countQuads(this._s, this._p, this._o, null);
|
|
4261
|
+
if (this._excludeInferred) {
|
|
4262
|
+
n -= this._countInferred();
|
|
4263
|
+
}
|
|
4156
4264
|
} else {
|
|
4157
4265
|
for (const graph of this._scope) {
|
|
4158
4266
|
n += this._store.countQuads(this._s, this._p, this._o, graph);
|
|
@@ -4162,6 +4270,18 @@ var DatasetView = class _DatasetView {
|
|
|
4162
4270
|
this._cachedSizeVersion = this._store.version;
|
|
4163
4271
|
return n;
|
|
4164
4272
|
}
|
|
4273
|
+
/**
|
|
4274
|
+
* Count the quads of the view's pattern in the inference graphs of the store.
|
|
4275
|
+
*/
|
|
4276
|
+
_countInferred() {
|
|
4277
|
+
let n = 0;
|
|
4278
|
+
for (const graphUri of this._store.getGraphs()) {
|
|
4279
|
+
if (this._store.isInferenceGraph(graphUri)) {
|
|
4280
|
+
n += this._store.countQuads(this._s, this._p, this._o, this._store.dataFactory.namedNode(graphUri));
|
|
4281
|
+
}
|
|
4282
|
+
}
|
|
4283
|
+
return n;
|
|
4284
|
+
}
|
|
4165
4285
|
/**
|
|
4166
4286
|
* Not supported: the view is read-only.
|
|
4167
4287
|
* @throws An error indicating that the view is read-only.
|
|
@@ -4194,6 +4314,9 @@ var DatasetView = class _DatasetView {
|
|
|
4194
4314
|
if (this._scope !== void 0 && !this._scope.some((graph) => graph.equals(quad5.graph))) {
|
|
4195
4315
|
return false;
|
|
4196
4316
|
}
|
|
4317
|
+
if (this._excludeInferred && this._store.isInferenceGraph(quad5.graph)) {
|
|
4318
|
+
return false;
|
|
4319
|
+
}
|
|
4197
4320
|
return this._store.has(quad5);
|
|
4198
4321
|
}
|
|
4199
4322
|
/**
|
|
@@ -4212,7 +4335,9 @@ var DatasetView = class _DatasetView {
|
|
|
4212
4335
|
const o = _DatasetView._intersectTerm(this._o, object);
|
|
4213
4336
|
let scope = this._scope;
|
|
4214
4337
|
if (graph != null) {
|
|
4215
|
-
if (
|
|
4338
|
+
if (this._excludeInferred && this._store.isInferenceGraph(graph)) {
|
|
4339
|
+
scope = [];
|
|
4340
|
+
} else if (scope === void 0 || scope.some((g) => g.equals(graph))) {
|
|
4216
4341
|
scope = [graph];
|
|
4217
4342
|
} else {
|
|
4218
4343
|
scope = [];
|
|
@@ -4226,7 +4351,7 @@ var DatasetView = class _DatasetView {
|
|
|
4226
4351
|
predicate: p ?? this._p,
|
|
4227
4352
|
object: o ?? this._o,
|
|
4228
4353
|
graphs: scope,
|
|
4229
|
-
includeInferred: false
|
|
4354
|
+
includeInferred: scope !== void 0 || this._excludeInferred ? false : void 0
|
|
4230
4355
|
});
|
|
4231
4356
|
}
|
|
4232
4357
|
/**
|
|
@@ -4247,7 +4372,11 @@ var DatasetView = class _DatasetView {
|
|
|
4247
4372
|
}
|
|
4248
4373
|
*_iterate() {
|
|
4249
4374
|
if (this._scope === void 0) {
|
|
4250
|
-
|
|
4375
|
+
for (const quad5 of this._store.matchQuads(this._s, this._p, this._o, null)) {
|
|
4376
|
+
if (!this._excludeInferred || !this._store.isInferenceGraph(quad5.graph)) {
|
|
4377
|
+
yield quad5;
|
|
4378
|
+
}
|
|
4379
|
+
}
|
|
4251
4380
|
} else {
|
|
4252
4381
|
for (const graph of this._scope) {
|
|
4253
4382
|
yield* this._store.matchQuads(this._s, this._p, this._o, graph);
|
|
@@ -8401,7 +8530,7 @@ skos:hiddenLabel
|
|
|
8401
8530
|
skos:notation
|
|
8402
8531
|
rdfs:label "notation"@en ;
|
|
8403
8532
|
rdfs:isDefinedBy <http://www.w3.org/2004/02/skos/core> ;
|
|
8404
|
-
skos:definition "A notation, also known as classification code, is a string of characters such as
|
|
8533
|
+
skos:definition "A notation, also known as classification code, is a string of characters such as \\"T58.5\\" or \\"303.4833\\" used to uniquely identify a concept within the scope of a given concept scheme."@en ;
|
|
8405
8534
|
skos:scopeNote "By convention, skos:notation is used with a typed literal in the object position of the triple."@en ;
|
|
8406
8535
|
a owl:DatatypeProperty, rdf:Property .
|
|
8407
8536
|
|
|
@@ -8575,7 +8704,7 @@ skos:exactMatch
|
|
|
8575
8704
|
skos:closeMatch
|
|
8576
8705
|
rdfs:label "has close match"@en ;
|
|
8577
8706
|
rdfs:isDefinedBy <http://www.w3.org/2004/02/skos/core> ;
|
|
8578
|
-
skos:definition "skos:closeMatch is used to link two concepts that are sufficiently similar that they can be used interchangeably in some information retrieval applications. In order to avoid the possibility of
|
|
8707
|
+
skos:definition "skos:closeMatch is used to link two concepts that are sufficiently similar that they can be used interchangeably in some information retrieval applications. In order to avoid the possibility of \\"compound errors\\" when combining mappings across more than two concept schemes, skos:closeMatch is not declared to be a transitive property."@en ;
|
|
8579
8708
|
a owl:ObjectProperty, owl:SymmetricProperty, rdf:Property ;
|
|
8580
8709
|
rdfs:subPropertyOf skos:mappingRelation .`;
|
|
8581
8710
|
var sparql2 = `@prefix sparql: <https://w3id.org/sparql-syntax#> .
|
|
@@ -9304,82 +9433,318 @@ var xsd2 = `@prefix owl: <http://www.w3.org/2002/07/owl#> .
|
|
|
9304
9433
|
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
9305
9434
|
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
9306
9435
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
9307
|
-
|
|
9436
|
+
# Merged with https://github.com/harryhaaren/lv2/blob/master/schemas/xsd.ttl
|
|
9437
|
+
# Manually edited and reviewed.
|
|
9438
|
+
# TO DO: inspect and validate regular expressions.
|
|
9308
9439
|
|
|
9309
9440
|
xsd: a owl:Ontology ;
|
|
9310
9441
|
rdfs:label "W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes" ;
|
|
9442
|
+
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. " ;
|
|
9311
9443
|
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#built-in-primitive-datatypes> .
|
|
9312
9444
|
|
|
9445
|
+
xsd:ENTITY a rdfs:Datatype ;
|
|
9446
|
+
rdfs:label "ENTITY" ;
|
|
9447
|
+
rdfs:comment "ENTITY represents the ENTITY attribute type from [XML]. The \xB7value space\xB7 of ENTITY is the set of all strings that \xB7match\xB7 the NCName production in [Namespaces in XML] and have been declared as an unparsed entity in a document type definition. The \xB7lexical space\xB7 of ENTITY is the set of all strings that \xB7match\xB7 the NCName production in [Namespaces in XML]. The \xB7base type\xB7 of ENTITY is NCName. " ;
|
|
9448
|
+
owl:onDatatype xsd:NCName ;
|
|
9449
|
+
owl:withRestrictions ( [ xsd:pattern "\\\\i\\\\c* \u2229 [\\\\i-[:]][\\\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
9450
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#ENTITY> .
|
|
9451
|
+
|
|
9452
|
+
xsd:ID a rdfs:Datatype ;
|
|
9453
|
+
rdfs:label "ID" ;
|
|
9454
|
+
rdfs:comment "ID represents the ID attribute type from [XML]. The \xB7value space\xB7 of ID is the set of all strings that \xB7match\xB7 the NCName production in [Namespaces in XML]. The \xB7lexical space\xB7 of ID is the set of all strings that \xB7match\xB7 the NCName production in [Namespaces in XML]. The \xB7base type\xB7 of ID is NCName." ;
|
|
9455
|
+
owl:onDatatype xsd:NCName ;
|
|
9456
|
+
owl:withRestrictions ( [ xsd:pattern "\\\\i\\\\c* \u2229 [\\\\i-[:]][\\\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
9457
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#ID> .
|
|
9458
|
+
|
|
9459
|
+
xsd:IDREF a rdfs:Datatype ;
|
|
9460
|
+
rdfs:label "IDREF" ;
|
|
9461
|
+
rdfs:comment " IDREF represents the IDREF attribute type from [XML]. The \xB7value space\xB7 of IDREF is the set of all strings that \xB7match\xB7 the NCName production in [Namespaces in XML]. The \xB7lexical space\xB7 of IDREF is the set of strings that \xB7match\xB7 the NCName production in [Namespaces in XML]. The \xB7base type\xB7 of IDREF is NCName." ;
|
|
9462
|
+
owl:onDatatype xsd:NCName ;
|
|
9463
|
+
owl:withRestrictions ( [ xsd:pattern "\\\\i\\\\c* \u2229 [\\\\i-[:]][\\\\c-[:]]*" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
9464
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#IDREF> .
|
|
9465
|
+
|
|
9466
|
+
xsd:NMTOKEN a rdfs:Datatype ;
|
|
9467
|
+
rdfs:label "NMTOKEN" ;
|
|
9468
|
+
rdfs:comment "NMTOKEN represents the NMTOKEN attribute type from [XML]. The \xB7value space\xB7 of NMTOKEN is the set of tokens that \xB7match\xB7 the Nmtoken production in [XML]. The \xB7lexical space\xB7 of NMTOKEN is the set of strings that \xB7match\xB7 the Nmtoken production in [XML]. The \xB7base type\xB7 of NMTOKEN is token." ;
|
|
9469
|
+
owl:onDatatype xsd:token ;
|
|
9470
|
+
owl:withRestrictions ( [ xsd:pattern "\\\\c+" ] [ xsd:whiteSpace "collapse" ] ) ;
|
|
9471
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#NMTOKEN> .
|
|
9472
|
+
|
|
9473
|
+
xsd:QName a rdfs:Datatype ;
|
|
9474
|
+
rdfs:label "QName" ;
|
|
9475
|
+
rdfs:comment "QName represents XML qualified names. The \xB7value space\xB7 of QName is the set of tuples {namespace name, local part}, where namespace name is an anyURI and local part is an NCName. The \xB7lexical space\xB7 of QName is the set of strings that \xB7match\xB7 the QName production of [Namespaces in XML]." ;
|
|
9476
|
+
rdfs:comment "XML qualified names." ;
|
|
9477
|
+
owl:withRestrictions ( [ xsd:whiteSpace "collapse" ] ) ;
|
|
9478
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#QName> .
|
|
9479
|
+
|
|
9313
9480
|
xsd:anyURI a rdfs:Datatype ;
|
|
9314
|
-
rdfs:
|
|
9481
|
+
rdfs:label "any URI" ;
|
|
9482
|
+
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." ;
|
|
9483
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9484
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#anyURI> .
|
|
9315
9485
|
|
|
9316
9486
|
xsd:base64Binary a rdfs:Datatype ;
|
|
9317
|
-
rdfs:
|
|
9487
|
+
rdfs:label "base64 binary" ;
|
|
9488
|
+
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]." ;
|
|
9489
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9490
|
+
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] *= *=)))?" ] ) ;
|
|
9491
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#base64Binary> .
|
|
9318
9492
|
|
|
9319
9493
|
xsd:boolean a rdfs:Datatype ;
|
|
9320
|
-
rdfs:
|
|
9494
|
+
rdfs:label "boolean" ;
|
|
9495
|
+
rdfs:comment "boolean represents the values of two-valued logic." ;
|
|
9496
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9497
|
+
owl:withRestrictions ( [ xsd:pattern "(true|false|0|1)" ] ) ;
|
|
9498
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#boolean> .
|
|
9321
9499
|
|
|
9322
9500
|
xsd:byte a rdfs:Datatype ;
|
|
9323
|
-
rdfs:
|
|
9501
|
+
rdfs:label "byte" ;
|
|
9502
|
+
rdfs:comment "byte is \xB7derived\xB7 from short by setting the value of \xB7maxInclusive\xB7 to be 127 and \xB7minInclusive\xB7 to be -128. The \xB7base type\xB7 of byte is short." ;
|
|
9503
|
+
owl:onDatatype xsd:short ;
|
|
9504
|
+
owl:withRestrictions ( [ xsd:maxInclusive "127"^^xsd:byte ] [ xsd:minInclusive "-128"^^xsd:byte ] ) ;
|
|
9505
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#byte> .
|
|
9324
9506
|
|
|
9325
9507
|
xsd:date a rdfs:Datatype ;
|
|
9326
|
-
rdfs:
|
|
9508
|
+
rdfs:label "date" ;
|
|
9509
|
+
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." ;
|
|
9510
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9511
|
+
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))?" ] ) ;
|
|
9512
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#date> .
|
|
9327
9513
|
|
|
9328
9514
|
xsd:dateTime a rdfs:Datatype ;
|
|
9329
|
-
rdfs:
|
|
9330
|
-
|
|
9331
|
-
|
|
9332
|
-
|
|
9515
|
+
rdfs:label "date time" ;
|
|
9516
|
+
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." ;
|
|
9517
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9518
|
+
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])?" ] ) ;
|
|
9519
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#dateTime> .
|
|
9520
|
+
|
|
9521
|
+
xsd:dateTimeStamp a rdfs:Datatype ;
|
|
9522
|
+
rdfs:label "date time stamp" ;
|
|
9523
|
+
rdfs:comment "The dateTimeStamp datatype is \xB7derived\xB7 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." ;
|
|
9524
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9525
|
+
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])?" ] ) ;
|
|
9526
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#dateTimeStamp> .
|
|
9333
9527
|
|
|
9334
9528
|
xsd:double a rdfs:Datatype ;
|
|
9335
|
-
rdfs:
|
|
9529
|
+
rdfs:label "double" ;
|
|
9530
|
+
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." ;
|
|
9531
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9532
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) .
|
|
9336
9533
|
|
|
9337
9534
|
xsd:duration a rdfs:Datatype ;
|
|
9338
|
-
rdfs:
|
|
9535
|
+
rdfs:label "duration" ;
|
|
9536
|
+
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." ;
|
|
9537
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9538
|
+
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" ] ) .
|
|
9339
9539
|
|
|
9340
9540
|
xsd:float a rdfs:Datatype ;
|
|
9341
|
-
rdfs:
|
|
9541
|
+
rdfs:label "float" ;
|
|
9542
|
+
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." ;
|
|
9543
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9544
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] [ xsd:whiteSpace "collapse" ] ) .
|
|
9545
|
+
|
|
9546
|
+
xsd:fractionDigits a rdf:Property ;
|
|
9547
|
+
rdfs:label "fraction digits" ;
|
|
9548
|
+
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." ;
|
|
9549
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
9550
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-fractionDigits> .
|
|
9551
|
+
|
|
9552
|
+
xsd:gDay a rdfs:Datatype .
|
|
9553
|
+
|
|
9554
|
+
xsd:gMonth a rdfs:Datatype .
|
|
9555
|
+
|
|
9556
|
+
xsd:gMonthDay a rdfs:Datatype .
|
|
9557
|
+
|
|
9558
|
+
xsd:gYear a rdfs:Datatype .
|
|
9559
|
+
|
|
9560
|
+
xsd:gYearMonth a rdfs:Datatype .
|
|
9561
|
+
|
|
9562
|
+
xsd:hexBinary a rdfs:Datatype ;
|
|
9563
|
+
rdfs:label "hex binary" ;
|
|
9564
|
+
rdfs:comment "Hex-encoded arbitrary binary data." ;
|
|
9565
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9566
|
+
owl:withRestrictions ( [ xsd:pattern "([0-9A-Fa-f][0-9A-Fa-f])*" ] ) .
|
|
9567
|
+
|
|
9568
|
+
xsd:language a rdfs:Datatype ;
|
|
9569
|
+
rdfs:label "language" ;
|
|
9570
|
+
rdfs:comment "llanguage represents natural language identifiers as defined by by [RFC 3066] . The \xB7value space\xB7 of language is the set of all strings that are valid language identifiers as defined [RFC 3066] . The \xB7lexical space\xB7 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 \xB7base type\xB7 of language is token." ;
|
|
9571
|
+
owl:onDatatype xsd:token ;
|
|
9572
|
+
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]?)*" ] ) ;
|
|
9573
|
+
rdfs:seeAlso <https://www.w3.org/TR/xmlschema11-2/#language> .
|
|
9574
|
+
|
|
9575
|
+
xsd:length a rdf:Property ;
|
|
9576
|
+
rdfs:label "length" ;
|
|
9577
|
+
rdfs:comment "length is the number of units of length, where units of length varies depending on the type that is being derived from." ;
|
|
9578
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
9579
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-length> .
|
|
9580
|
+
|
|
9581
|
+
xsd:maxExclusive a rdf:Property ;
|
|
9582
|
+
rdfs:label "max exclusive" ;
|
|
9583
|
+
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}." ;
|
|
9584
|
+
rdfs:range rdfs:Literal ;
|
|
9585
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxExclusive> .
|
|
9586
|
+
|
|
9587
|
+
xsd:maxInclusive a rdf:Property ;
|
|
9588
|
+
rdfs:label "max inclusive" ;
|
|
9589
|
+
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." ;
|
|
9590
|
+
rdfs:range rdfs:Literal ;
|
|
9591
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxInclusive> .
|
|
9592
|
+
|
|
9593
|
+
xsd:maxLength a rdf:Property ;
|
|
9594
|
+
rdfs:label "max length" ;
|
|
9595
|
+
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." ;
|
|
9596
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
9597
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-maxLength> .
|
|
9598
|
+
|
|
9599
|
+
xsd:minExclusive a rdf:Property ;
|
|
9600
|
+
rdfs:label "min exclusive" ;
|
|
9601
|
+
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}." ;
|
|
9602
|
+
rdfs:range rdfs:Literal ;
|
|
9603
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minExclusive> .
|
|
9604
|
+
|
|
9605
|
+
xsd:minInclusive a rdf:Property ;
|
|
9606
|
+
rdfs:label "min inclusive" ;
|
|
9607
|
+
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." ;
|
|
9608
|
+
rdfs:range rdfs:Literal ;
|
|
9609
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minInclusive> .
|
|
9610
|
+
|
|
9611
|
+
xsd:minLength a rdf:Property ;
|
|
9612
|
+
rdfs:label "min length" ;
|
|
9613
|
+
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." ;
|
|
9614
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
9615
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-minLength> .
|
|
9342
9616
|
|
|
9343
|
-
xsd:
|
|
9344
|
-
rdfs:
|
|
9617
|
+
xsd:negativeInteger a rdfs:Datatype ;
|
|
9618
|
+
rdfs:label "negative integer" ;
|
|
9619
|
+
rdfs:comment "negativeInteger is \xB7derived\xB7 from nonPositiveInteger by setting the value of \xB7maxInclusive\xB7 to be -1. This results in the standard mathematical concept of the negative integers. The \xB7value space\xB7 of negativeInteger is the infinite set {...,-2,-1}. The \xB7base type\xB7 of negativeInteger is nonPositiveInteger." ;
|
|
9620
|
+
owl:onDatatype xsd:nonPositiveInteger ;
|
|
9621
|
+
owl:withRestrictions ( [ xsd:maxInclusive -1 ] ) .
|
|
9345
9622
|
|
|
9346
|
-
xsd:
|
|
9347
|
-
rdfs:
|
|
9623
|
+
xsd:pattern a rdf:Property ;
|
|
9624
|
+
rdfs:label "pattern" ;
|
|
9625
|
+
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." ;
|
|
9626
|
+
rdfs:range xsd:string ;
|
|
9627
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-pattern> .
|
|
9348
9628
|
|
|
9349
|
-
xsd:
|
|
9350
|
-
rdfs:
|
|
9629
|
+
xsd:positiveInteger a rdfs:Datatype ;
|
|
9630
|
+
rdfs:label "positive integer" ;
|
|
9631
|
+
rdfs:comment "nonNegativeInteger is \xB7derived\xB7 from integer by setting the value of \xB7minInclusive\xB7 to be 0. This results in the standard mathematical concept of the non-negative integers. The \xB7value space\xB7 of nonNegativeInteger is the infinite set {0,1,2,...}. The \xB7base type\xB7 of nonNegativeInteger is integer." ;
|
|
9632
|
+
owl:onDatatype xsd:nonNegativeInteger ;
|
|
9633
|
+
owl:withRestrictions ( [ xsd:pattern "[+]?[0-9]*[1-9]+[0-9]*" ] [ xsd:minInclusive 1 ] ) .
|
|
9351
9634
|
|
|
9352
|
-
xsd:
|
|
9353
|
-
rdfs:
|
|
9635
|
+
xsd:time a rdfs:Datatype ;
|
|
9636
|
+
rdfs:label "time" ;
|
|
9637
|
+
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." ;
|
|
9638
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9639
|
+
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])?" ] ) .
|
|
9640
|
+
|
|
9641
|
+
xsd:totalDigits a rdf:Property ;
|
|
9642
|
+
rdfs:label "total digits" ;
|
|
9643
|
+
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." ;
|
|
9644
|
+
rdfs:range xsd:nonNegativeInteger ;
|
|
9645
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#rf-totalDigits> .
|
|
9646
|
+
|
|
9647
|
+
xsd:unsignedByte a rdfs:Datatype ;
|
|
9648
|
+
rdfs:label "unsigned byte" ;
|
|
9649
|
+
rdfs:comment "unsignedByte is \xB7derived\xB7 from unsignedShort by setting the value of \xB7maxInclusive\xB7 to be 255. The \xB7base type\xB7 of unsignedByte is unsignedShort." ;
|
|
9650
|
+
owl:onDatatype xsd:unsignedShort ;
|
|
9651
|
+
owl:withRestrictions ( [ xsd:maxInclusive "255"^^xsd:unsignedByte ] ) .
|
|
9652
|
+
|
|
9653
|
+
xsd:Name a rdfs:Datatype ;
|
|
9654
|
+
owl:onDatatype xsd:token .
|
|
9655
|
+
|
|
9656
|
+
xsd:whiteSpace a rdf:Property,
|
|
9657
|
+
owl:DatatypeProperty ;
|
|
9658
|
+
rdfs:label "white space" ;
|
|
9659
|
+
rdfs:comment "A string that describes whitespace normalization for a string type." ;
|
|
9660
|
+
rdfs:range [ a rdfs:Datatype ;
|
|
9661
|
+
owl:onDatatype xsd:string ;
|
|
9662
|
+
owl:withRestrictions ( [ xsd:pattern "(preserve|replace|collapse)" ] ) ] .
|
|
9663
|
+
|
|
9664
|
+
xsd:decimal a rdfs:Datatype ;
|
|
9665
|
+
rdfs:label "decimal" ;
|
|
9666
|
+
rdfs:comment "decimal represents a subset of the real numbers, which can be represented by decimal numerals. The \xB7value space\xB7 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 \u2265 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." ;
|
|
9667
|
+
owl:onDatatype xsd:anySimpleType ;
|
|
9668
|
+
owl:withRestrictions ( [ xsd:pattern "-?INF|NaN|[+-]?(([0-9]+[.]?[0-9]*)|([0-9]*[.]?[0-9]+))([eE][-+]?[0-9]+)?" ] ) .
|
|
9669
|
+
|
|
9670
|
+
xsd:int a rdfs:Datatype ;
|
|
9671
|
+
rdfs:label "int" ;
|
|
9672
|
+
rdfs:comment "int is \xB7derived\xB7 from long by setting the value of \xB7maxInclusive\xB7 to be 2147483647 and \xB7minInclusive\xB7 to be -2147483648. The \xB7base type\xB7 of int is long." ;
|
|
9673
|
+
owl:onDatatype xsd:long ;
|
|
9674
|
+
owl:withRestrictions ( [ xsd:maxInclusive "2147483647"^^xsd:int ] [ xsd:minInclusive "-2147483648"^^xsd:int ] ) .
|
|
9354
9675
|
|
|
9355
|
-
xsd:
|
|
9676
|
+
xsd:long a rdfs:Datatype ;
|
|
9677
|
+
rdfs:label "long" ;
|
|
9678
|
+
rdfs:comment "long is \xB7derived\xB7 from integer by setting the value of \xB7maxInclusive\xB7 to be 9223372036854775807 and \xB7minInclusive\xB7 to be -9223372036854775808. The \xB7base type\xB7 of long is integer." ;
|
|
9679
|
+
owl:onDatatype xsd:integer ;
|
|
9680
|
+
owl:withRestrictions ( [ xsd:maxInclusive "9223372036854775807"^^xsd:long ] [ xsd:minInclusive "-9223372036854775808"^^xsd:long ] ) .
|
|
9356
9681
|
|
|
9357
9682
|
xsd:nonPositiveInteger a rdfs:Datatype ;
|
|
9358
|
-
rdfs:
|
|
9683
|
+
rdfs:label "non-positive integer" ;
|
|
9684
|
+
rdfs:comment "nonPositiveInteger is \xB7derived\xB7 from integer by setting the value of \xB7maxInclusive\xB7 to be 0. This results in the standard mathematical concept of the non-positive integers. The \xB7value space\xB7 of nonPositiveInteger is the infinite set {...,-2,-1,0}. The \xB7base type\xB7 of nonPositiveInteger is integer." ;
|
|
9685
|
+
owl:onDatatype xsd:integer ;
|
|
9686
|
+
owl:withRestrictions ( [ xsd:pattern "(0|-[0-9]+)" ] [ xsd:maxInclusive 0 ] ) .
|
|
9359
9687
|
|
|
9360
|
-
xsd:
|
|
9361
|
-
rdfs:
|
|
9688
|
+
xsd:normalizedString a rdfs:Datatype ;
|
|
9689
|
+
rdfs:label "normalized string" ;
|
|
9690
|
+
rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters." ;
|
|
9691
|
+
owl:onDatatype xsd:string .
|
|
9362
9692
|
|
|
9363
9693
|
xsd:short a rdfs:Datatype ;
|
|
9364
|
-
rdfs:
|
|
9694
|
+
rdfs:label "short" ;
|
|
9695
|
+
rdfs:comment "short is \xB7derived\xB7 from int by setting the value of \xB7maxInclusive\xB7 to be 32767 and \xB7minInclusive\xB7 to be -32768. The \xB7base type\xB7 of short is int." ;
|
|
9696
|
+
owl:onDatatype xsd:int ;
|
|
9697
|
+
owl:withRestrictions ( [ xsd:maxInclusive "32767"^^xsd:short ] [ xsd:minInclusive "-32768"^^xsd:short ] ) .
|
|
9365
9698
|
|
|
9366
|
-
xsd:
|
|
9367
|
-
rdfs:
|
|
9368
|
-
|
|
9369
|
-
|
|
9370
|
-
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." .
|
|
9699
|
+
xsd:token a rdfs:Datatype ;
|
|
9700
|
+
rdfs:label "token" ;
|
|
9701
|
+
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." ;
|
|
9702
|
+
owl:onDatatype xsd:normalizedString .
|
|
9371
9703
|
|
|
9372
9704
|
xsd:unsignedInt a rdfs:Datatype ;
|
|
9373
|
-
rdfs:
|
|
9705
|
+
rdfs:label "unsigned int" ;
|
|
9706
|
+
rdfs:comment "unsignedInt is \xB7derived\xB7 from unsignedLong by setting the value of \xB7maxInclusive\xB7 to be 4294967295. The \xB7base type\xB7 of unsignedInt is unsignedLong." ;
|
|
9707
|
+
owl:onDatatype xsd:unsignedLong ;
|
|
9708
|
+
owl:withRestrictions ( [ xsd:maxInclusive "4294967295"^^xsd:unsignedInt ] ) .
|
|
9709
|
+
|
|
9710
|
+
xsd:unsignedLong a rdfs:Datatype ;
|
|
9711
|
+
rdfs:label "unsigned long" ;
|
|
9712
|
+
rdfs:comment "unsignedLong is \xB7derived\xB7 from nonNegativeInteger by setting the value of \xB7maxInclusive\xB7 to be 18446744073709551615. The \xB7base type\xB7 of unsignedLong is nonNegativeInteger." ;
|
|
9713
|
+
owl:onDatatype xsd:nonNegativeInteger ;
|
|
9714
|
+
owl:withRestrictions ( [ xsd:maxInclusive "18446744073709551615"^^xsd:unsignedLong ] ) .
|
|
9374
9715
|
|
|
9375
9716
|
xsd:unsignedShort a rdfs:Datatype ;
|
|
9376
|
-
rdfs:
|
|
9717
|
+
rdfs:label "unsigned short" ;
|
|
9718
|
+
rdfs:comment "unsignedShort is \xB7derived\xB7 from unsignedInt by setting the value of \xB7maxInclusive\xB7 to be 65535. The \xB7base type\xB7 of unsignedShort is unsignedInt." ;
|
|
9719
|
+
owl:onDatatype xsd:unsignedInt ;
|
|
9720
|
+
owl:withRestrictions ( [ xsd:maxInclusive "65535"^^xsd:unsignedShort ] ) .
|
|
9721
|
+
|
|
9722
|
+
xsd:NCName a rdfs:Datatype ;
|
|
9723
|
+
owl:onDatatype xsd:Name .
|
|
9377
9724
|
|
|
9378
|
-
xsd:
|
|
9379
|
-
rdfs:
|
|
9725
|
+
xsd:integer a rdfs:Datatype ;
|
|
9726
|
+
rdfs:label "integer" ;
|
|
9727
|
+
rdfs:comment "integer is \xB7derived\xB7 from decimal by fixing the value of \xB7fractionDigits\xB7 to be 0 and disallowing the trailing decimal point. This results in the standard mathematical concept of the integer numbers. The \xB7value space\xB7 of integer is the infinite set {...,-2,-1,0,1,2,...}. The \xB7base type\xB7 of integer is decimal." ;
|
|
9728
|
+
owl:onDatatype xsd:decimal ;
|
|
9729
|
+
owl:withRestrictions ( [ xsd:pattern "[-+]?[0-9]+" ] [ xsd:fractionDigits 0 ] ) .
|
|
9730
|
+
|
|
9731
|
+
xsd:string a rdfs:Datatype ;
|
|
9732
|
+
rdfs:label "string" ;
|
|
9733
|
+
rdfs:comment "The string datatype represents character strings in XML." ;
|
|
9734
|
+
owl:onDatatype xsd:anySimpleType .
|
|
9735
|
+
|
|
9736
|
+
xsd:nonNegativeInteger a rdfs:Datatype ;
|
|
9737
|
+
rdfs:label "non-negative integer" ;
|
|
9738
|
+
rdfs:comment "nonNegativeInteger is \xB7derived\xB7 from integer by setting the value of \xB7minInclusive\xB7 to be 0. This results in the standard mathematical concept of the non-negative integers. The \xB7value space\xB7 of nonNegativeInteger is the infinite set {0,1,2,...}. The \xB7base type\xB7 of nonNegativeInteger is integer." ;
|
|
9739
|
+
owl:onDatatype xsd:integer ;
|
|
9740
|
+
owl:withRestrictions ( [ xsd:pattern "[+]?[0-9]+" ] [ xsd:minInclusive 0 ] ) ;
|
|
9741
|
+
rdfs:seeAlso <http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger> .
|
|
9380
9742
|
|
|
9381
|
-
xsd:
|
|
9382
|
-
rdfs:
|
|
9743
|
+
xsd:anySimpleType a rdfs:Datatype ;
|
|
9744
|
+
rdfs:label "any simple type" ;
|
|
9745
|
+
rdfs:comment "The base class of any primitive XSD dataype." .
|
|
9746
|
+
|
|
9747
|
+
`;
|
|
9383
9748
|
|
|
9384
9749
|
// src/rdf/store.ts
|
|
9385
9750
|
import { RdfStore as RdfStore2 } from "rdf-stores";
|
|
@@ -9734,6 +10099,24 @@ var Store = class {
|
|
|
9734
10099
|
hasGraph(graphUri) {
|
|
9735
10100
|
return this._hasTriples(graphUri);
|
|
9736
10101
|
}
|
|
10102
|
+
/**
|
|
10103
|
+
* Indicates whether a graph holds the triples the reasoner inferred from another graph.
|
|
10104
|
+
* @param graph A graph term or URI.
|
|
10105
|
+
* @returns `true` if the graph is an inference graph of the reasoner of this store, `false` otherwise or without a reasoner.
|
|
10106
|
+
*/
|
|
10107
|
+
isInferenceGraph(graph) {
|
|
10108
|
+
return this.reasoner !== void 0 && this.reasoner.targetUriGenerator.isInferenceGraphUri(graph);
|
|
10109
|
+
}
|
|
10110
|
+
/**
|
|
10111
|
+
* Indicates whether a quad was inferred by the reasoner, i.e. whether it is stored in an inference
|
|
10112
|
+
* graph. A triple that is asserted and inferred exists as two quads; only the quad in the inference
|
|
10113
|
+
* graph is inferred.
|
|
10114
|
+
* @param quad A quad.
|
|
10115
|
+
* @returns `true` if the quad is stored in an inference graph, `false` otherwise.
|
|
10116
|
+
*/
|
|
10117
|
+
isInferred(quad5) {
|
|
10118
|
+
return this.isInferenceGraph(quad5.graph);
|
|
10119
|
+
}
|
|
9737
10120
|
/**
|
|
9738
10121
|
* Apply inference to the given graph and store the triples in the associated inference graph.
|
|
9739
10122
|
* @param graphUri A graph URI.
|
|
@@ -9820,10 +10203,11 @@ var Store = class {
|
|
|
9820
10203
|
}
|
|
9821
10204
|
/**
|
|
9822
10205
|
* Returns a lazy, read-only dataset view of the quads matching the given pattern.
|
|
9823
|
-
* Implements the RDF/JS `DatasetCore.match` semantics:
|
|
9824
|
-
*
|
|
9825
|
-
*
|
|
9826
|
-
*
|
|
10206
|
+
* Implements the RDF/JS `DatasetCore.match` semantics: a graph names exactly that
|
|
10207
|
+
* graph and no graph means every graph of the store, inference graphs included.
|
|
10208
|
+
* The result reflects the current contents of the store and does not copy any
|
|
10209
|
+
* quads. Because the view iterates the live indexes, do not add or delete quads
|
|
10210
|
+
* while iterating it; take a snapshot with `Array.from(...)` first.
|
|
9827
10211
|
* @param subject The optional subject.
|
|
9828
10212
|
* @param predicate The optional predicate.
|
|
9829
10213
|
* @param object The optional object.
|
|
@@ -9836,7 +10220,7 @@ var Store = class {
|
|
|
9836
10220
|
predicate: predicate ?? null,
|
|
9837
10221
|
object: object ?? null,
|
|
9838
10222
|
graphs: graph != null ? [graph] : void 0,
|
|
9839
|
-
includeInferred: false
|
|
10223
|
+
includeInferred: graph != null ? false : void 0
|
|
9840
10224
|
});
|
|
9841
10225
|
}
|
|
9842
10226
|
/**
|
|
@@ -9868,6 +10252,10 @@ var Store = class {
|
|
|
9868
10252
|
* @param subject A subject URI or null to match any subject.
|
|
9869
10253
|
* @param predicate A predicate URI or null to match any predicate.
|
|
9870
10254
|
* @param object An object URI or null to match any object.
|
|
10255
|
+
* @param includeInferred Whether to read the inference graphs. With graphs given, `undefined` and
|
|
10256
|
+
* `true` add the inference graph of each graph when a reasoner is available and `false` reads only
|
|
10257
|
+
* the given graphs. Without graphs, `undefined` and `true` read every graph of the store and `false`
|
|
10258
|
+
* reads every graph except the inference graphs. `true` without a reasoner throws.
|
|
9871
10259
|
*/
|
|
9872
10260
|
*matchAll(graphUris, subject, predicate, object, includeInferred) {
|
|
9873
10261
|
if (includeInferred && !this.reasoner) {
|
|
@@ -9886,6 +10274,12 @@ var Store = class {
|
|
|
9886
10274
|
yield* this._store.readQuads(s, p, o, inferenceGraph);
|
|
9887
10275
|
}
|
|
9888
10276
|
}
|
|
10277
|
+
} else if (includeInferred === false && this.reasoner) {
|
|
10278
|
+
for (const quad5 of this._store.readQuads(s, p, o, null)) {
|
|
10279
|
+
if (!this.isInferenceGraph(quad5.graph)) {
|
|
10280
|
+
yield quad5;
|
|
10281
|
+
}
|
|
10282
|
+
}
|
|
9889
10283
|
} else {
|
|
9890
10284
|
yield* this._store.readQuads(s, p, o, null);
|
|
9891
10285
|
}
|
|
@@ -9906,9 +10300,11 @@ var Store = class {
|
|
|
9906
10300
|
* The view is lazy and live: it reflects the current contents of the store without
|
|
9907
10301
|
* copying any quads. If you need an immutable snapshot, copy the view into a new
|
|
9908
10302
|
* dataset, e.g. `RdfStore.createDefault().asDataset()`.
|
|
9909
|
-
* @param graphUris Optional graph URI or array of graph URIs. If undefined, all
|
|
10303
|
+
* @param graphUris Optional graph URI or array of graph URIs. If undefined, all graphs are included.
|
|
9910
10304
|
* @param includeInferred Whether to include inferred triples. If undefined, inferred triples
|
|
9911
|
-
* are included when a reasoner is available. If `
|
|
10305
|
+
* are included when a reasoner is available. If `false`, the inference graphs of the given
|
|
10306
|
+
* graphs are left out, or, without graphs, every inference graph of the store. If `true`
|
|
10307
|
+
* without a reasoner, an error is thrown.
|
|
9912
10308
|
* @returns A read-only dataset view of the matching quads.
|
|
9913
10309
|
*/
|
|
9914
10310
|
getDataset(graphUris, includeInferred) {
|