Title: Theoretical Foundations for Information Representation and Constraint Specification