Digital library of construction informatics and information technology in civil engineering and construction
Digital library
Paper: w78-2015-paper-085
| Paper title: | Model Checking on Semantic Web: IFC Validation Using Modularized and Distributed Constraints |
| Authors: | C Zhang, J Beetz |
| Summary: | |
| Type: | conference paper |
| Year of publication: | 2015 |
| Series: | w78:2015 |
| ISSN: | 2706-6568 |
| Download paper: | /pdfs/w78-2015-paper-085.pdf |
| Citation: | C Zhang, J Beetz (2015). Model Checking on Semantic Web: IFC Validation Using Modularized and Distributed Constraints. Proceedings of the 32nd International Conference of CIB W78, Eindhoven, The Netherlands, 27-29 October, 819-827 (ISSN: 2706-6568), http://itc.scix.net/paper/w78-2015-paper-085 |
hosted by University of Ljubljana
includes:
W78
includes:
W78
inspired by SciX, ported by Robert Klinc [2019]