Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/
CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language RML is based on first-order predicate calculus. CrocoPat supports RSF.