webapp.data.shape.shex.shex Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of corese-server Show documentation
Corese is a Semantic Web Factory (triple store and SPARQL endpoint) implementing RDF, RDFS, SPARQL 1.1 Query and Update.
The newest version!
PREFIX sx: 
PREFIX xsd: 
PREFIX rdf: 
BASE 
#BASE 
prefix shex: 

start=@

 CLOSED {
  shex:targetClass [sx:Schema];
  a [sx:Schema] ;
  sx:imports @? ;
  sx:startActs @? ;
  sx:start @?;
  sx:shapes @*
}

 @ OR @ OR @ OR @ OR @ OR @

 CLOSED {
  a [sx:ShapeOr] ;
  sx:shapeExprs @
}

 CLOSED {
  a [sx:ShapeAnd] ;
  sx:shapeExprs @
}

 CLOSED {
  a [sx:ShapeNot] ;
  sx:shapeExpr @
}

 CLOSED {
  a [sx:NodeConstraint] ;
  sx:nodeKind [sx:iri sx:bnode sx:literal sx:nonliteral]?;
  sx:datatype IRI ? ;
  &  ;
  sx:values @?
}

 CLOSED {
  a [sx:Shape] ;
  sx:closed [true false]? ;
  sx:extra IRI* ;
  sx:expression @? ;
  sx:semActs @? ;
  sx:annotation @? ;
}

 CLOSED {
  a [sx:ShapeExternal] ;
}

 CLOSED {
  a [sx:SemAct] ;
  sx:name IRI ;
  sx:code xsd:string?
}

 CLOSED {
  a [sx:Annotation] ;
  sx:predicate IRI ;
  sx:object @
}

#  <@stringFacet> OR <@numericFacet>
 { # hold labeled productions
  $ ( & | & )* ;
  $ (
      sx:length xsd:integer
    | sx:minlength xsd:integer
    | sx:maxlength xsd:integer
    | sx:pattern xsd:string ; sx:flags xsd:string?
  );
  $ (
      sx:mininclusive   @
    | sx:minexclusive   @
    | sx:maxinclusive   @
    | sx:maxexclusive   @
    | sx:totaldigits    xsd:integer
    | sx:fractiondigits xsd:integer
  )
}
 xsd:integer OR xsd:decimal OR xsd:double

 @ OR @ OR @
                               OR @ OR @
                OR @ OR @ OR @
                
 IRI OR LITERAL # rdf:langString breaks on Annotation.object

 CLOSED { a [sx:Language]; sx:languageTag xsd:string }

 CLOSED { a [sx:IriStem]; sx:stem xsd:string }

 CLOSED {
  a [sx:IriStemRange];
  sx:stem xsd:string OR @;
  sx:exclusion @
}
 CLOSED { a [sx:LiteralStem]; sx:stem xsd:string }
 CLOSED {
  a [sx:LiteralStemRange];
  sx:stem xsd:string OR @;
  sx:exclusion @
}
 CLOSED { a [sx:LanguageStem]; sx:stem xsd:string }
 CLOSED {
  a [sx:LanguageStemRange];
  sx:stem xsd:string OR @;
  sx:exclusion @
}
 BNODE CLOSED {
  a [sx:Wildcard]
}

 @ OR @ OR @ OR CLOSED {  }

 CLOSED {
  a [sx:OneOf] ;
  sx:min xsd:integer? ;
  sx:max xsd:integer? ;
  sx:expressions @ ;
  sx:semActs @? ;
  sx:annotation @?
}

 CLOSED {
  a [sx:EachOf] ;
  sx:min xsd:integer? ;
  sx:max xsd:integer? ;
  sx:expressions @ ;
  sx:semActs @? ;
  sx:annotation @?
}

 CLOSED {
  rdf:first @ ;
  rdf:rest @
}
 CLOSED {
  rdf:first @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  a [sx:TripleConstraint] ;
  sx:inverse [true false]? ;
  sx:negated [true false]? ;
  sx:min xsd:integer? ;
  sx:max xsd:integer? ;
  sx:predicate IRI ;
  sx:valueExpr @? ;
  sx:semActs @? ;
  sx:annotation @?
}

 CLOSED {
  rdf:first IRI ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first @ ;
  rdf:rest  @
}
 CLOSED {
  rdf:first @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first IRI OR @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first xsd:string OR @ ;
  rdf:rest  [rdf:nil] OR @
}

 CLOSED {
  rdf:first xsd:string OR @ ;
  rdf:rest  [rdf:nil] OR @
}