ByNobleID
    EZPAL: Environment for composing constraint axioms by instantiating templates | NobleID