Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion shacl12-core/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@
}
};
</script>
<link rel="stylesheet" href="../shacl12-common/style.css"/>
<link rel="stylesheet" href="style.css"/>
</head>
<body>
<section id="abstract">
Expand Down
109 changes: 109 additions & 0 deletions shacl12-core/local-biblio.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,109 @@
var localBibliography = {
ISO24707: {
id: "ISO24707",
title: "Information technology — Common Logic (CL) — A framework for a family of logic-based languages",
date: "2018-07",
href: "https://www.iso.org/standard/66249.html",
status: "Published",
publisher: "ISO/EIC"
},
HORST04: {
id: "HORST04",
title: "Extending the RDFS Entailment Lemma",
authors: ["Herman J. ter Horst"],
date: "2004",
isbn: "978-3-540-30475-3",
href: "https://doi.org/10.1007/978-3-540-30475-3_7",
status: "Conference Proceeding",
publisher: "Springer, Berlin, Heidelberg"
},
HORST05: {
id: "HORST05",
title: "Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary",
authors: ["Herman J. ter Horst"],
date: "2005",
href: "https://dx.doi.org/10.2139/ssrn.3199251",
status: "Conference Proceeding",
publisher: "Journal of Web Semantics"
},
SAFETY: {
title: "Safety of recursive horn clauses with infinite relations",
href: "https://doi.org/10.1145/28659.28694",
authors: [
"R. Ramakrishnan",
"F. Bancilhon",
"A. Silberschatz"
],
date: "1987",
publisher: "ACM New York"
},
SAX: {
title: "SAX – The Simple API for XML",
href: "https://accu.org/journals/overload/7/34/cornish_515/",
authors: ["Steve Cornish"],
date: "October 1999",
},
STRIPEDRDF: {
id: "STRIPEDRDF",
title: "RDF: Understanding the Striped RDF/XML Syntax",
editors: ["D. Brickley"],
date: "2001",
href: "http://www.w3.org/2001/10/stripes/",
status: "Team Submission",
publisher: "W3C"
},
"RDF-STAR-CG": {
title: "RDF-star and SPARQL-star",
href: "https://w3c.github.io/rdf-star/cg-spec/2021-12-17.html",
authors: [
"Olaf Hartig",
"Pierre-Antoine Champin",
"Gregg Kellogg",
"Andy Seaborne"
],
rawDate: "2021-12-17",
status: "Final Community Group Report",
publisher: "W3C"
},
"RDF12-NEW": {
"authors": [
"David Wood"
],
"href": "https://w3c.github.io/rdf-new/spec/",
"title": "What’s New in RDF 1.2",
"rawDate": "2022-01-01",
"status": "DNOTE",
"publisher": "W3C"
},
"RDF12-PRIMER": {
"authors": [
"Guus Schreiber",
"Yves Raimond"
],
"href": "https://w3c.github.io/rdf-primer/spec/",
"title": "RDF 1.2 Primer",
"rawDate": "2022-01-01",
"status": "DNOTE",
"publisher": "W3C"
},
"SPARQL12-NEW": {
"authors": [
"The W3C RDF &amp; SPARQL Working Group"
],
"href": "https://w3c.github.io/sparql-new/spec/",
"title": "What’s New in SPARQL 1.2",
"rawDate": "2022-01-01",
"status": "WD",
"publisher": "W3C"
},
"SPARQL12-CONCEPTS": {
"authors": [
"The W3C RDF &amp; SPARQL Working Group"
],
"href": "https://w3c.github.io/sparql-concepts/spec/",
"title": "SPARQL 1.2 Concepts",
"rawDate": "2022-01-01",
"status": "WD",
"publisher": "W3C"
},
};
200 changes: 1 addition & 199 deletions shacl12-cs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -53,205 +53,7 @@
wgPublicList: "public-shacl"
};
</script>
<style>

pre {
tab-size: 3;
-moz-tab-size: 3; /* Code for Firefox */
-o-tab-size: 3; /* Code for Opera */
}

