Compare commits

..

3 commits

Author SHA1 Message Date
d7549638cf make transormation receipt more lean 2023-07-28 17:12:44 +02:00
614db2aa91 adjust translate receipt 2023-07-28 17:09:24 +02:00
fc539a28d9 renamed 2023-07-28 17:09:06 +02:00
2 changed files with 10 additions and 10 deletions

View file

@ -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)
@ -24,13 +25,10 @@ as:id a owl:DatatypeProperty ,
Maps to
```clojure
(s/def ::DatatypeProperty any?)
(s/def ::FunctionalProperty any?)
(s/def ::id
(s/and
::DeprecatedProperty
::FunctionalProperty))
::owl/DeprecatedProperty
::owl/FunctionalProperty))
```
Der token `a` in einer ttl Definition entspricht dem RDF-Prädikat `rdf:type`. Siehe:
@ -53,12 +51,10 @@ as:id rdfs:range xsd:anyURI ;
Maps to
```clojure
(s/def ::anyURI p/uri-string?)
(s/def ::id
(s/and
...
::anyURI))
::xsd/anyURI))
```
## **rdfs:domain**
@ -74,6 +70,10 @@ Example in namespace activitypub2
as:id rdfs:domain [a owl:Class;]
```
Maps to
```clojure
```
### owner is a **owl:unionOf** types
It is added to the owner. That's the way to model properties. If the owner is membe of an other namespace, we create a subclass with same name in the namespce in scope and enhance the subclass.
@ -85,10 +85,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**