From d7549638cf3d1465f1b8516c3e4940ae1e63fe8e Mon Sep 17 00:00:00 2001 From: Michael Jerger Date: Fri, 28 Jul 2023 17:12:44 +0200 Subject: [PATCH] make transormation receipt more lean --- doc/Translate_ttl_to_spec.md | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/doc/Translate_ttl_to_spec.md b/doc/Translate_ttl_to_spec.md index 8099c85..dc8dc54 100644 --- a/doc/Translate_ttl_to_spec.md +++ b/doc/Translate_ttl_to_spec.md @@ -25,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: @@ -54,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** @@ -75,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.