Skip to content

Commit

Permalink
~ migrate to negativeStructure/ and schemas/
Browse files Browse the repository at this point in the history
  • Loading branch information
Eric Prud'hommeaux committed Nov 8, 2018
1 parent 389d3cf commit 934457a
Show file tree
Hide file tree
Showing 25 changed files with 545 additions and 134 deletions.
84 changes: 14 additions & 70 deletions negativeStructure/manifest.jsonld
Expand Up @@ -13,157 +13,101 @@
"entries": [
{
"@id": "#1MissingRef",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "1MissingRef",
"status": "mf:proposed",
"shex": "1MissingRef.shex"
},
{
"@id": "#1focusMissingRefdot",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "1focusMissingRefdot",
"status": "mf:proposed",
"shex": "1focusMissingRefdot.shex"
},
{
"@id": "#1focusRefANDSelfdot",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "1focusRefANDSelfdot",
"status": "mf:proposed",
"shex": "1focusRefANDSelfdot.shex"
},
{
"@id": "#includeSimpleShape",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "includeSimpleShape",
"status": "mf:proposed",
"shex": "includeSimpleShape.shex"
},
{
"@id": "#includeNonSimpleShape",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "includeNonSimpleShape",
"status": "mf:proposed",
"shex": "includeNonSimpleShape.shex"
},
{
"@id": "#includeExpressionNotFound",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "includeExpressionNotFound",
"status": "mf:proposed",
"shex": "includeExpressionNotFound.shex"
},
{
"@id": "#1ShapeProductionCollision",
"@type": "sht:NegativeStructureFailure",
"name": "1ShapeProductionCollision",
"status": "mf:proposed",
"shex": "1ShapeProductionCollision.shex"
},
{
"@id": "#1ShapeProductionCollision",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "1ShapeProductionCollision",
"status": "mf:proposed",
"shex": "1ShapeProductionCollision.shex"
},
{
"@id": "#Cycle1Negation1_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "Cycle1Negation1_fail",
"status": "mf:proposed",
"shex": "Cycle1Negation1_fail.shex"
},
{
"@id": "#Cycle1Negation2_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "Cycle1Negation2_fail",
"status": "mf:proposed",
"shex": "Cycle1Negation2_fail.shex"
},
{
"@id": "#Cycle1Negation3_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "Cycle1Negation3_fail",
"status": "mf:proposed",
"shex": "Cycle1Negation3_fail.shex"
},
{
"@id": "#CycleNoNegation_pass",
"@type": "sht:NegativeStructureTest",
"name": "CycleNoNegation_pass",
"status": "mf:proposed",
"shex": "CycleNoNegation_pass.shex"
},
{
"@id": "#NoNegation_pass",
"@type": "sht:NegativeStructureTest",
"name": "NoNegation_pass",
"status": "mf:proposed",
"shex": "NoNegation_pass.shex"
},
{
"@id": "#NoNegation2_pass",
"@type": "sht:NegativeStructureTest",
"name": "NoNegation2_pass",
"status": "mf:proposed",
"shex": "NoNegation2_pass.shex"
},
{
"@id": "#OneNegation_pass",
"@type": "sht:NegativeStructureTest",
"name": "OneNegation_pass",
"status": "mf:proposed",
"shex": "OneNegation_pass.shex"
},
{
"@id": "#TwoNegation_pass",
"@type": "sht:NegativeStructureTest",
"name": "TwoNegation_pass",
"status": "mf:proposed",
"shex": "TwoNegation_pass.shex"
},
{
"@id": "#TwoNegation_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "TwoNegation_fail",
"status": "mf:proposed",
"shex": "TwoNegation_fail.shex"
},
{
"@id": "#TwoNegation2_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "TwoNegation2_fail",
"status": "mf:proposed",
"shex": "TwoNegation2_fail.shex"
},
{
"@id": "#Cycle2NoNegation_pass",
"@type": "sht:NegativeStructureTest",
"name": "Cycle2NoNegation_pass",
"status": "mf:proposed",
"shex": "Cycle2NoNegation_pass.shex"
},
{
"@id": "#Cycle2Negation_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "Cycle2Negation_fail",
"status": "mf:proposed",
"shex": "Cycle2Negation_fail.shex"
},
{
"@id": "#Cycle2Extra_fail",
"@type": "sht:NegativeStructureFailure",
"@type": "sht:NegativeStructure",
"name": "Cycle2Extra_fail",
"status": "mf:proposed",
"shex": "Cycle2Extra_fail.shex"
},
{
"@id": "#Cycle2Extra_pass",
"@type": "sht:NegativeStructureTest",
"name": "Cycle2Extra_pass",
"status": "mf:proposed",
"shex": "Cycle2Extra_pass.shex"
}
]
}
Expand Down
79 changes: 15 additions & 64 deletions negativeStructure/manifest.ttl
Expand Up @@ -18,142 +18,93 @@
<#Cycle1Negation1_fail>
<#Cycle1Negation2_fail>
<#Cycle1Negation3_fail>
<#CycleNoNegation_pass>
<#NoNegation_pass>
<#NoNegation2_pass>
<#OneNegation_pass>
<#TwoNegation_pass>
<#TwoNegation_fail>
<#TwoNegation2_fail>
<#Cycle2NoNegation_pass>
<#Cycle2Negation_fail>
<#Cycle2Extra_fail>
<#Cycle2Extra_pass>
) .
<#1MissingRef> a sht:NegativeStructureFailure ;

