Re: SHACL for SHACL

Another comment

there are also a few recursive shapes that by definition are undefined

shsh:ShapeShape a sh:NodeShape ;
  sh:property [
    sh:path sh:node ;
    sh:node *shsh:NodeShapeShape* ; # node-node
  ] ;
  sh:property [
    sh:path ( sh:xone [ sh:zeroOrMorePath rdf:rest ] rdf:first ) ;
    sh:node* shsh:ShapeShape* ; # xone-members-node
  ] ;
sh:property [
sh:path sh:not ;
sh:node *shsh:ShapeShape* ;       # not-node
] ;
sh:property [
sh:path ( sh:and [ sh:zeroOrMorePath rdf:rest ] rdf:first ) ;
sh:node *shsh:ShapeShape* ;       # and-members-node
] ;
sh:property [
sh:path sh:property ;
sh:node *shsh:PropertyShapeShape* ;    # property-node
] ;
.

shsh:NodeShapeShape  a sh:NodeShape ;
  sh:node *shsh:ShapeShape* ;
.

shsh:PropertyShapeShape  a sh:NodeShape ;
  sh:node *shsh:ShapeShape* ;
.

shsh:PathShape
  sh:xone (

[ sh:nodeKind sh:BlankNode ;    # 2.3.1.5: Zero-or-more path
 sh:closed true ;
 sh:property [
   sh:path sh:zeroOrMorePath ;
   sh:node *shsh:PathShape* ; # multiple similar cases in the same shape
   sh:minCount 1 ;
   sh:maxCount 1 ;
 ]
]
[ sh:nodeKind sh:BlankNode ;    # 2.3.1.3: Alternative path
 sh:closed true ;
 sh:property [
   sh:path sh:alternativePath ;
   sh:node *shsh:PathListWithAtLeast2Members* ; # multiple similar cases in
the same shape
   sh:minCount 1 ;
   sh:maxCount 1 ;
 ]
]

shsh:PathListWithAtLeast2Members
a sh:NodeShape ;
sh:node shsh:ListShape ;
sh:property [
sh:path ( [ sh:zeroOrMorePath rdf:rest ] rdf:first ) ;
sh:node *shsh:PathShape* ;
] ;


On Mon, Apr 3, 2017 at 6:26 PM, Dimitris Kontokostas <
kontokostas@informatik.uni-leipzig.de> wrote:

> Thanks Holger,
>
> Although I didn´t check the actual shapes in detail I have a couple of
> comments on some annotations
> We have the following triple:
>
>> shsh: a owl:Ontology ;
>
>
> Do we need shsh to be an owl ontology?
>
> Do we also need to import the SHACL vocabulary?
>
>> shsh: owl:imports sh: ;
>
> I think we only need a few subclass relations which we could duplicate to
> make it standalone
>
> I am not sure if this is needed as well, we do not have SHACL-SPARQL
> constraints
>
>> sh:declare [
>> sh:prefix "shsh" ;
>> sh:namespace "http://www.w3.org/ns/shacl-shacl#" ;
>> ] .
>
>
> On Mon, Apr 3, 2017 at 10:45 AM, Holger Knublauch <holger@topquadrant.com>
> wrote:
>
>> Thanks, good catch. Fixed.
>>
>> Holger
>>
>>
>>
>> On 3/04/2017 18:34, Olivier Corby wrote:
>>
>>> Hi,
>>>
>>> On 04/03/2017 04:13 AM, Holger Knublauch wrote:
>>>
>>>> ACTION: Everyone please review the SHACL file above, and/or try it
>>>> against shape definitions - we should sign this off in the Wednesday
>>>> meeting so that we can swiftly resubmit the CR request.
>>>>
>>>
>>>
>>> I think there is a problem with the URIs shsh:PropertyShape and
>>> shsh:PropertyShapeShape, they should be the same URI :
>>>
>>>
>>> sh:property [
>>>         sh:path sh:property ;
>>>         sh:node shsh:PropertyShape ;    # property-node
>>>     ] ;
>>>
>>>
>>>
>>> shsh:PropertyShapeShape
>>>     a sh:NodeShape ;
>>>     sh:targetSubjectsOf sh:path ;
>>>     sh:node shsh:ShapeShape ;
>>>     sh:property [
>>>         sh:path sh:path ;
>>>         sh:maxCount 1 ;                 # path-maxCount
>>>         sh:minCount 1 ;                 # PropertyShape-path-minCount
>>>         sh:node shsh:PathShape ;        # path-node
>>>     ] ;
>>>
>>>
>>> The same problem occurs with shsh:NodeShapeShape and shsh:NodeShape
>>>
>>>
>>>
>>> Olivier
>>>
>>>
>>>
>>>
>>>
>>>
>>
>>
>
>
> --
> Dimitris Kontokostas
> Department of Computer Science, University of Leipzig & DBpedia Association
> Projects: http://dbpedia.org, http://rdfunit.aksw.org,
> http://aligned-project.eu
> Homepage: http://aksw.org/DimitrisKontokostas
> Research Group: AKSW/KILT http://aksw.org/Groups/KILT
>



-- 
Dimitris Kontokostas
Department of Computer Science, University of Leipzig & DBpedia Association
Projects: http://dbpedia.org, http://rdfunit.aksw.org,
http://aligned-project.eu
Homepage: http://aksw.org/DimitrisKontokostas
Research Group: AKSW/KILT http://aksw.org/Groups/KILT