From 614db2aa91673cf100ce3fed4be4b00d9fd94195 Mon Sep 17 00:00:00 2001 From: Michael Jerger Date: Fri, 28 Jul 2023 17:09:24 +0200 Subject: [PATCH] adjust translate receipt --- doc/Translate_ttl_to_spec.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/Translate_ttl_to_spec.md b/doc/Translate_ttl_to_spec.md index 8b09efe..8099c85 100644 --- a/doc/Translate_ttl_to_spec.md +++ b/doc/Translate_ttl_to_spec.md @@ -4,6 +4,7 @@ - [**rdfs:domain**](#rdfsdomain) - [owner is **a** type](#owner-is-a-type) - [owner is a **owl:unionOf** types](#owner-is-a-owlunionof-types) + - [**rdfs:subClassOf**](#rdfssubclassof) - [Further infos](#further-infos) - [RDF/S](#rdfs) - [range (https://www.w3.org/TR/rdf12-schema/#ch\_range)](#range-httpswwww3orgtrrdf12-schemach_range) @@ -85,10 +86,10 @@ as:id rdfs:domain [owl:unionOf (as:Link as:Object)] Maps to ```clojure -(s/def ::Object (s/keys :opt-un [::id ...])) +(s/def ::Object (sh/map-spec (s/keys :opt-un [::id ...]))) -(s/def ::Link (s/keys :opt-un [::id])) +(s/def ::Link (sh/map-spec (s/keys :opt-un [::id]))) ``` ## **rdfs:subClassOf**