diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/activitystreams2.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/activitystreams2.cljc new file mode 100644 index 0000000..9114f18 --- /dev/null +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/activitystreams2.cljc @@ -0,0 +1,14 @@ +(ns org.domaindrivenarchitecture.activity-pub-poc.activitystreams2 + (:require [clojure.spec.alpha :as s] + [org.domaindrivenarchitecture.activity-pub-poc.owl :as owl] + [org.domaindrivenarchitecture.activity-pub-poc.core :as core])) + +;http://www.w3.org/ns/activitystreams#id +;TODO: how do we translate this? rdfs:domain [a owl:Class ; owl:unionOf (as:Link as:Object)] +; Der token 'a' in einer ttl definition entspricht dem RDF-Prädikat rdf:type. +; Siehe: https://www.w3.org/TR/turtle/#sec-iri UND https://www.w3.org/TR/rdf12-schema/#ch_type +; => (R, rdf:type, C) => C instanceof rdfs:Class & R instanceof C +(s/def ::id (s/and ::owl/FunctionalProperty + ::owl/DatatypeProperty + ::owl/DeprecatedProperty + core/uri-string?)) \ No newline at end of file diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/owl.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/owl.cljc index a78c43d..cb1a30a 100644 --- a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/owl.cljc +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/owl.cljc @@ -5,7 +5,7 @@ ; Properties:https://www.w3.org/TR/owl-ref/#Property ; * Datatype properties link individuals to data values. -; * Object properties link individuals to data values. +; * Object properties link individuals to individuals. ;http://www.w3.org/2002/07/owl#DatatypeProperty (s/def ::DatatypeProperty any?) diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/predicates.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/predicates.cljc new file mode 100644 index 0000000..2973182 --- /dev/null +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/predicates.cljc @@ -0,0 +1,6 @@ +(ns org.domaindrivenarchitecture.activity-pub-poc.predicates + (:require [clojure.string :as str])) + +(defn uri-string? [input] + (and (string? input) + (re-matches #"\w+:(\/?\/?)[^\s]+" input))) \ No newline at end of file diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdf.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdf.cljc new file mode 100644 index 0000000..a2d6173 --- /dev/null +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdf.cljc @@ -0,0 +1,12 @@ +(ns org.domaindrivenarchitecture.activity-pub-poc.rdf + "" "A swallow spec translation implementation of rdf. Inheritance of FunctionalProperty + is realized in deep implemented." "" + (:require [clojure.spec.alpha :as s] + [orchestra.core :refer [defn-spec]])) + +; TODO: Fill out logic +(defn-spec triple boolean? + [rdf-types any? + property any? + object any?] + ) \ No newline at end of file diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdfs.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdfs.cljc new file mode 100644 index 0000000..bebcc7d --- /dev/null +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/rdfs.cljc @@ -0,0 +1,15 @@ +(ns org.domaindrivenarchitecture.activity-pub-poc.rdfs + "" "A swallow spec translation implementation of rdfs. Inheritance of FunctionalProperty + is realized in deep implemented." "" + (:require [clojure.spec.alpha :as s])) + +;https://www.w3.org/TR/rdf12-schema/#ch_range +; "P rdfs:range C" indicates that: +; 1. P is an instance of the class rdf:Property +; 2. C is an instance of the class rdfs:Class +; 3. all the resources denoted by the objects of triples whose predicate is P are instances of the class C. +; =>Bedeutet(?): Es gilt: Tupel = (Subjekt, Prädikat, Objekt): +; => Wenn (P, rdfs:range, C) & (S, P, C2) => C2 is instance of C +; +; 1. und 2. könnten wir in der spec abbilden. 3. brauchen wir vmtl nicht (und hab ich nicht 100% verstanden) +(s/def ::range any?) \ No newline at end of file diff --git a/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/xsd.cljc b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/xsd.cljc new file mode 100644 index 0000000..021697f --- /dev/null +++ b/src/main/cljc/org/domaindrivenarchitecture/activity_pub_poc/xsd.cljc @@ -0,0 +1,8 @@ +(ns org.domaindrivenarchitecture.activity-pub-poc.xsd + "" "A swallow spec translation implementation of xsd Inheritance of FunctionalProperty + is realized in deep implemented." "" + (:require [clojure.spec.alpha :as s] + [org.domaindrivenarchitecture.activity-pub-poc.predicates :as p])) + +;https://www.w3.org/TR/xmlschema11-2/#anyURI +(s/def ::anyURI p/uri-string?) \ No newline at end of file