adjust translate receipt

This commit is contained in:
Michael Jerger 2023-07-28 17:09:24 +02:00
parent fc539a28d9
commit 614db2aa91

View file

@ -4,6 +4,7 @@
- [**rdfs:domain**](#rdfsdomain) - [**rdfs:domain**](#rdfsdomain)
- [owner is **a** type](#owner-is-a-type) - [owner is **a** type](#owner-is-a-type)
- [owner is a **owl:unionOf** types](#owner-is-a-owlunionof-types) - [owner is a **owl:unionOf** types](#owner-is-a-owlunionof-types)
- [**rdfs:subClassOf**](#rdfssubclassof)
- [Further infos](#further-infos) - [Further infos](#further-infos)
- [RDF/S](#rdfs) - [RDF/S](#rdfs)
- [range (https://www.w3.org/TR/rdf12-schema/#ch\_range)](#range-httpswwww3orgtrrdf12-schemach_range) - [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 Maps to
```clojure ```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** ## **rdfs:subClassOf**