ldac 2018 paper - linked datalinkedbuildingdata.net/ldac2018/files/presentations... · checking...
TRANSCRIPT
![Page 1: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/1.jpg)
Toward French Semantic Regulationchecking based on semantic rules
LDAC 2018 – Paper
CSTB/TI - Nicolas BUS; Guillaume PICINBONO
![Page 2: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/2.jpg)
2
Context
« Digitizing French Building Regulation »
=> Methods and POC
Sponsor : French Ministry for Housing
18 Month => July 2018
Involving regulation experts and knowledge enginneers
Lead by CSTB
![Page 3: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/3.jpg)
3
Checker
Building Model
Set of
Contraints
(requirements)
List of
non-compliant
elements
Recap : principle a compliance checker
![Page 4: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/4.jpg)
4
Objectives
1. Build an extensible and white box compliance
checker
2. Bridge the gap between human readable texts and
IFC concepts
![Page 5: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/5.jpg)
5
What does white box means ?
- Easy to extend and to add new constraints
- Constraint are decoupled from checker implementation
- Constraints and are auditable
- Constraints use a standard language
![Page 6: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/6.jpg)
6
How large is the gap ?
- Regulation and BIM use non-bijective vocabularies
- Regulation use a lot of synonyms
- The regulation is ambiguous
- The regulatory text is not autonomous (lots of references)
- IFC is verbose and low level
- IFC geometry is polymorph with high level of detail
![Page 7: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/7.jpg)
7
Bringing regulation closer to BIM
Regulation
text
Semi-formal
contraints
Construction experts
![Page 8: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/8.jpg)
8
Bringing regulation closer to BIM
Regulation
text
Semi-formal
contraints
Controled vocabulary
Controled syntax
Editing tools
Construction experts
![Page 9: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/9.jpg)
9
Bringing regulation closer to BIM
Regulation
text
Controled vocabulary
Controled syntax
Construction experts
Regulation
Ontology
+
RulesKnowledge engineer
Semi-formal
contraints
![Page 10: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/10.jpg)
10
Contraints examples
SEMI-FORMAL CONSTRAINT
IF structure_element in latest_storey no fireproof THEN_NON_COMPLIANT
element fireproof element fire_rating > 1h
Always begins with« IF »Always ends with
« THEN_NON_COMPLIANT »
Use controled vocabulary
REGULATION TEXT
All elements that takes part to the structure, under the roof, slab must be resistant enough in
case of fire (see fire safety standard…).
Equivalence
![Page 11: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/11.jpg)
11
Regulation Ontology
IFCOWL
Simplification
Alignment
High level concept
Fre
nch
Re
gu
latio
n O
nto
log
y
Properties,classifications, types,
Geometry, topology
Regulation vocabulary built on
IFC concepts
Regulation concepts built on
other regulation concepts
![Page 12: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/12.jpg)
12
Regulation Ontology
IFCOWL
Simplification
Alignment
High level concept
:RelDefinedByProperties
Fre
nch
Re
gu
latio
n O
nto
log
y
:FireRating
:FireProof
:ProtectedSpace
![Page 13: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/13.jpg)
13
Simplification example : properties
IFC-OWL way to express an object property
Simplified way
Equivalence
![Page 14: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/14.jpg)
14
Digitizing regulation contraints
Regulation
text
Semi-formal
contraints Semantic
constraints
Controled vocabulary
Controled syntax
Construction experts Knowledge engineer
Regulation
Ontology
+
RulesKnowledge engineer
![Page 15: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/15.jpg)
15
Triple
Store
IFC RDF
Geometrical
Semantic
Preprocessor
SPARQL-
constraints
BCFzip
Regulation
ontology
+
SPARQL-rules
Semantic Compliance Checker
![Page 16: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/16.jpg)
16
Integration with a BIM platform (KROQI)
Watching report as
BCF annotations
![Page 17: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/17.jpg)
17
Improving geometry level of detail
Improving topological inferences
Improving rules classification
Applying constraints corresponding to building type
Improving Ontology and rule maintenance
Automating Ontology documentation including Rules
What next ?
![Page 18: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/18.jpg)
Thanks your attention…
Toward French Semantic Regulationchecking based on semantic rules
LDAC 2018 – Paper
CSTB/TI - Nicolas BUS; Guillaume PICINBONO
![Page 19: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/19.jpg)
Appendices
![Page 20: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/20.jpg)
20
Contraints examples
SEMI-FORMAL CONSTRAINTIF structure_element in latest_storey no fireproof THEN NON-COMPLIANT
SPARQL-RULES + ONTOLOGY?e :LoadBearing true
=>
?e :StructureElement
…
SPARQL CONSTRAINTSELECT ?e
?building :LatestStorey ?storey .
NOT EXISTS (?e a :FireProof)
?e a :StructureElement; :In ?storey .
![Page 21: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/21.jpg)
21
Geometrical
preprocessor
Simplification examples : geometry
Bounding boxes
Polymorph high LOD geometry
Simplified geometry
![Page 22: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/22.jpg)
22
WC : <wc1>
Clear space <cs1_1>
Clear space <cs1_2>
WC : <wc2>
Clear space : <cs2_1>
Clear space : <cs2_2>
Hand rail
![Page 23: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/23.jpg)
23
KROQI plateform
28/09/2015 - Auteur Nom
IFC file uploaded
![Page 24: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/24.jpg)
24
Contraints examples
SEMI-FORMAL CONSTRAINTIF no clear_space of width 0.8m, depth 1m beside a WC_seat THEN NON-COMPLIANT
RULE + ONTOLOGY?wc a :WCSeat
=>
?wc :NeedClearSpace ?cs1 ; :NeedClearSpace ?cs2 .
?cs1 :Width 0.8 ; :Depth 1 .
…?cs1 :X (?WC_X + ?dX) .
?cs1 :Y (?WC_Y) .
CONSTRAINTSELECT ?wc
…?wc a :WC ; ?wc :NeedClearSpace ?cs
?e :Intersects ?cs
...
HAVING COUNT(DISTINCT ?cs)=2
?cs1Clear space
?cs2Clear space
?wcWC Seat
![Page 25: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/25.jpg)
25
IFC
SPARQL-
constraints
BCFzipChecker Webservice
Contraints examples
![Page 26: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/26.jpg)
26
KROQI Platform – Launching service
Executing
checker service
![Page 27: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/27.jpg)
27
KROQI Platform – Choosing a set of constraints
Selecting a
Contraints set to apply
![Page 28: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/28.jpg)
28
KROQI Platform – Displaying results
Reading the report
![Page 29: LDAC 2018 Paper - Linked Datalinkedbuildingdata.net/ldac2018/files/Presentations... · checking based on semantic rules LDAC 2018 –Paper CSTB/TI - Nicolas BUS; Guillaume PICINBONO](https://reader034.vdocument.in/reader034/viewer/2022052012/6027e14a691f0d432b23b1b3/html5/thumbnails/29.jpg)
29
KROQI Platform
Watching report as
BCF annotations