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