V. Rebekka, J. Stengel, and F. Schultmann, Building Information Modeling (BIM) for existing buildings-Literature review and future needs, Automation in construction, vol.38, pp.109-127, 2014.

C. Eastman, P. Teicholz, R. Sacks, and K. Liston, BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers, and Contractors, 2008.

V. Thein, BIM Interoperability Through a Vendor-Independent File Format, A Bentley White Paper, Industry Foundation Classes (IFC), 2011.

A. S. Ismail, K. N. Ali, and N. A. Iahad, A Review on BIM-based automated code compliance checking system, 2017 International Conference on Research and Innovation in Information Systems (ICRIIS), pp.1-6, 2017.

P. Pauwels and S. Zhang, Semantic RuleChecking for regulation compliance checking: An overview of strategies and approaches, Proc. of the 32nd CIB W78 Conference, 2015.

L. Khemlani, Solibri model checker, AECbytes Product Review, 2009.

I. Tool, , 2012.

K. R. Bouzidi, B. Fies, C. Faron-zucker, A. Zarli, N. Thanh et al., Semantic Web Approach to Ease Regulation Compliance Checking in Construction Industry, Future Internet, vol.4, issue.3, pp.830-851, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01185091

E. Friedman-hill, Jess in Action: Rule Based Systems in Java, 2003.

T. I. Berners-lee, D. A. Connolly, L. Kagal, Y. Scharf, and J. I. Hendler, N3Logic: A logical framework for the World Wide Web, Theory and Practice of Logic Programming, vol.8, issue.3, 2008.

H. Wicaksono, P. Dobreva, P. Häfner, and S. Rogalski, Ontology development towards expressive and reasoning-enabled building information model for an intelligent energy management system, Proc. of the 5th KEOD, pp.38-47, 2013.

P. Pauwels, D. Deursen, . Van, R. Verstraeten, J. Roo et al., A semantic rule checking environment for building performance checking, Automation in Construction, vol.20, issue.5, pp.506-518, 2011.

M. Kadolsky, K. Baumgärtel, and R. J. Scherer, An ontology framework for rule-based inspection of eeBIM-systems, Procedia Engineering, vol.85, pp.293-301, 2014.

F. Josefiak, H. Bohms, P. Bonsma, and M. Bourdeau, Semantic product modelling with SWOP's PMO, eWork and eBusiness in AEC, pp.95-104

C. K. Emani, C. Ferreira-da-silva, B. Fiès, P. Ghodous, and M. Bourdeau, Automated Semantic Enrichment of Ontologies in the Construction Domain, Proc. of the 32nd CIB W78 Conference, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229539

M. Fahad, N. Bus, and F. Andrieux, Towards Mapping Certification Rules over BIM, Proc. of the 33rd CIB W78 Conference, 2016.

M. Fahad, N. Bus, and F. Andrieux, SWRL Towards Mapping Certification Rules over BIM, Proc. of the 33rd CIB W78 Conference, 2016.

L. Zhang and R. R. Issa, Development of IFCbased Construction Industry Ontology for Information Retrieval from IFC Models, International Workshop on Computing in Civil Engineering, vol.68, 2011.

W. Terkaj and P. Pauwels, IfcOWL ontology file for IFC4, 2014.

M. H. Rasmussen, G. F. Schneider, P. Pauwels, . Building-topology, and . Ontology,

A. C. Perzylo, N. Somani, M. Rickert, and A. Knoll, An ontology for CAD data and geometric constraints as a link between product models and semantic robot task descriptions, proceedings of IROS, vol.15, pp.4197-4203, 2015.

T. Chipman, T. Liebich, and M. Weise, mvdXML specification of a standardized format to define and exchange MVD with exchange requirements and validation Rules, 2012.

T. Mendes-de-farias, A. Roxin, and C. Nicolle, A Semantic Web Approach for defining Building Views, 2016.

I. Horrocks, P. F. Patel-schneider, H. Boley, S. Tabet, B. Grosof et al., SWRL: A Semantic Web Rule Language Combining OWL and RuleML, 2004.

D. Brickley, R. V. Guha, and B. Mcbride, RDF vocabulary description language 1.0: RDF Schema". W3C Recommendation, 2004.

P. Pauwels and J. Oraskari, IFC-to-RDF Converter

. Mvdxmlchecker,