<#1MissingRef> a sht:NegativeStructure ;
mf:name "1MissingRef" ;
mf:status mf:proposed ;
sx:shex <1MissingRef.shex> ;
.

<#1focusMissingRefdot> a sht:NegativeStructureFailure ;
<#1focusMissingRefdot> a sht:NegativeStructure ;
mf:name "1focusMissingRefdot" ;
mf:status mf:proposed ;
sx:shex <1focusMissingRefdot.shex> ;
.

<#1focusRefANDSelfdot> a sht:NegativeStructureFailure ;
<#1focusRefANDSelfdot> a sht:NegativeStructure ;
mf:name "1focusRefANDSelfdot" ;
mf:status mf:proposed ;
sx:shex <1focusRefANDSelfdot.shex> ;
.

<#includeSimpleShape> a sht:NegativeStructureFailure ;
<#includeSimpleShape> a sht:NegativeStructure ;
mf:name "includeSimpleShape" ;
mf:status mf:proposed ;
sx:shex <includeSimpleShape.shex> ;
.

<#includeNonSimpleShape> a sht:NegativeStructureFailure ;
<#includeNonSimpleShape> a sht:NegativeStructure ;
mf:name "includeNonSimpleShape" ;
mf:status mf:proposed ;
sx:shex <includeNonSimpleShape.shex> ;
.

<#includeExpressionNotFound> a sht:NegativeStructureFailure ;
<#includeExpressionNotFound> a sht:NegativeStructure ;
mf:name "includeExpressionNotFound" ;
mf:status mf:proposed ;
sx:shex <includeExpressionNotFound.shex> ;
.

<#1ShapeProductionCollision> a sht:NegativeStructureFailure ;
<#1ShapeProductionCollision> a sht:NegativeStructure ;
mf:name "1ShapeProductionCollision" ;
mf:status mf:proposed ;
sx:shex <1ShapeProductionCollision.shex> ;
.

<#Cycle1Negation1_fail> a sht:NegativeStructureFailure ;
<#Cycle1Negation1_fail> a sht:NegativeStructure ;
mf:name "Cycle1Negation1_fail" ;
mf:status mf:proposed ;
sx:shex <Cycle1Negation1_fail.shex> ;
.

<#Cycle1Negation2_fail> a sht:NegativeStructureFailure ;
<#Cycle1Negation2_fail> a sht:NegativeStructure ;
mf:name "Cycle1Negation2_fail" ;
mf:status mf:proposed ;
sx:shex <Cycle1Negation2_fail.shex> ;
.

<#Cycle1Negation3_fail> a sht:NegativeStructureFailure ;
<#Cycle1Negation3_fail> a sht:NegativeStructure ;
mf:name "Cycle1Negation3_fail" ;
mf:status mf:proposed ;
sx:shex <Cycle1Negation3_fail.shex> ;
.

<#CycleNoNegation_pass> a sht:NegativeStructureTest ;
mf:name "CycleNoNegation_pass" ;
mf:status mf:proposed ;
sx:shex <CycleNoNegation_pass.shex> ;
.

