isValidSynset working; no luck with ARQ in Jena.