From: Lady <redacted>
Date: Sat, 1 Mar 2025 22:43:24 +0000 (-0500)
Subject: Support disjoint unions; improve modelling somewhat
X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/902e75e8644b2c86ed5e1fc3c8f59c07ca44ba93?ds=sidebyside;hp=902e75e8644b2c86ed5e1fc3c8f59c07ca44ba93

Support disjoint unions; improve modelling somewhat

- `anno:Selector` can no longer be refined by `anno:State` (in cases
  where an object is both).

- `awol:FeedOrEntry` is now formalized as a disjoint union of
  `awol:Feed` and `awol:Entry`. This was already true, as Feeds and
  Entries were disjoint and Feed Or Entry was equivalent to their
  union, but this states it explicitly.

- `dcterms:LicenseDocument` is now a subclass of `foaf:Document`.

- Plumbing `dcterms:` classes which simply indicated one of a variety
  of classes are now equivalent to their union, not simply superclasses
  of them. This simplifies the ranges of properties which previously
  indicated the union and aligns with how these classes were probably
  intended. This union is _not_ defined as disjoint.

- Superfluous disjoint rules were removed from `foaf:Agent` and
  `foaf:Document`; these can be inferred.
---