th {
text-align: left;
}
table.rule { background-color: #EBEBE0; }
table.rule td { text-align: center; }
td.up { border-bottom:1px solid black; }

td {
vertical-align: top;
}

.algorithm {
background: #fafafc;
border-left-style: solid;
border-left-width: .5em;
border-color: #c0c0c0;
margin-bottom: 16px;
padding: 8px;
}

.arg {
font-weight: bold;
color: #000080;
}

.def {
background: #fcfcfc;
border-left-style: solid;
border-left-width: .5em;
border-color: #c0c0c0;
margin-bottom: 16px;
}

.def-sparql {
}

.def-sparql-body {
margin-top: 0px;
margin-bottom: 0px;
}

.def-text {
}

.def-text-body {
}

.def-header {
color: #a0a0a0;
font-size: 16px;
padding-bottom: 8px;
}

.diagram-class {
border: 1px solid black;
border-radius: 4px;
width: 360px;
}

.diagram-class-name {
font-size: 16px;
font-weight: bold;
text-align: center;
}

.diagram-class-properties {
border-top: 1px solid black;
}

.diagram-class-properties-start {
padding: 8px;
}

.diagram-class-properties-section {
border-top: 1px dashed #808080;
padding: 8px;
}

.focus-node-selected {
color: blue;
}

.focus-node-error {
color: red;
}

.focus-node-error {
color: red;
}

.rule {
}

.component-class {
font-weight: bold;
font-size: 16px;
}

.parameter-context {
font-weight: bold;
font-size: 16px;
}

.parameters {
font-weight: bold;
font-size: 16px;
}

.part-header {
font-weight: bold;
}

.syntax {
border-left-style: solid;
border-left-width: .5em;
border-color: #d0d0d0;
margin-bottom: 16px;
padding: .5em 1em;
background-color: #f6f6f6;
}

.syntax-rule-id {
padding-right: 10px;
}

.syntax-rule-id-a {
white-space: nowrap;
}

.validator-id-a {
font-weight: bold;
white-space: nowrap;
}

.term {
font-style: italic;
}

.term-def-header {
font-style: italic;
font-weight: bold;
}

.term-table {
border-collapse: collapse;
border-color: #000000;
margin: 16px;
}

.term-table td, th {
border-width: 1px;
border-style: solid;
padding: 5px;
}

.todo {
color: red;
}

/* example pre taken / adapted from R2RML */
pre.grammar, pre.example-shapes, pre.example-shapes-ttl, pre.example-results, pre.example-other, pre.example-js { margin-left: 0; padding: 0 2em; margin-top: 1.5em; padding: 1em; }
pre.example-shapes:before, pre.example-shapes-ttl:before, pre.example-js:before, pre.example-results:before, pre.example-other:before { background: white; display: block; font-family: sans-serif; margin: -1em 0 0.4em -1em; padding: 0.2em 1em; }
pre.example-shapes { background: #eeb; }
pre.example-shapes, pre.example-shapes:before { border: 1px solid #cc9; }
pre.example-shapes:before { color: #888; content: "Example in Compact Syntax"; width: 13em; }
pre.example-shapes-ttl { background: #deb; }
pre.grammar { background: #fdfdfd; border: 1px solid #e0e0e0; }
pre.example-shapes-ttl, pre.example-shapes-ttl:before { border: 1px solid #bbb; }
pre.example-shapes-ttl:before { color: #996; content: "Example in Turtle Syntax"; width: 13em; }
example-results { background: #edb; }
example-results, .example-results:before, .example-results th, .example-results td { border: 1px solid #aca; }
pre.example-results:before { color: #797; content: "Example validation results"; width: 13em; }
pre.example-other { background: #bed; }
pre.example-other, pre.example-other:before { border: 1px solid #ddd; }
pre.example-other:before { color: #888; content: "Example"; width: 13em; }

pre.example-js { background: #cceebe; }
pre.example-js, pre.example-js:before { border: 1px solid #cc9; }
pre.example-js:before { color: #996; content: "Example JavaScript"; width: 13em; }

/* our syntax menu for switching */
div.syntaxmenu {
border: 1px dotted black;
padding:0.5em;
margin: 1em;
}

@media print {
div.syntaxmenu { display:none; }
}
</style>
<link rel="stylesheet" href="style.css"/>
</head>
<body>
<section id="abstract">
Expand Down
Loading