Andy Seaborne afs

## rules-spec.md

      
              1 file
            
          
              0 forks
            
          
              2 stars
            
          
                afs
                / rules-spec.md
            
            
              Last active
              August 11, 2025 14:47
            
              
                Sketch of SHACL Rules doc
              
          
    Warning : this document is out of date and is not being updated
Please direct comments to https://github.com/w3c/data-shapes/issues

SHACL Rules

SHACL rules infer new triples. The input is a data graph and a shape graph with rules, the output is a graph of inferred triples that do not occur in the data graph.

  
## sql-correlated-example.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              1 star
            
          
                afs
                / sql-correlated-example.md
            
            
              Last active
              August 6, 2025 19:47
            
              
                SQL de-correlation example
              
          
    https://cs.emis.de/LNI/Proceedings/Proceedings241/383.pdf
Table: students: {[id, name, major, year, . . . ]}

Table exams: {[sid, course, curriculum, date, . . . ]}
    select s.name,e.course
    from   students s,exams e 
    where  s.id=e.sid and
 e.grade=(select min(e2.grade)

  
## notes2.md

      
              1 file
            
          
              0 forks
            
          
              1 star
            
          
                afs
                / notes2.md
            
            
              Last active
              August 11, 2025 14:47
            
              
                Notes on SHACL Rules
              
          
    Warning : this document is out of date and is not being updated
The contents formed the basis of shacl12-inf-rules
Please direct comments to https://github.com/w3c/data-shapes/issues

SHACL Rules


## config.ttl
PREFIX :        <#>
PREFIX fuseki:  <http://jena.apache.org/fuseki#>
PREFIX rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:    <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ja:      <http://jena.hpl.hp.com/2005/11/Assembler#>
PREFIX tdb2:    <http://jena.apache.org/2016/tdb#>

## RDFS+TDB2 Dataset

[] rdf:type fuseki:Server ;

## 2024-08-23-shacl-c.html
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
  <head>
  <title>SHACL-C Grammar</title>
  <link rel="stylesheet" type="text/css" href="https://www.w3.org/StyleSheets/TR/base.css" />
  <link rel="stylesheet" type="text/css" href="https://www.w3.org/2001/sw/DataAccess/rq23/local.css" />
  </head>
<body>
        <!-- GRAMMAR -->

## Dockerfile.build-env
## Build for Apache Jena
## maven with added dependencies for running Cypress and the UI part of the build.
## Run this container with the Jena mounted on /jena

FROM 'maven:3.9.8-eclipse-temurin-21-jammy' AS base

ENV DEBIAN_FRONTEND=noninteractive

RUN apt update

## dash:ListShape
@prefix dash: <http://datashapes.org/dash#> .
## @prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
## @prefix tosh: <http://topbraid.org/tosh#> .
## @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

dash:ListNodeShape
  a sh:NodeShape ;

## api-long.java
    public static void main(String...args) {
        Model model = ModelFactory.createDefaultModel();
        Resource subject1 = ResourceFactory.createResource("http://example/s1");
        Resource subject2 = ResourceFactory.createResource("http://example/s2");
        Property property = ResourceFactory.createProperty("http://example/p");
        Long longValue = 6L;
        model.addLiteral(subject1, property, ResourceFactory.createTypedLiteral(longValue.toString(), XSDDatatype.XSDlong));
        model.addLiteral(subject2, property, longValue);
        RDFWriter.source(model).lang(Lang.TTL).output(System.out);
    }

## IRIProvider3986.java
/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0

## BufferAlloc.java
/*
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	PREFIX : <#>
	PREFIX fuseki: <http://jena.apache.org/fuseki#>
	PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
	PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
	PREFIX ja: <http://jena.hpl.hp.com/2005/11/Assembler#>
	PREFIX tdb2: <http://jena.apache.org/2016/tdb#>

	## RDFS+TDB2 Dataset

	[] rdf:type fuseki:Server ;
	<?xml version="1.0" encoding="utf-8"?>
	<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
	<html>
	<head>
	<title>SHACL-C Grammar</title>
	<link rel="stylesheet" type="text/css" href="https://www.w3.org/StyleSheets/TR/base.css" />
	<link rel="stylesheet" type="text/css" href="https://www.w3.org/2001/sw/DataAccess/rq23/local.css" />
	</head>
	<body>
	<!-- GRAMMAR -->
	## Build for Apache Jena
	## maven with added dependencies for running Cypress and the UI part of the build.
	## Run this container with the Jena mounted on /jena

	FROM 'maven:3.9.8-eclipse-temurin-21-jammy' AS base

	ENV DEBIAN_FRONTEND=noninteractive

	RUN apt update
	@prefix dash: <http://datashapes.org/dash#> .
	## @prefix owl: <http://www.w3.org/2002/07/owl#> .
	@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
	@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
	@prefix sh: <http://www.w3.org/ns/shacl#> .
	## @prefix tosh: <http://topbraid.org/tosh#> .
	## @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

	dash:ListNodeShape
	a sh:NodeShape ;
	public static void main(String...args) {
	Model model = ModelFactory.createDefaultModel();
	Resource subject1 = ResourceFactory.createResource("http://example/s1");
	Resource subject2 = ResourceFactory.createResource("http://example/s2");
	Property property = ResourceFactory.createProperty("http://example/p");
	Long longValue = 6L;
	model.addLiteral(subject1, property, ResourceFactory.createTypedLiteral(longValue.toString(), XSDDatatype.XSDlong));
	model.addLiteral(subject2, property, longValue);
	RDFWriter.source(model).lang(Lang.TTL).output(System.out);
	}
	/*
	* Licensed to the Apache Software Foundation (ASF) under one
	* or more contributor license agreements. See the NOTICE file
	* distributed with this work for additional information
	* regarding copyright ownership. The ASF licenses this file
	* to you under the Apache License, Version 2.0 (the
	* "License"); you may not use this file except in compliance
	* with the License. You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	/*
	Licensed under the Apache License, Version 2.0 (the "License");
	you may not use this file except in compliance with the License.
	You may obtain a copy of the License at

	http://www.apache.org/licenses/LICENSE-2.0

	Unless required by applicable law or agreed to in writing, software
	distributed under the License is distributed on an "AS IS" BASIS,
	WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.