webapp.data.shape.shex.ttl 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!
BASE 
PREFIX rdf: 
PREFIX sx: 
PREFIX xsd: 

[] a sx:Schema ;
  sx:start  ;
  sx:shapes
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
     ,
      .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:Schema ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:startActs ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:start ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:shapes ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr  ] ) ] .

 a sx:ShapeOr ;
  sx:shapeExprs (       ) .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:ShapeOr ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:shapeExprs ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:ShapeAnd ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:shapeExprs ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:ShapeNot ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:shapeExpr ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:NodeConstraint ) ] ]
      [ a sx:OneOf ; sx:expressions (
        [ a sx:TripleConstraint ; sx:predicate sx:nodeKind ;
          sx:valueExpr
	    [ a sx:NodeConstraint ; sx:values ( sx:iri sx:bnode sx:literal sx:nonliteral ) ] ]
	[ a sx:TripleConstraint ; sx:predicate sx:datatype ;
          sx:valueExpr [ a sx:NodeConstraint ; sx:nodeKind sx:iri ] ]
	
	
	[ a sx:TripleConstraint ; sx:predicate sx:values ; sx:min 1 ; sx:max -1 ;
          sx:valueExpr  ] ) ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:Shape ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:closed ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( true false ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:extra ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:nodeKind sx:iri ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:expression ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:semActs ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:annotation ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:TripleConstraint ; sx:predicate rdf:type ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:ShapeExternal ) ] ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:SemAct ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:name ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:nodeKind sx:iri ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:code ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:string ] ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:Annotation ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:predicate ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:nodeKind sx:iri ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:object ; sx:valueExpr  ] ) ] .

 a sx:Shape ;
  sx:expression [ a sx:EachOf ; sx:expressions (   ) ] .

 a sx:OneOf ;
  sx:expressions (
    [ a sx:TripleConstraint ; sx:predicate sx:length ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
    [ a sx:TripleConstraint ; sx:predicate sx:minlength ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
    [ a sx:TripleConstraint ; sx:predicate sx:maxlength ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
    [ a sx:TripleConstraint ; sx:predicate sx:pattern ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:string ] ] ) .

 a sx:OneOf ;
  sx:expressions (
    [ a sx:TripleConstraint ; sx:predicate sx:mininclusive ;
      sx:valueExpr  ]
    [ a sx:TripleConstraint ; sx:predicate sx:minexclusive ;
      sx:valueExpr  ]
    [ a sx:TripleConstraint ; sx:predicate sx:maxinclusive ;
      sx:valueExpr  ]
    [ a sx:TripleConstraint ; sx:predicate sx:maxexclusive ;
      sx:valueExpr  ]
    [ a sx:TripleConstraint ; sx:predicate sx:totaldigits ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
    [ a sx:TripleConstraint ; sx:predicate sx:fractiondigits ;
      sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ] ) .

 a sx:ShapeOr ;
  sx:shapeExprs (
    [ a sx:NodeConstraint ; sx:datatype xsd:integer ]
    [ a sx:NodeConstraint ; sx:datatype xsd:decimal ]
    [ a sx:NodeConstraint ; sx:datatype xsd:double ] ) .

 a sx:ShapeOr ;
  sx:shapeExprs (    ) .
 a sx:ShapeOr ;
  sx:shapeExprs (
    [ a sx:NodeConstraint ; sx:nodeKind sx:iri ]
    [ a sx:NodeConstraint ; sx:nodeKind sx:literal ] ) .
 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:IriStem ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:stem ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:string ] ] ) ] .
 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:IriStemRange ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:stem ;
        sx:valueExpr [ a sx:ShapeOr ; sx:shapeExprs (
	  [ a sx:NodeConstraint ; sx:datatype xsd:string ]
           ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:exclusion ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr [ a sx:ShapeOr ; sx:shapeExprs (
	  
	   ) ] ] ) ] .
 a sx:ShapeAnd ;
  sx:shapeExprs (
    [ a sx:NodeConstraint ; sx:nodeKind sx:bnode ]
    [ a sx:Shape ; sx:closed true ;
      sx:expression
        [ a sx:TripleConstraint ; sx:predicate rdf:type ;
          sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:Wildcard ) ] ] ] ) .

 a sx:ShapeOr ;
  sx:shapeExprs (    ) .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:OneOf ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:min ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:max ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
     [ a sx:TripleConstraint ; sx:predicate sx:expressions ;
       sx:valueExpr  ]
     [ a sx:TripleConstraint ; sx:predicate sx:semActs ; sx:min 0 ; sx:max 1 ;
       sx:valueExpr  ]
     [ a sx:TripleConstraint ; sx:predicate sx:annotation ; sx:min 0 ; sx:max -1 ;
       sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr
	  [ a sx:NodeConstraint ; sx:values ( sx:EachOf ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:min ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr
	  [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:max ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:expressions ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:semActs ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:annotation ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:first ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate rdf:rest ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:first ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate rdf:rest ;
        sx:valueExpr
	  [ a sx:ShapeOr ; sx:shapeExprs (
	    [ a sx:NodeConstraint ; sx:values ( rdf:nil ) ]
	     ) ] ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:type ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( sx:TripleConstraint ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:inverse ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( true false ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:negated ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:values ( true false ) ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:min ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:max ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:datatype xsd:integer ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:predicate ;
        sx:valueExpr [ a sx:NodeConstraint ; sx:nodeKind sx:iri ] ]
      [ a sx:TripleConstraint ; sx:predicate sx:valueExpr ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:semActs ; sx:min 0 ; sx:max 1 ;
        sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate sx:annotation ; sx:min 0 ; sx:max -1 ;
        sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:first ; sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate rdf:rest ;
        sx:valueExpr [ a sx:ShapeOr ; sx:shapeExprs (
	  [ a sx:NodeConstraint ; sx:values ( rdf:nil ) ]
	   ) ] ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression [ a sx:EachOf ; sx:expressions (
    [ a sx:TripleConstraint ; sx:predicate rdf:first ; sx:valueExpr  ]
    [ a sx:TripleConstraint ; sx:predicate rdf:rest ; sx:valueExpr  ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:first ; sx:valueExpr  ]
      [ a sx:TripleConstraint ; sx:predicate rdf:rest ;
        sx:valueExpr [ a sx:ShapeOr ; sx:shapeExprs (
	  [ a sx:NodeConstraint ; sx:values ( rdf:nil ) ]  ) ] ] ) ] .

 a sx:Shape ; sx:closed true ;
  sx:expression
    [ a sx:EachOf ; sx:expressions (
      [ a sx:TripleConstraint ; sx:predicate rdf:first ; sx:valueExpr  ]
       [ a sx:TripleConstraint ; sx:predicate rdf:rest ;
         sx:valueExpr [ a sx:ShapeOr ; sx:shapeExprs (
	   [ a sx:NodeConstraint ; sx:values ( rdf:nil ) ]
            ) ] ] ) ] .