Click to close

ShEx

Data Validation Workbench

This demo is out of date with repect to ShEx2; try the ShEx2 online demo.

Rendering

Validation:

as

Translations

SPARQL:
View as:

Validation messages:

<Issue1> matches <IssueShape>
Validation complete.
9.0 triples, 6 ms, 1.5e+3 triples/s

Validation Results

result navigation enabled — use ctrl-↑ and ctrl-↓ to browse results.

<Issue1> matches <IssueShape>:
PASS {
  ex:reportedBy @<UserShape> matched by <Issue1> ex:reportedBy <User2> .
    PASS {
      a (foaf:Person) matched by <User2> a foaf:Person .
      foaf:givenName xsd:string+ matched by <User2> foaf:givenName "Bob" .
      foaf:familyName xsd:string matched by <User2> foaf:familyName "Smith" .
      foaf:mbox IRI matched by <User2> foaf:mbox <mailto:bob@example.org> .
    }
  ex:assignedTo @<EmployeeShape> matched by <Issue1> ex:assignedTo <User2> .
    PASS {
      a (foaf:Person) matched by <User2> a foaf:Person .
      foaf:givenName xsd:string+ matched by <User2> foaf:givenName "Bob" .
      foaf:familyName xsd:string matched by <User2> foaf:familyName "Smith" .
      foaf:mbox IRI matched by <User2> foaf:mbox <mailto:bob@example.org> .
    }
}
Remaining triples:
  <extra> <triple> 1 .
  <extra> <triple> 2 .
  <extra> <triple> 3 .



Schema (ShEx):

Schema parsed.0.53 kB, 12 ms, 44 kB/s
PREFIX ex: <http://ex.example/#>
PREFIX foaf: <http://xmlns.com/foaf/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

start = <IssueShape>

<IssueShape> {
    ex:reportedBy @<UserShape>,
    ex:assignedTo @<EmployeeShape>
}

<UserShape> {
    a (foaf:Person),
    (
       foaf:name xsd:string
     |
       foaf:givenName xsd:string+,
       foaf:familyName xsd:string),
    foaf:mbox IRI
}

<EmployeeShape> {
    a (foaf:Person),
    foaf:givenName xsd:string+,
    foaf:familyName xsd:string,
    foaf:phone IRI*,
    foaf:mbox IRI
}

#BASE <http://base.example/#>
PREFIX ex: <http://ex.example/#>
PREFIX foaf: <http://xmlns.com/foaf/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

<Issue1>
    ex:reportedBy   <User2> ;
    ex:assignedTo   <User2> .

<User2> a foaf:Person ;
    foaf:givenName "Bob" ;
    foaf:familyName "Smith" ;
    foaf:mbox <mailto:bob@example.org> .

<extra> <triple> 1,2,3.