https://www.w3.org/TR/2018/REC-activitypub-20180123/#object-without-create
> The server MUST accept a valid [ActivityStreams] object that isn't a subtype of `Activity` in the POST request to the outbox. The server then MUST attach this object as the `object` of a Create Activity.
この要件によるとオブジェクトが`Activity`のサブタイプであるか否かによって`outbox`における扱いが異なるわけだけど、当該のオブジェクトが`Activity`のサブタイプでないとする判定がどのようにして行われるのか気になっている
開世界仮説的にはサブタイプであると知られていないことだけをもってサブタイプでないとは言えないわけで。オントロジーで明示的にdisjoint classと指定されている場合はその限りでないけど、Activity Vocabularyにおいてはそういった指定は見当たらないし
フォロー
もちろんdisjoint classであるとの記述が見当たらないことだけを持ってdisjoint classでないとは言い切れないわけだけど（？）
まあ開世界仮説云々を振りかざすと衒学的かも知れないけど、実用上としては拡張性の問題と言い換えられるよね。例えばクライアントが`EmojiReact`アクティビティを送ったとして、サーバがそれを解釈できずに`Create`に包んだら困るわけで
s/持って/もって/
Disjoint classだけでなく、プロパティのドメインの制約として`owl:complementOf as:Activity`を取るのもあり得るか。まあそういった記述も見当たらないのだけど