model result spec

This commit is contained in:
Michael Jerger 2023-07-24 09:25:56 +02:00
parent 44862216eb
commit d13259c2b2

View file

@ -20,20 +20,18 @@
;http://www.w3.org/ns/activitystreams#attachment ;http://www.w3.org/ns/activitystreams#attachment
(s/def ::attachment (s/def ::attachment
(s/and (s/and
::owl/ObjectProperty
::Class ::Class
::Link ::Link
::Object ::Object))
::owl/ObjectProperty))
;http://www.w3.org/ns/activitystreams#result ;http://www.w3.org/ns/activitystreams#result
;TODO: definition in progress
;How should we translate this?
;rdfs:range [
; a owl:Class ;
; owl:unionOf ( as:Object as:Link )
; ]
(s/def ::result (s/def ::result
(s/and ::owl/ObjectProperty)) (s/and
::owl/ObjectProperty
::Class
::Object
::Link))
;http://www.w3.org/ns/activitystreams#Activity ;http://www.w3.org/ns/activitystreams#Activity
;TODO: definition in progress ;TODO: definition in progress