@faubulous/mentor-rdf 0.2.39 → 0.2.40
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/out/ontologies/sh.d.ts +2 -0
- package/out/ontologies/sh.js +2 -0
- package/out/ontologies/sh.js.map +1 -1
- package/out/ontologies/src.d.ts +1 -1
- package/out/ontologies/src.js +70 -69
- package/out/ontologies/src.js.map +1 -1
- package/out/rdf/reasoners/shacl-reasoner.d.ts +3 -3
- package/out/rdf/reasoners/shacl-reasoner.js +37 -16
- package/out/rdf/reasoners/shacl-reasoner.js.map +1 -1
- package/out/rdf/shape-repository.d.ts +30 -1
- package/out/rdf/shape-repository.js +37 -0
- package/out/rdf/shape-repository.js.map +1 -1
- package/out/rdf/tests/vocabularies/shapes.d.ts +4 -0
- package/out/rdf/tests/vocabularies/shapes.js +4 -0
- package/out/rdf/tests/vocabularies/shapes.js.map +1 -1
- package/package.json +1 -1
package/out/ontologies/src.js
CHANGED
|
@@ -950,14 +950,14 @@ sh:Shape
|
|
|
950
950
|
|
|
951
951
|
sh:NodeShape
|
|
952
952
|
a rdfs:Class ;
|
|
953
|
-
rdfs:label "Node
|
|
953
|
+
rdfs:label "Node Shape"@en ;
|
|
954
954
|
rdfs:comment "A node shape is a shape that specifies constraint that need to be met with respect to focus nodes."@en ;
|
|
955
955
|
rdfs:subClassOf sh:Shape ;
|
|
956
956
|
rdfs:isDefinedBy sh: .
|
|
957
957
|
|
|
958
958
|
sh:PropertyShape
|
|
959
959
|
a rdfs:Class ;
|
|
960
|
-
rdfs:label "Property
|
|
960
|
+
rdfs:label "Property Shape"@en ;
|
|
961
961
|
rdfs:comment "A property shape is a shape that specifies constraints on the values of a focus node for a given property or path."@en ;
|
|
962
962
|
rdfs:subClassOf sh:Shape ;
|
|
963
963
|
rdfs:isDefinedBy sh: .
|
|
@@ -1022,26 +1022,26 @@ sh:severity
|
|
|
1022
1022
|
|
|
1023
1023
|
sh:NodeKind
|
|
1024
1024
|
a rdfs:Class ;
|
|
1025
|
-
rdfs:label "Node
|
|
1025
|
+
rdfs:label "Node Kind"@en ;
|
|
1026
1026
|
rdfs:comment "The class of all node kinds, including sh:BlankNode, sh:IRI, sh:Literal or the combinations of these: sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIOrLiteral."@en ;
|
|
1027
1027
|
rdfs:subClassOf rdfs:Resource ;
|
|
1028
1028
|
rdfs:isDefinedBy sh: .
|
|
1029
1029
|
|
|
1030
1030
|
sh:BlankNode
|
|
1031
1031
|
a sh:NodeKind ;
|
|
1032
|
-
rdfs:label "Blank
|
|
1032
|
+
rdfs:label "Blank Node"@en ;
|
|
1033
1033
|
rdfs:comment "The node kind of all blank nodes."@en ;
|
|
1034
1034
|
rdfs:isDefinedBy sh: .
|
|
1035
1035
|
|
|
1036
1036
|
sh:BlankNodeOrIRI
|
|
1037
1037
|
a sh:NodeKind ;
|
|
1038
|
-
rdfs:label "Blank
|
|
1038
|
+
rdfs:label "Blank Node or IRI"@en ;
|
|
1039
1039
|
rdfs:comment "The node kind of all blank nodes or IRIs."@en ;
|
|
1040
1040
|
rdfs:isDefinedBy sh: .
|
|
1041
1041
|
|
|
1042
1042
|
sh:BlankNodeOrLiteral
|
|
1043
1043
|
a sh:NodeKind ;
|
|
1044
|
-
rdfs:label "Blank
|
|
1044
|
+
rdfs:label "Blank Node or Literal"@en ;
|
|
1045
1045
|
rdfs:comment "The node kind of all blank nodes or literals."@en ;
|
|
1046
1046
|
rdfs:isDefinedBy sh: .
|
|
1047
1047
|
|
|
@@ -1053,7 +1053,7 @@ sh:IRI
|
|
|
1053
1053
|
|
|
1054
1054
|
sh:IRIOrLiteral
|
|
1055
1055
|
a sh:NodeKind ;
|
|
1056
|
-
rdfs:label "IRI or
|
|
1056
|
+
rdfs:label "IRI or Literal"@en ;
|
|
1057
1057
|
rdfs:comment "The node kind of all IRIs or literals."@en ;
|
|
1058
1058
|
rdfs:isDefinedBy sh: .
|
|
1059
1059
|
|
|
@@ -1068,7 +1068,7 @@ sh:Literal
|
|
|
1068
1068
|
|
|
1069
1069
|
sh:ValidationReport
|
|
1070
1070
|
a rdfs:Class ;
|
|
1071
|
-
rdfs:label "Validation
|
|
1071
|
+
rdfs:label "Validation Report"@en ;
|
|
1072
1072
|
rdfs:comment "The class of SHACL validation reports."@en ;
|
|
1073
1073
|
rdfs:subClassOf rdfs:Resource ;
|
|
1074
1074
|
rdfs:isDefinedBy sh: .
|
|
@@ -1099,14 +1099,14 @@ sh:shapesGraphWellFormed
|
|
|
1099
1099
|
|
|
1100
1100
|
sh:AbstractResult
|
|
1101
1101
|
a rdfs:Class ;
|
|
1102
|
-
rdfs:label "Abstract
|
|
1102
|
+
rdfs:label "Abstract Result"@en ;
|
|
1103
1103
|
rdfs:comment "The base class of validation results, typically not instantiated directly."@en ;
|
|
1104
1104
|
rdfs:subClassOf rdfs:Resource ;
|
|
1105
1105
|
rdfs:isDefinedBy sh: .
|
|
1106
1106
|
|
|
1107
1107
|
sh:ValidationResult
|
|
1108
1108
|
a rdfs:Class ;
|
|
1109
|
-
rdfs:label "Validation
|
|
1109
|
+
rdfs:label "Validation Result"@en ;
|
|
1110
1110
|
rdfs:comment "The class of validation results."@en ;
|
|
1111
1111
|
rdfs:subClassOf sh:AbstractResult ;
|
|
1112
1112
|
rdfs:isDefinedBy sh: .
|
|
@@ -1192,7 +1192,7 @@ sh:sourceShape
|
|
|
1192
1192
|
|
|
1193
1193
|
sh:sourceConstraintComponent
|
|
1194
1194
|
a rdf:Property ;
|
|
1195
|
-
rdfs:label "source
|
|
1195
|
+
rdfs:label "source Constraint Component"@en ;
|
|
1196
1196
|
rdfs:comment "The constraint component that is the source of the result."@en ;
|
|
1197
1197
|
rdfs:domain sh:AbstractResult ;
|
|
1198
1198
|
rdfs:range sh:ConstraintComponent ;
|
|
@@ -1324,7 +1324,7 @@ sh:optional
|
|
|
1324
1324
|
|
|
1325
1325
|
sh:ConstraintComponent
|
|
1326
1326
|
a rdfs:Class ;
|
|
1327
|
-
rdfs:label "Constraint
|
|
1327
|
+
rdfs:label "Constraint Component"@en ;
|
|
1328
1328
|
rdfs:comment "The class of constraint components."@en ;
|
|
1329
1329
|
rdfs:subClassOf sh:Parameterizable ;
|
|
1330
1330
|
rdfs:isDefinedBy sh: .
|
|
@@ -1362,7 +1362,7 @@ sh:Validator
|
|
|
1362
1362
|
|
|
1363
1363
|
sh:SPARQLAskValidator
|
|
1364
1364
|
a rdfs:Class ;
|
|
1365
|
-
rdfs:label "SPARQL ASK
|
|
1365
|
+
rdfs:label "SPARQL ASK Validator"@en ;
|
|
1366
1366
|
rdfs:comment "The class of validators based on SPARQL ASK queries. The queries are evaluated for each value node and are supposed to return true if the given node conforms."@en ;
|
|
1367
1367
|
rdfs:subClassOf sh:Validator ;
|
|
1368
1368
|
rdfs:subClassOf sh:SPARQLAskExecutable ;
|
|
@@ -1370,7 +1370,7 @@ sh:SPARQLAskValidator
|
|
|
1370
1370
|
|
|
1371
1371
|
sh:SPARQLSelectValidator
|
|
1372
1372
|
a rdfs:Class ;
|
|
1373
|
-
rdfs:label "SPARQL SELECT
|
|
1373
|
+
rdfs:label "SPARQL SELECT Validator"@en ;
|
|
1374
1374
|
rdfs:comment "The class of validators based on SPARQL SELECT queries. The queries are evaluated for each focus node and are supposed to produce bindings for all focus nodes that do not conform."@en ;
|
|
1375
1375
|
rdfs:subClassOf sh:Validator ;
|
|
1376
1376
|
rdfs:subClassOf sh:SPARQLSelectExecutable ;
|
|
@@ -1381,7 +1381,7 @@ sh:SPARQLSelectValidator
|
|
|
1381
1381
|
|
|
1382
1382
|
sh:AndConstraintComponent
|
|
1383
1383
|
a sh:ConstraintComponent ;
|
|
1384
|
-
rdfs:label "And
|
|
1384
|
+
rdfs:label "And Constraint Component"@en ;
|
|
1385
1385
|
rdfs:comment "A constraint component that can be used to test whether a value node conforms to all members of a provided list of shapes."@en ;
|
|
1386
1386
|
sh:parameter sh:AndConstraintComponent-and ;
|
|
1387
1387
|
rdfs:isDefinedBy sh: .
|
|
@@ -1401,7 +1401,7 @@ sh:and
|
|
|
1401
1401
|
|
|
1402
1402
|
sh:ClassConstraintComponent
|
|
1403
1403
|
a sh:ConstraintComponent ;
|
|
1404
|
-
rdfs:label "Class
|
|
1404
|
+
rdfs:label "Class Constraint Component"@en ;
|
|
1405
1405
|
rdfs:comment "A constraint component that can be used to verify that each value node is an instance of a given type."@en ;
|
|
1406
1406
|
sh:parameter sh:ClassConstraintComponent-class ;
|
|
1407
1407
|
rdfs:isDefinedBy sh: .
|
|
@@ -1422,7 +1422,7 @@ sh:class
|
|
|
1422
1422
|
|
|
1423
1423
|
sh:ClosedConstraintComponent
|
|
1424
1424
|
a sh:ConstraintComponent ;
|
|
1425
|
-
rdfs:label "Closed
|
|
1425
|
+
rdfs:label "Closed Constraint Component"@en ;
|
|
1426
1426
|
rdfs:comment "A constraint component that can be used to indicate that focus nodes must only have values for those properties that have been explicitly enumerated via sh:property/sh:path."@en ;
|
|
1427
1427
|
sh:parameter sh:ClosedConstraintComponent-closed ;
|
|
1428
1428
|
sh:parameter sh:ClosedConstraintComponent-ignoredProperties ;
|
|
@@ -1457,7 +1457,7 @@ sh:ignoredProperties
|
|
|
1457
1457
|
|
|
1458
1458
|
sh:DatatypeConstraintComponent
|
|
1459
1459
|
a sh:ConstraintComponent ;
|
|
1460
|
-
rdfs:label "Datatype
|
|
1460
|
+
rdfs:label "Datatype Constraint Component"@en ;
|
|
1461
1461
|
rdfs:comment "A constraint component that can be used to restrict the datatype of all value nodes."@en ;
|
|
1462
1462
|
sh:parameter sh:DatatypeConstraintComponent-datatype ;
|
|
1463
1463
|
rdfs:isDefinedBy sh: .
|
|
@@ -1479,7 +1479,7 @@ sh:datatype
|
|
|
1479
1479
|
|
|
1480
1480
|
sh:DisjointConstraintComponent
|
|
1481
1481
|
a sh:ConstraintComponent ;
|
|
1482
|
-
rdfs:label "Disjoint
|
|
1482
|
+
rdfs:label "Disjoint Constraint Component"@en ;
|
|
1483
1483
|
rdfs:comment "A constraint component that can be used to verify that the set of value nodes is disjoint with the the set of nodes that have the focus node as subject and the value of a given property as predicate."@en ;
|
|
1484
1484
|
sh:parameter sh:DisjointConstraintComponent-disjoint ;
|
|
1485
1485
|
rdfs:isDefinedBy sh: .
|
|
@@ -1500,7 +1500,7 @@ sh:disjoint
|
|
|
1500
1500
|
|
|
1501
1501
|
sh:EqualsConstraintComponent
|
|
1502
1502
|
a sh:ConstraintComponent ;
|
|
1503
|
-
rdfs:label "Equals
|
|
1503
|
+
rdfs:label "Equals Constraint Component"@en ;
|
|
1504
1504
|
rdfs:comment "A constraint component that can be used to verify that the set of value nodes is equal to the set of nodes that have the focus node as subject and the value of a given property as predicate."@en ;
|
|
1505
1505
|
sh:parameter sh:EqualsConstraintComponent-equals ;
|
|
1506
1506
|
rdfs:isDefinedBy sh: .
|
|
@@ -1521,7 +1521,7 @@ sh:equals
|
|
|
1521
1521
|
|
|
1522
1522
|
sh:HasValueConstraintComponent
|
|
1523
1523
|
a sh:ConstraintComponent ;
|
|
1524
|
-
rdfs:label "Has-value
|
|
1524
|
+
rdfs:label "Has-value Constraint Component"@en ;
|
|
1525
1525
|
rdfs:comment "A constraint component that can be used to verify that one of the value nodes is a given RDF node."@en ;
|
|
1526
1526
|
sh:parameter sh:HasValueConstraintComponent-hasValue ;
|
|
1527
1527
|
rdfs:isDefinedBy sh: .
|
|
@@ -1540,7 +1540,7 @@ sh:hasValue
|
|
|
1540
1540
|
|
|
1541
1541
|
sh:InConstraintComponent
|
|
1542
1542
|
a sh:ConstraintComponent ;
|
|
1543
|
-
rdfs:label "In
|
|
1543
|
+
rdfs:label "In Constraint Component"@en ;
|
|
1544
1544
|
rdfs:comment "A constraint component that can be used to exclusively enumerate the permitted value nodes."@en ;
|
|
1545
1545
|
sh:parameter sh:InConstraintComponent-in ;
|
|
1546
1546
|
rdfs:isDefinedBy sh: .
|
|
@@ -1561,7 +1561,7 @@ sh:in
|
|
|
1561
1561
|
|
|
1562
1562
|
sh:LanguageInConstraintComponent
|
|
1563
1563
|
a sh:ConstraintComponent ;
|
|
1564
|
-
rdfs:label "Language-in
|
|
1564
|
+
rdfs:label "Language-in Constraint Component"@en ;
|
|
1565
1565
|
rdfs:comment "A constraint component that can be used to enumerate language tags that all value nodes must have."@en ;
|
|
1566
1566
|
sh:parameter sh:LanguageInConstraintComponent-languageIn ;
|
|
1567
1567
|
rdfs:isDefinedBy sh: .
|
|
@@ -1582,7 +1582,7 @@ sh:languageIn
|
|
|
1582
1582
|
|
|
1583
1583
|
sh:LessThanConstraintComponent
|
|
1584
1584
|
a sh:ConstraintComponent ;
|
|
1585
|
-
rdfs:label "Less-than
|
|
1585
|
+
rdfs:label "Less-than Constraint Component"@en ;
|
|
1586
1586
|
rdfs:comment "A constraint component that can be used to verify that each value node is smaller than all the nodes that have the focus node as subject and the value of a given property as predicate."@en ;
|
|
1587
1587
|
sh:parameter sh:LessThanConstraintComponent-lessThan ;
|
|
1588
1588
|
rdfs:isDefinedBy sh: .
|
|
@@ -1603,7 +1603,7 @@ sh:lessThan
|
|
|
1603
1603
|
|
|
1604
1604
|
sh:LessThanOrEqualsConstraintComponent
|
|
1605
1605
|
a sh:ConstraintComponent ;
|
|
1606
|
-
rdfs:label "
|
|
1606
|
+
rdfs:label "Less-than-or-equals Constraint Component"@en ;
|
|
1607
1607
|
rdfs:comment "A constraint component that can be used to verify that every value node is smaller than all the nodes that have the focus node as subject and the value of a given property as predicate."@en ;
|
|
1608
1608
|
sh:parameter sh:LessThanOrEqualsConstraintComponent-lessThanOrEquals ;
|
|
1609
1609
|
rdfs:isDefinedBy sh: .
|
|
@@ -1624,7 +1624,7 @@ sh:lessThanOrEquals
|
|
|
1624
1624
|
|
|
1625
1625
|
sh:MaxCountConstraintComponent
|
|
1626
1626
|
a sh:ConstraintComponent ;
|
|
1627
|
-
rdfs:label "Max-count
|
|
1627
|
+
rdfs:label "Max-count Constraint ConstraintComponentomponent"@en ;
|
|
1628
1628
|
rdfs:comment "A constraint component that can be used to restrict the maximum number of value nodes."@en ;
|
|
1629
1629
|
sh:parameter sh:MaxCountConstraintComponent-maxCount ;
|
|
1630
1630
|
rdfs:isDefinedBy sh: .
|
|
@@ -1646,7 +1646,7 @@ sh:maxCount
|
|
|
1646
1646
|
|
|
1647
1647
|
sh:MaxExclusiveConstraintComponent
|
|
1648
1648
|
a sh:ConstraintComponent ;
|
|
1649
|
-
rdfs:label "Max-exclusive
|
|
1649
|
+
rdfs:label "Max-exclusive Constraint Component"@en ;
|
|
1650
1650
|
rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a maximum exclusive value."@en ;
|
|
1651
1651
|
sh:parameter sh:MaxExclusiveConstraintComponent-maxExclusive ;
|
|
1652
1652
|
rdfs:isDefinedBy sh: .
|
|
@@ -1667,7 +1667,7 @@ sh:maxExclusive
|
|
|
1667
1667
|
|
|
1668
1668
|
sh:MaxInclusiveConstraintComponent
|
|
1669
1669
|
a sh:ConstraintComponent ;
|
|
1670
|
-
rdfs:label "Max-inclusive
|
|
1670
|
+
rdfs:label "Max-inclusive Constraint Component"@en ;
|
|
1671
1671
|
rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a maximum inclusive value."@en ;
|
|
1672
1672
|
sh:parameter sh:MaxInclusiveConstraintComponent-maxInclusive ;
|
|
1673
1673
|
rdfs:isDefinedBy sh: .
|
|
@@ -1688,7 +1688,7 @@ sh:maxInclusive
|
|
|
1688
1688
|
|
|
1689
1689
|
sh:MaxLengthConstraintComponent
|
|
1690
1690
|
a sh:ConstraintComponent ;
|
|
1691
|
-
rdfs:label "Max-length
|
|
1691
|
+
rdfs:label "Max-length Constraint Component"@en ;
|
|
1692
1692
|
rdfs:comment "A constraint component that can be used to restrict the maximum string length of value nodes."@en ;
|
|
1693
1693
|
sh:parameter sh:MaxLengthConstraintComponent-maxLength ;
|
|
1694
1694
|
rdfs:isDefinedBy sh: .
|
|
@@ -1710,7 +1710,7 @@ sh:maxLength
|
|
|
1710
1710
|
|
|
1711
1711
|
sh:MinCountConstraintComponent
|
|
1712
1712
|
a sh:ConstraintComponent ;
|
|
1713
|
-
rdfs:label "Min-count
|
|
1713
|
+
rdfs:label "Min-count Constraint Component"@en ;
|
|
1714
1714
|
rdfs:comment "A constraint component that can be used to restrict the minimum number of value nodes."@en ;
|
|
1715
1715
|
sh:parameter sh:MinCountConstraintComponent-minCount ;
|
|
1716
1716
|
rdfs:isDefinedBy sh: .
|
|
@@ -1732,7 +1732,7 @@ sh:minCount
|
|
|
1732
1732
|
|
|
1733
1733
|
sh:MinExclusiveConstraintComponent
|
|
1734
1734
|
a sh:ConstraintComponent ;
|
|
1735
|
-
rdfs:label "Min-exclusive
|
|
1735
|
+
rdfs:label "Min-exclusive Constraint Component"@en ;
|
|
1736
1736
|
rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a minimum exclusive value."@en ;
|
|
1737
1737
|
sh:parameter sh:MinExclusiveConstraintComponent-minExclusive ;
|
|
1738
1738
|
rdfs:isDefinedBy sh: .
|
|
@@ -1753,7 +1753,7 @@ sh:minExclusive
|
|
|
1753
1753
|
|
|
1754
1754
|
sh:MinInclusiveConstraintComponent
|
|
1755
1755
|
a sh:ConstraintComponent ;
|
|
1756
|
-
rdfs:label "Min-inclusive
|
|
1756
|
+
rdfs:label "Min-inclusive Constraint Component"@en ;
|
|
1757
1757
|
rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a minimum inclusive value."@en ;
|
|
1758
1758
|
sh:parameter sh:MinInclusiveConstraintComponent-minInclusive ;
|
|
1759
1759
|
rdfs:isDefinedBy sh: .
|
|
@@ -1774,7 +1774,7 @@ sh:minInclusive
|
|
|
1774
1774
|
|
|
1775
1775
|
sh:MinLengthConstraintComponent
|
|
1776
1776
|
a sh:ConstraintComponent ;
|
|
1777
|
-
rdfs:label "Min-length
|
|
1777
|
+
rdfs:label "Min-length Constraint Component"@en ;
|
|
1778
1778
|
rdfs:comment "A constraint component that can be used to restrict the minimum string length of value nodes."@en ;
|
|
1779
1779
|
sh:parameter sh:MinLengthConstraintComponent-minLength ;
|
|
1780
1780
|
rdfs:isDefinedBy sh: .
|
|
@@ -1796,7 +1796,7 @@ sh:minLength
|
|
|
1796
1796
|
|
|
1797
1797
|
sh:NodeConstraintComponent
|
|
1798
1798
|
a sh:ConstraintComponent ;
|
|
1799
|
-
rdfs:label "Node
|
|
1799
|
+
rdfs:label "Node Constraint Component"@en ;
|
|
1800
1800
|
rdfs:comment "A constraint component that can be used to verify that all value nodes conform to the given node shape."@en ;
|
|
1801
1801
|
sh:parameter sh:NodeConstraintComponent-node ;
|
|
1802
1802
|
rdfs:isDefinedBy sh: .
|
|
@@ -1816,7 +1816,7 @@ sh:node
|
|
|
1816
1816
|
|
|
1817
1817
|
sh:NodeKindConstraintComponent
|
|
1818
1818
|
a sh:ConstraintComponent ;
|
|
1819
|
-
rdfs:label "Node-kind
|
|
1819
|
+
rdfs:label "Node-kind Constraint Component"@en ;
|
|
1820
1820
|
rdfs:comment "A constraint component that can be used to restrict the RDF node kind of each value node."@en ;
|
|
1821
1821
|
sh:parameter sh:NodeKindConstraintComponent-nodeKind ;
|
|
1822
1822
|
rdfs:isDefinedBy sh: .
|
|
@@ -1838,7 +1838,7 @@ sh:nodeKind
|
|
|
1838
1838
|
|
|
1839
1839
|
sh:NotConstraintComponent
|
|
1840
1840
|
a sh:ConstraintComponent ;
|
|
1841
|
-
rdfs:label "Not
|
|
1841
|
+
rdfs:label "Not Constraint Component"@en ;
|
|
1842
1842
|
rdfs:comment "A constraint component that can be used to verify that value nodes do not conform to a given shape."@en ;
|
|
1843
1843
|
sh:parameter sh:NotConstraintComponent-not ;
|
|
1844
1844
|
rdfs:isDefinedBy sh: .
|
|
@@ -1858,7 +1858,7 @@ sh:not
|
|
|
1858
1858
|
|
|
1859
1859
|
sh:OrConstraintComponent
|
|
1860
1860
|
a sh:ConstraintComponent ;
|
|
1861
|
-
rdfs:label "Or
|
|
1861
|
+
rdfs:label "Or Constraint Component"@en ;
|
|
1862
1862
|
rdfs:comment "A constraint component that can be used to restrict the value nodes so that they conform to at least one out of several provided shapes."@en ;
|
|
1863
1863
|
sh:parameter sh:OrConstraintComponent-or ;
|
|
1864
1864
|
rdfs:isDefinedBy sh: .
|
|
@@ -1878,7 +1878,7 @@ sh:or
|
|
|
1878
1878
|
|
|
1879
1879
|
sh:PatternConstraintComponent
|
|
1880
1880
|
a sh:ConstraintComponent ;
|
|
1881
|
-
rdfs:label "Pattern
|
|
1881
|
+
rdfs:label "Pattern Constraint Component"@en ;
|
|
1882
1882
|
rdfs:comment "A constraint component that can be used to verify that every value node matches a given regular expression."@en ;
|
|
1883
1883
|
sh:parameter sh:PatternConstraintComponent-pattern ;
|
|
1884
1884
|
sh:parameter sh:PatternConstraintComponent-flags ;
|
|
@@ -1914,7 +1914,7 @@ sh:pattern
|
|
|
1914
1914
|
|
|
1915
1915
|
sh:PropertyConstraintComponent
|
|
1916
1916
|
a sh:ConstraintComponent ;
|
|
1917
|
-
rdfs:label "Property
|
|
1917
|
+
rdfs:label "Property Constraint Component"@en ;
|
|
1918
1918
|
rdfs:comment "A constraint component that can be used to verify that all value nodes conform to the given property shape."@en ;
|
|
1919
1919
|
sh:parameter sh:PropertyConstraintComponent-property ;
|
|
1920
1920
|
rdfs:isDefinedBy sh: .
|
|
@@ -1935,7 +1935,7 @@ sh:property
|
|
|
1935
1935
|
|
|
1936
1936
|
sh:QualifiedMaxCountConstraintComponent
|
|
1937
1937
|
a sh:ConstraintComponent ;
|
|
1938
|
-
rdfs:label "Qualified-max-count
|
|
1938
|
+
rdfs:label "Qualified-max-count Constraint Component"@en ;
|
|
1939
1939
|
rdfs:comment "A constraint component that can be used to verify that a specified maximum number of value nodes conforms to a given shape."@en ;
|
|
1940
1940
|
sh:parameter sh:QualifiedMaxCountConstraintComponent-qualifiedMaxCount ;
|
|
1941
1941
|
sh:parameter sh:QualifiedMaxCountConstraintComponent-qualifiedValueShape ;
|
|
@@ -1963,7 +1963,7 @@ sh:QualifiedMaxCountConstraintComponent-qualifiedValueShapesDisjoint
|
|
|
1963
1963
|
|
|
1964
1964
|
sh:QualifiedMinCountConstraintComponent
|
|
1965
1965
|
a sh:ConstraintComponent ;
|
|
1966
|
-
rdfs:label "Qualified-min-count
|
|
1966
|
+
rdfs:label "Qualified-min-count Constraint Component"@en ;
|
|
1967
1967
|
rdfs:comment "A constraint component that can be used to verify that a specified minimum number of value nodes conforms to a given shape."@en ;
|
|
1968
1968
|
sh:parameter sh:QualifiedMinCountConstraintComponent-qualifiedMinCount ;
|
|
1969
1969
|
sh:parameter sh:QualifiedMinCountConstraintComponent-qualifiedValueShape ;
|
|
@@ -2019,7 +2019,7 @@ sh:qualifiedValueShapesDisjoint
|
|
|
2019
2019
|
|
|
2020
2020
|
sh:UniqueLangConstraintComponent
|
|
2021
2021
|
a sh:ConstraintComponent ;
|
|
2022
|
-
rdfs:label "Unique-languages
|
|
2022
|
+
rdfs:label "Unique-languages Constraint Component"@en ;
|
|
2023
2023
|
rdfs:comment "A constraint component that can be used to specify that no pair of value nodes may use the same language tag."@en ;
|
|
2024
2024
|
sh:parameter sh:UniqueLangConstraintComponent-uniqueLang ;
|
|
2025
2025
|
rdfs:isDefinedBy sh: .
|
|
@@ -2041,7 +2041,7 @@ sh:uniqueLang
|
|
|
2041
2041
|
|
|
2042
2042
|
sh:XoneConstraintComponent
|
|
2043
2043
|
a sh:ConstraintComponent ;
|
|
2044
|
-
rdfs:label "Exactly one
|
|
2044
|
+
rdfs:label "Exactly one Constraint Component"@en ;
|
|
2045
2045
|
rdfs:comment "A constraint component that can be used to restrict the value nodes so that they conform to exactly one out of several provided shapes."@en ;
|
|
2046
2046
|
sh:parameter sh:XoneConstraintComponent-xone ;
|
|
2047
2047
|
rdfs:isDefinedBy sh: .
|
|
@@ -2063,14 +2063,14 @@ sh:xone
|
|
|
2063
2063
|
|
|
2064
2064
|
sh:SPARQLExecutable
|
|
2065
2065
|
a rdfs:Class ;
|
|
2066
|
-
rdfs:label "SPARQL
|
|
2066
|
+
rdfs:label "SPARQL Executable"@en ;
|
|
2067
2067
|
rdfs:comment "The class of resources that encapsulate a SPARQL query."@en ;
|
|
2068
2068
|
rdfs:subClassOf rdfs:Resource ;
|
|
2069
2069
|
rdfs:isDefinedBy sh: .
|
|
2070
2070
|
|
|
2071
2071
|
sh:SPARQLAskExecutable
|
|
2072
2072
|
a rdfs:Class ;
|
|
2073
|
-
rdfs:label "SPARQL ASK
|
|
2073
|
+
rdfs:label "SPARQL ASK Executable"@en ;
|
|
2074
2074
|
rdfs:comment "The class of SPARQL executables that are based on an ASK query."@en ;
|
|
2075
2075
|
rdfs:subClassOf sh:SPARQLExecutable ;
|
|
2076
2076
|
rdfs:isDefinedBy sh: .
|
|
@@ -2085,7 +2085,7 @@ sh:ask
|
|
|
2085
2085
|
|
|
2086
2086
|
sh:SPARQLConstructExecutable
|
|
2087
2087
|
a rdfs:Class ;
|
|
2088
|
-
rdfs:label "SPARQL CONSTRUCT
|
|
2088
|
+
rdfs:label "SPARQL CONSTRUCT Executable"@en ;
|
|
2089
2089
|
rdfs:comment "The class of SPARQL executables that are based on a CONSTRUCT query."@en ;
|
|
2090
2090
|
rdfs:subClassOf sh:SPARQLExecutable ;
|
|
2091
2091
|
rdfs:isDefinedBy sh: .
|
|
@@ -2100,7 +2100,7 @@ sh:construct
|
|
|
2100
2100
|
|
|
2101
2101
|
sh:SPARQLSelectExecutable
|
|
2102
2102
|
a rdfs:Class ;
|
|
2103
|
-
rdfs:label "SPARQL SELECT
|
|
2103
|
+
rdfs:label "SPARQL SELECT Executable"@en ;
|
|
2104
2104
|
rdfs:comment "The class of SPARQL executables based on a SELECT query."@en ;
|
|
2105
2105
|
rdfs:subClassOf sh:SPARQLExecutable ;
|
|
2106
2106
|
rdfs:isDefinedBy sh: .
|
|
@@ -2115,7 +2115,7 @@ sh:select
|
|
|
2115
2115
|
|
|
2116
2116
|
sh:SPARQLUpdateExecutable
|
|
2117
2117
|
a rdfs:Class ;
|
|
2118
|
-
rdfs:label "SPARQL UPDATE
|
|
2118
|
+
rdfs:label "SPARQL UPDATE Executable"@en ;
|
|
2119
2119
|
rdfs:comment "The class of SPARQL executables based on a SPARQL UPDATE."@en ;
|
|
2120
2120
|
rdfs:subClassOf sh:SPARQLExecutable ;
|
|
2121
2121
|
rdfs:isDefinedBy sh: .
|
|
@@ -2138,7 +2138,7 @@ sh:prefixes
|
|
|
2138
2138
|
|
|
2139
2139
|
sh:PrefixDeclaration
|
|
2140
2140
|
a rdfs:Class ;
|
|
2141
|
-
rdfs:label "Prefix
|
|
2141
|
+
rdfs:label "Prefix Declaration"@en ;
|
|
2142
2142
|
rdfs:comment "The class of prefix declarations, consisting of pairs of a prefix with a namespace."@en ;
|
|
2143
2143
|
rdfs:subClassOf rdfs:Resource ;
|
|
2144
2144
|
rdfs:isDefinedBy sh: .
|
|
@@ -2172,7 +2172,7 @@ sh:namespace
|
|
|
2172
2172
|
|
|
2173
2173
|
sh:SPARQLConstraintComponent
|
|
2174
2174
|
a sh:ConstraintComponent ;
|
|
2175
|
-
rdfs:label "SPARQL
|
|
2175
|
+
rdfs:label "SPARQL Constraint Component"@en ;
|
|
2176
2176
|
rdfs:comment "A constraint component that can be used to define constraints based on SPARQL queries."@en ;
|
|
2177
2177
|
sh:parameter sh:SPARQLConstraintComponent-sparql ;
|
|
2178
2178
|
rdfs:isDefinedBy sh: .
|
|
@@ -2192,7 +2192,7 @@ sh:sparql
|
|
|
2192
2192
|
|
|
2193
2193
|
sh:SPARQLConstraint
|
|
2194
2194
|
a rdfs:Class ;
|
|
2195
|
-
rdfs:label "SPARQL
|
|
2195
|
+
rdfs:label "SPARQL Constraint"@en ;
|
|
2196
2196
|
rdfs:comment "The class of constraints based on SPARQL SELECT queries."@en ;
|
|
2197
2197
|
rdfs:subClassOf sh:SPARQLSelectExecutable ;
|
|
2198
2198
|
rdfs:isDefinedBy sh: .
|
|
@@ -2240,7 +2240,7 @@ sh:order
|
|
|
2240
2240
|
|
|
2241
2241
|
sh:PropertyGroup
|
|
2242
2242
|
a rdfs:Class ;
|
|
2243
|
-
rdfs:label "Property
|
|
2243
|
+
rdfs:label "Property Group"@en ;
|
|
2244
2244
|
rdfs:comment "Instances of this class represent groups of property shapes that belong together."@en ;
|
|
2245
2245
|
rdfs:subClassOf rdfs:Resource ;
|
|
2246
2246
|
rdfs:isDefinedBy sh: .
|
|
@@ -2270,7 +2270,7 @@ sh:Target
|
|
|
2270
2270
|
|
|
2271
2271
|
sh:TargetType
|
|
2272
2272
|
a rdfs:Class ;
|
|
2273
|
-
rdfs:label "Target
|
|
2273
|
+
rdfs:label "Target Type"@en ;
|
|
2274
2274
|
rdfs:comment "The (meta) class for parameterizable targets. Instances of this are instantiated as values of the sh:target property."@en ;
|
|
2275
2275
|
rdfs:subClassOf rdfs:Class ;
|
|
2276
2276
|
rdfs:subClassOf sh:Parameterizable ;
|
|
@@ -2278,7 +2278,7 @@ sh:TargetType
|
|
|
2278
2278
|
|
|
2279
2279
|
sh:SPARQLTarget
|
|
2280
2280
|
a rdfs:Class ;
|
|
2281
|
-
rdfs:label "SPARQL
|
|
2281
|
+
rdfs:label "SPARQL Target"@en ;
|
|
2282
2282
|
rdfs:comment "The class of targets that are based on SPARQL queries."@en ;
|
|
2283
2283
|
rdfs:subClassOf sh:Target ;
|
|
2284
2284
|
rdfs:subClassOf sh:SPARQLAskExecutable ;
|
|
@@ -2287,7 +2287,7 @@ sh:SPARQLTarget
|
|
|
2287
2287
|
|
|
2288
2288
|
sh:SPARQLTargetType
|
|
2289
2289
|
a rdfs:Class ;
|
|
2290
|
-
rdfs:label "SPARQL
|
|
2290
|
+
rdfs:label "SPARQL Target Type"@en ;
|
|
2291
2291
|
rdfs:comment "The (meta) class for parameterizable targets that are based on SPARQL queries."@en ;
|
|
2292
2292
|
rdfs:subClassOf sh:TargetType ;
|
|
2293
2293
|
rdfs:subClassOf sh:SPARQLAskExecutable ;
|
|
@@ -2314,7 +2314,7 @@ sh:returnType
|
|
|
2314
2314
|
|
|
2315
2315
|
sh:SPARQLFunction
|
|
2316
2316
|
a rdfs:Class ;
|
|
2317
|
-
rdfs:label "SPARQL
|
|
2317
|
+
rdfs:label "SPARQL Function"@en ;
|
|
2318
2318
|
rdfs:comment "A function backed by a SPARQL query - either ASK or SELECT."@en ;
|
|
2319
2319
|
rdfs:subClassOf sh:Function ;
|
|
2320
2320
|
rdfs:subClassOf sh:SPARQLAskExecutable ;
|
|
@@ -2334,7 +2334,7 @@ sh:resultAnnotation
|
|
|
2334
2334
|
|
|
2335
2335
|
sh:ResultAnnotation
|
|
2336
2336
|
a rdfs:Class ;
|
|
2337
|
-
rdfs:label "Result
|
|
2337
|
+
rdfs:label "Result Annotation"@en ;
|
|
2338
2338
|
rdfs:comment "A class of result annotations, which define the rules to derive the values of a given annotation property as extra values for a validation result."@en ;
|
|
2339
2339
|
rdfs:subClassOf rdfs:Resource ;
|
|
2340
2340
|
rdfs:isDefinedBy sh: .
|
|
@@ -2401,7 +2401,7 @@ sh:union
|
|
|
2401
2401
|
|
|
2402
2402
|
sh:ExpressionConstraintComponent
|
|
2403
2403
|
a sh:ConstraintComponent ;
|
|
2404
|
-
rdfs:label "Expression
|
|
2404
|
+
rdfs:label "Expression Constraint Component"@en ;
|
|
2405
2405
|
rdfs:comment "A constraint component that can be used to verify that a given node expression produces true for all value nodes."@en ;
|
|
2406
2406
|
sh:parameter sh:ExpressionConstraintComponent-expression ;
|
|
2407
2407
|
rdfs:isDefinedBy sh: .
|
|
@@ -2445,7 +2445,8 @@ sh:condition
|
|
|
2445
2445
|
|
|
2446
2446
|
sh:TripleRule
|
|
2447
2447
|
a rdfs:Class ;
|
|
2448
|
-
rdfs:label "
|
|
2448
|
+
rdfs:label "Triple Rule"@en ;
|
|
2449
|
+
rdfs:comment "A rule based on triple (subject, predicate, object) pattern."@en ;
|
|
2449
2450
|
rdfs:subClassOf sh:Rule ;
|
|
2450
2451
|
rdfs:isDefinedBy sh: .
|
|
2451
2452
|
|
|
@@ -2472,7 +2473,7 @@ sh:object
|
|
|
2472
2473
|
|
|
2473
2474
|
sh:SPARQLRule
|
|
2474
2475
|
a rdfs:Class ;
|
|
2475
|
-
rdfs:label "SPARQL CONSTRUCT
|
|
2476
|
+
rdfs:label "SPARQL CONSTRUCT Rule"@en ;
|
|
2476
2477
|
rdfs:comment "The class of SHACL rules based on SPARQL CONSTRUCT queries."@en ;
|
|
2477
2478
|
rdfs:subClassOf sh:Rule ;
|
|
2478
2479
|
rdfs:subClassOf sh:SPARQLConstructExecutable ;
|
|
@@ -2483,14 +2484,14 @@ sh:SPARQLRule
|
|
|
2483
2484
|
|
|
2484
2485
|
sh:JSExecutable
|
|
2485
2486
|
a rdfs:Class ;
|
|
2486
|
-
rdfs:label "JavaScript
|
|
2487
|
+
rdfs:label "JavaScript Executable"@en ;
|
|
2487
2488
|
rdfs:comment "Abstract base class of resources that declare an executable JavaScript."@en ;
|
|
2488
2489
|
rdfs:subClassOf rdfs:Resource ;
|
|
2489
2490
|
rdfs:isDefinedBy sh: .
|
|
2490
2491
|
|
|
2491
2492
|
sh:JSTarget
|
|
2492
2493
|
a rdfs:Class ;
|
|
2493
|
-
rdfs:label "JavaScript
|
|
2494
|
+
rdfs:label "JavaScript Target"@en ;
|
|
2494
2495
|
rdfs:comment "The class of targets that are based on JavaScript functions."@en ;
|
|
2495
2496
|
rdfs:subClassOf sh:Target ;
|
|
2496
2497
|
rdfs:subClassOf sh:JSExecutable ;
|
|
@@ -2498,7 +2499,7 @@ sh:JSTarget
|
|
|
2498
2499
|
|
|
2499
2500
|
sh:JSTargetType
|
|
2500
2501
|
a rdfs:Class ;
|
|
2501
|
-
rdfs:label "JavaScript
|
|
2502
|
+
rdfs:label "JavaScript Target Type"@en ;
|
|
2502
2503
|
rdfs:comment "The (meta) class for parameterizable targets that are based on JavaScript functions."@en ;
|
|
2503
2504
|
rdfs:subClassOf sh:TargetType ;
|
|
2504
2505
|
rdfs:subClassOf sh:JSExecutable ;
|
|
@@ -2506,14 +2507,14 @@ sh:JSTargetType
|
|
|
2506
2507
|
|
|
2507
2508
|
sh:JSConstraint
|
|
2508
2509
|
a rdfs:Class ;
|
|
2509
|
-
rdfs:label "JavaScript
|
|
2510
|
+
rdfs:label "JavaScript Constraint"@en ;
|
|
2510
2511
|
rdfs:comment "The class of constraints backed by a JavaScript function."@en ;
|
|
2511
2512
|
rdfs:subClassOf sh:JSExecutable ;
|
|
2512
2513
|
rdfs:isDefinedBy sh: .
|
|
2513
2514
|
|
|
2514
2515
|
sh:JSConstraintComponent
|
|
2515
2516
|
a sh:ConstraintComponent ;
|
|
2516
|
-
rdfs:label "JavaScript
|
|
2517
|
+
rdfs:label "JavaScript Constraint Component"@en ;
|
|
2517
2518
|
rdfs:comment "A constraint component with the parameter sh:js linking to a sh:JSConstraint containing a sh:script."@en ;
|
|
2518
2519
|
sh:parameter sh:JSConstraint-js ;
|
|
2519
2520
|
rdfs:isDefinedBy sh: .
|
|
@@ -2555,7 +2556,7 @@ sh:jsLibraryURL
|
|
|
2555
2556
|
|
|
2556
2557
|
sh:JSFunction
|
|
2557
2558
|
a rdfs:Class ;
|
|
2558
|
-
rdfs:label "JavaScript
|
|
2559
|
+
rdfs:label "JavaScript Function"@en ;
|
|
2559
2560
|
rdfs:comment "The class of SHACL functions that execute a JavaScript function when called."@en ;
|
|
2560
2561
|
rdfs:subClassOf sh:Function ;
|
|
2561
2562
|
rdfs:subClassOf sh:JSExecutable ;
|
|
@@ -2563,14 +2564,14 @@ sh:JSFunction
|
|
|
2563
2564
|
|
|
2564
2565
|
sh:JSLibrary
|
|
2565
2566
|
a rdfs:Class ;
|
|
2566
|
-
rdfs:label "JavaScript
|
|
2567
|
+
rdfs:label "JavaScript Library"@en ;
|
|
2567
2568
|
rdfs:comment "Represents a JavaScript library, typically identified by one or more URLs of files to include."@en ;
|
|
2568
2569
|
rdfs:subClassOf rdfs:Resource ;
|
|
2569
2570
|
rdfs:isDefinedBy sh: .
|
|
2570
2571
|
|
|
2571
2572
|
sh:JSRule
|
|
2572
2573
|
a rdfs:Class ;
|
|
2573
|
-
rdfs:label "JavaScript
|
|
2574
|
+
rdfs:label "JavaScript Rule"@en ;
|
|
2574
2575
|
rdfs:comment "The class of SHACL rules expressed using JavaScript."@en ;
|
|
2575
2576
|
rdfs:subClassOf sh:JSExecutable ;
|
|
2576
2577
|
rdfs:subClassOf sh:Rule ;
|
|
@@ -2578,7 +2579,7 @@ sh:JSRule
|
|
|
2578
2579
|
|
|
2579
2580
|
sh:JSValidator
|
|
2580
2581
|
a rdfs:Class ;
|
|
2581
|
-
rdfs:label "JavaScript
|
|
2582
|
+
rdfs:label "JavaScript Validator"@en ;
|
|
2582
2583
|
rdfs:comment "A SHACL validator based on JavaScript. This can be used to declare SHACL constraint components that perform JavaScript-based validation when used."@en ;
|
|
2583
2584
|
rdfs:subClassOf sh:JSExecutable ;
|
|
2584
2585
|
rdfs:subClassOf sh:Validator ;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"src.js","sourceRoot":"","sources":["../../src/ontologies/src.ts"],"names":[],"mappings":";;;AAAa,QAAA,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAuiBb,CAAC;AAEM,QAAA,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0JlB,CAAC;AAEW,QAAA,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoGnB,CAAC;AAEW,QAAA,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6GnB,CAAC;AAEW,QAAA,EAAE,GAAG
|
|
1
|
+
{"version":3,"file":"src.js","sourceRoot":"","sources":["../../src/ontologies/src.ts"],"names":[],"mappings":";;;AAAa,QAAA,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAuiBb,CAAC;AAEM,QAAA,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0JlB,CAAC;AAEW,QAAA,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoGnB,CAAC;AAEW,QAAA,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6GnB,CAAC;AAEW,QAAA,EAAE,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAioDjB,CAAC;AAEW,QAAA,OAAO,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqEtB,CAAC;AAEW,QAAA,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CAqRwB,CAAC;AAEhC,QAAA,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uKA+EoJ,CAAC"}
|
|
@@ -4,15 +4,15 @@ import { RdfsReasoner } from "./rdfs-reasoner";
|
|
|
4
4
|
* A simple SKOS reasoner that expands the graph with inferred triples.
|
|
5
5
|
*/
|
|
6
6
|
export declare class ShaclReasoner extends RdfsReasoner {
|
|
7
|
-
protected
|
|
8
|
-
protected validators: Set<string>;
|
|
9
|
-
protected parameterizables: Set<string>;
|
|
7
|
+
protected classes: Set<string>;
|
|
10
8
|
protected isClass(id: string): boolean;
|
|
11
9
|
applyInference(quad: n3.Quad): void;
|
|
12
10
|
protected assertShape(subject: n3.BlankNode | n3.NamedNode | n3.Variable, type?: n3.NamedNode): void;
|
|
13
11
|
protected assertValidator(subject: n3.BlankNode | n3.NamedNode | n3.Variable): void;
|
|
14
12
|
protected assertParameterizable(subject: n3.BlankNode | n3.NamedNode | n3.Variable): void;
|
|
13
|
+
protected assertRule(subject: n3.BlankNode | n3.NamedNode | n3.Variable): void;
|
|
15
14
|
protected isShapeType(subject: n3.Term): boolean;
|
|
15
|
+
protected isRuleType(subject: n3.Term): boolean;
|
|
16
16
|
protected isValidatorType(subject: n3.Term): boolean;
|
|
17
17
|
protected isParameterizableType(subject: n3.Term): boolean;
|
|
18
18
|
inferShapeAxioms(quad: n3.Quad): void;
|