Verification of conjunctive-query based semantic artifacts?