RDFの意味論においては`as:attachment`の値域が`as:Object`または`as:Link`であるというのは、`as:attachment`の値として`as:Object`でも`as:Linkでもないものを指定したらエラーとなるという意味*ではなく*、`as:attachment`の値として指定されたものは全て`as:Object`または`as:Link`であると見なしますという意味であるはずなので、この場合は拒否する方が間違いな気がする(自信がない)
QT: hollo.social/@hongminhee/019d0
[参照]

より形式的に述べるならば、RDF Semantics(<w3.org/TR/2014/REC-rdf11-mt-20>)によれば、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.”)。

自分でも何を言っているのか分からなくなってきた(?)

0

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.)