[opminion]

This is Berners-Lee rule language without explicit negation. The syntax, with nested graphs of triplets, is neat. See also SparQL.

[opminion]

I asked chatGPT and it hallucinated log:not when I asked how to represent negation in N3logic.