![General architecture and interaction between this checker and bimserver.org | Download Scientific Diagram General architecture and interaction between this checker and bimserver.org | Download Scientific Diagram](https://www.researchgate.net/publication/271823060/figure/fig3/AS:667837857267729@1536236361675/General-architecture-and-interaction-between-this-checker-and-bimserverorg.png)
General architecture and interaction between this checker and bimserver.org | Download Scientific Diagram
![PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/0877683423dcfbb2f487801cce07415b077eee0a/4-Figure1-1.png)
PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar
![PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/0877683423dcfbb2f487801cce07415b077eee0a/7-Figure2-1.png)
PDF] Model checking on the semantic web: IFC validation using modularized and distributed constraints | Semantic Scholar
![Engineering Proceedings | Free Full-Text | Checking IFC with MVD Rules in Infrastructure: A Case Study Engineering Proceedings | Free Full-Text | Checking IFC with MVD Rules in Infrastructure: A Case Study](https://www.mdpi.com/engproc/engproc-17-00033/article_deploy/html/images/engproc-17-00033-g001.png)