# DiMA Papad Operation Algerba
DiMA Distributed Media Annotation
DeMA Decentralised Media Annotation

## Assume
0. Decentralised spaces
1. Content Addressed Object Identifiers
2. light weight containers

For modelling needs we ask you to think of a whatsapp group as a metaphor for a decentralized logical network. Think of any media element (post) as an object that has an id (asume unique worldwide - content addressed). Any reply to that object (target) is an annotation (which as its own id). A fragment (esp those that are targets of an annotation) of the target object is also an object (with its own id). We will get to physical network modelling and realization eventually.

Let
**g** be a group
**m,f** objects. m media; f fragment
**a** an annotation
**p** a persona (typically indicates author)

Let **g = {M}** is a set of M, media posted by personas mXp
**mXp E g** is true if there exists an mXp in g
**mEg is** true if there exists an mX_ in g
**pEg** is true if there exists an _Xp in g

**mQm**
>m1Qm2 is true if m1 and m2 are observably same.

---
**References**
https://researchspace.org/semantic-tools/
https://docs.servant.dev/en/stable/tutorial/ApiType.html#interoperability-with-wai-raw
https://docs.ipfs.io/how-to/address-ipfs-on-web/#http-gateways
https://garagehq.deuxfleurs.fr/blog/2022-introducing-garage/