make transormation receipt more lean

This commit is contained in:
Michael Jerger 2023-07-28 17:12:44 +02:00
parent 614db2aa91
commit d7549638cf

View file

@ -25,13 +25,10 @@ as:id a owl:DatatypeProperty ,
Maps to Maps to
```clojure ```clojure
(s/def ::DatatypeProperty any?)
(s/def ::FunctionalProperty any?)
(s/def ::id (s/def ::id
(s/and (s/and
::DeprecatedProperty ::owl/DeprecatedProperty
::FunctionalProperty)) ::owl/FunctionalProperty))
``` ```
Der token `a` in einer ttl Definition entspricht dem RDF-Prädikat `rdf:type`. Siehe: Der token `a` in einer ttl Definition entspricht dem RDF-Prädikat `rdf:type`. Siehe:
@ -54,12 +51,10 @@ as:id rdfs:range xsd:anyURI ;
Maps to Maps to
```clojure ```clojure
(s/def ::anyURI p/uri-string?)
(s/def ::id (s/def ::id
(s/and (s/and
... ...
::anyURI)) ::xsd/anyURI))
``` ```
## **rdfs:domain** ## **rdfs:domain**
@ -75,6 +70,10 @@ Example in namespace activitypub2
as:id rdfs:domain [a owl:Class;] as:id rdfs:domain [a owl:Class;]
``` ```
Maps to
```clojure
```
### owner is a **owl:unionOf** types ### 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. 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.