[j-pb]

There is a very handy RDF DL subset that has all of the desired properties described in the article.

Funnily enough we are targeting the browser AND FPGAs, and I think the latter is the much more interesting use case for a distributed reactive CRDT-like database.

Datalog is actually trivial to incrementally materialize in open world semantics. Which is why datomic (while a great foundation in theory) turns out to be non ideal. TxnIDs and retractions are essentially nonmononic negation in disguise, and CALM (consistency as logical monotonicity) a.k.a. distributedness, doesn't go well with that.

Seeing that we're not the only ones dreaming of this gives me hope though, that we might get out of the tar pit someday.