Methods and tools for rule-based model checking and data validation

This deliverable presents the methods and tools for rulebased model checking and data validation according to the defined ETL processes and the outcomes of model checking and data validation of the selected real demonstration cases in conjunction with WP8 to ensure the compatibility and interoperability of the data to be uploaded to the BIMSPEED Platform WP6