Re: [shex] Validation of RDF* (#107)

Hi Eric, 

I would say that we should validate in and out the `<<>>`, as all is data that is susceptible to be validated or to be part of a schema. That said, in both examples I think we are missing a variable: o in schema 1 and s' in schema 2.

I would suggest a syntax like (following schema 1):
```
<#UserShape> {
  << a [foaf:User] >> dc:creator IRI . ;
  << foaf:givenName xsd:string >> dc:creator IRI . ;
  << foaf:familyName xsd:string >> dc:creator IRI . ;
}
```
And we may also validate the s p <<s' p' o'>> productions:
E.g.:
```
:employee1 :createdEntry << :alice foaf:givenName "Alice" >> .
```
```
<#UserDataEntryVerificationShape> {
  :createdEntry << @<#User> >>  . ;
}

<#User> {
  foaf:givenName xsd:string .
}
```

-- 
GitHub Notification of comment by herminiogg
Please view or discuss this issue at https://github.com/shexSpec/shex/issues/107#issuecomment-766782535 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 25 January 2021 12:28:34 UTC