state of discussion

This commit is contained in:
Michael Jerger 2023-07-21 10:12:08 +02:00
parent 34922395e9
commit d58fa20147

View file

@ -36,11 +36,17 @@
;http://www.w3.org/ns/activitystreams#id ;http://www.w3.org/ns/activitystreams#id
;TODO: how do we translate this? rdfs:domain [a owl:Class ; owl:unionOf (as:Link as:Object)] ;TODO: how do we translate this? rdfs:domain [a owl:Class ; owl:unionOf (as:Link as:Object)]
;TODO evtl sind ::owl/FunctionalProperty, ::owl/DatatypeProperty, ::owl/DeprecatedProperty nur meta informationen?
(s/def ::id (s/and ::owl/FunctionalProperty (s/def ::id (s/and ::owl/FunctionalProperty
::owl/DatatypeProperty ::owl/DatatypeProperty
::owl/DeprecatedProperty ::owl/DeprecatedProperty
core/uri-string?)) core/uri-string?))
;TODO: we will need such a predicate ...
;(defn-spec isFunctional? bool?
; [spec keyword?]
; (search-in-meta spec))
; TODO: type can have multiple values!! Affects also the fct match-type and all specs that uses it! ; TODO: type can have multiple values!! Affects also the fct match-type and all specs that uses it!
(s/def ::type #(or (core/uri-string? %) (contains? objectAndLinkTypes %))) (s/def ::type #(or (core/uri-string? %) (contains? objectAndLinkTypes %)))