RDFの意味論においては`as:attachment`の値域が`as:Object`または`as:Link`であるというのは、`as:attachment`の値として`as:Object`でも`as:Linkでもないものを指定したらエラーとなるという意味*ではなく*、`as:attachment`の値として指定されたものは全て`as:Object`または`as:Link`であると見なしますという意味であるはずなので、この場合は拒否する方が間違いな気がする(自信がない)
QT: https://hollo.social/@hongminhee/019d0eaa-637d-70e4-b110-fb96d4f2cf24 [参照]
より形式的に述べるならば、RDF Semantics(<https://www.w3.org/TR/2014/REC-rdf11-mt-20140225/>)によれば、RDFS interpretationにおいて
```turtle
as:attachment rdfs:range [ owl:unionOf ( as:Object as:Link ) ] .
s as:attachment o .
```
というのは、
```turtle
o rdf:type [ owl:unionOf ( as:Object as:Link ) ] .
```
をentailするという意味でしかない。特に、RDFSを含むRDF Schemaの仕様で定義されるsemantic extensionはあらゆるグラフに対してエラーにならないとされている(“None of the semantic extensions normatively defined in this document impose such syntactic restrictions on RDF graphs.”)。
自分でも何を言っているのか分からなくなってきた(?)
If you have a fediverse account, you can quote this note from your own instance. Search https://fedibird.com/users/tesaguri/statuses/116265744783518957 on your instance and quote it. (Note that quoting is not supported in Mastodon.)