<#NoNegation_pass> a sht:NegativeStructureTest ;
mf:name "NoNegation_pass" ;
mf:status mf:proposed ;
sx:shex <NoNegation_pass.shex> ;
.

<#NoNegation2_pass> a sht:NegativeStructureTest ;
mf:name "NoNegation2_pass" ;
mf:status mf:proposed ;
sx:shex <NoNegation2_pass.shex> ;
.

<#OneNegation_pass> a sht:NegativeStructureTest ;
mf:name "OneNegation_pass" ;
mf:status mf:proposed ;
sx:shex <OneNegation_pass.shex> ;
.

<#TwoNegation_pass> a sht:NegativeStructureTest ;
mf:name "TwoNegation_pass" ;
mf:status mf:proposed ;
sx:shex <TwoNegation_pass.shex> ;
.

<#TwoNegation_fail> a sht:NegativeStructureFailure ;
<#TwoNegation_fail> a sht:NegativeStructure ;
mf:name "TwoNegation_fail" ;
mf:status mf:proposed ;
sx:shex <TwoNegation_fail.shex> ;
.

<#TwoNegation2_fail> a sht:NegativeStructureFailure ;
<#TwoNegation2_fail> a sht:NegativeStructure ;
mf:name "TwoNegation2_fail" ;
mf:status mf:proposed ;
sx:shex <TwoNegation2_fail.shex> ;
.

<#Cycle2NoNegation_pass> a sht:NegativeStructureTest ;
mf:name "Cycle2NoNegation_pass" ;
mf:status mf:proposed ;
sx:shex <Cycle2NoNegation_pass.shex> ;
.

<#Cycle2Negation_fail> a sht:NegativeStructureFailure ;
<#Cycle2Negation_fail> a sht:NegativeStructure ;
mf:name "Cycle2Negation_fail" ;
mf:status mf:proposed ;
sx:shex <Cycle2Negation_fail.shex> ;
.

<#Cycle2Extra_fail> a sht:NegativeStructureFailure ;
<#Cycle2Extra_fail> a sht:NegativeStructure ;
mf:name "Cycle2Extra_fail" ;
mf:status mf:proposed ;
sx:shex <Cycle2Extra_fail.shex> ;
.

<#Cycle2Extra_pass> a sht:NegativeStructureTest ;
mf:name "Cycle2Extra_pass" ;
mf:status mf:proposed ;
sx:shex <Cycle2Extra_pass.shex> ;
.

26 changes: 26 additions & 0 deletions schemas/Cycle2Extra.json
@@ -0,0 +1,26 @@
{
"type": "Schema",
"shapes": [
{
"id": "http://example.org/S",
"type": "Shape",
"expression": {
"type": "TripleConstraint",
"predicate": "http://example.org/a",
"valueExpr": "http://example.org/T"
},
"extra": [
"http://example.org/a"
]
},
{
"id": "http://example.org/T",
"type": "Shape",
"expression": {
"type": "TripleConstraint",
"predicate": "http://example.org/b"
}
}
],
"@context": "http://www.w3.org/ns/shex.jsonld"
}
File renamed without changes.
17 changes: 17 additions & 0 deletions schemas/Cycle2Extra.ttl
@@ -0,0 +1,17 @@
PREFIX shex: <http://www.w3.org/ns/shex#>

[ a shex:Schema ;
shex:shapes <http://example.org/S> , <http://example.org/T> ] .

<http://example.org/S> a shex:Shape ;
shex:extra <http://example.org/a> ;
shex:expression [
a shex:TripleConstraint ;
shex:predicate <http://example.org/a> ;
shex:valueExpr <http://example.org/T> ] .

<http://example.org/T> a shex:Shape ;
shex:expression [
a shex:TripleConstraint ;
shex:predicate <http://example.org/b> ] .

15 changes: 15 additions & 0 deletions schemas/Cycle2NoNegation.json
@@ -0,0 +1,15 @@
{
"type": "Schema",
"shapes": [
{
"id": "http://example.org/S",
"type": "Shape",
"expression": {
"type": "TripleConstraint",
"predicate": "http://example.org/a",
"valueExpr": "http://example.org/S"
}
}
],
"@context": "http://www.w3.org/ns/shex.jsonld"
}
File renamed without changes.

0 comments on commit 934457a

Please sign in to comment.