38
Faculty of Engineering and Architecture Session 8 Reasoning with data: building performance checking and schema transformations Workshop Ontology Modelling Barcelona, 19-21 December 2011

Reasoning with data: building performance checking and schema transformations

Embed Size (px)

DESCRIPTION

Workshop Ontology Modelling - Session 8 Barcelona, 19-21 December 2011

Citation preview

Page 1: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Session 8Reasoning with data: building performance

checking and schema transformations

Workshop Ontology Modelling

Barcelona, 19-21 December 2011

Page 2: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

design

[1] Linked Data – Connect Distributed Data across the Web. http://linkeddata.org/ (2011)

Page 3: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[2] R. Cyganiak, C. Bizer. Pubby – A linked data frontend for SPARQL endpoints. http://www4.wiwiss.fu-berlin.de/pubby/.[3] OpenLink Software. Virtuoso Universal Server. http://virtuoso.openlinksw.com/.

Page 4: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Page 5: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Outline

1. Information visualization

2. Building performance checking

3. Interoperability and schema transformations

Page 6: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

INFORMATION VISUALIZATION

Page 7: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

‘Intelligent’ Virtual Environments

[4] GraphiSoft. GraphiSoft Virtual Building Explorer for ArchiCAD. http://www.graphisoft.com/products/virtual-building-explorer/.

Page 8: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Even more ‘Intelligent’ Virtual Environments

Page 9: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

1. Esperient Creator

2. 3DVIA Virtools

3. Unity3D

4. Quest3D

5. StoneTrip ShiVa

[5] P. Pauwels, R. De Meyer, J. Van Campenhout. Visualisation of semantic architectural information within a game engine environment. In Proceedings of the 10th International Conference on Construction Applications of Virtual Reality. 2010.

219-228.

How to create the virtual environment?

Page 10: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

The information flow

BIM model

FBX representation

IFC representation

export

export

Virtual world in Unity3D

import

BIM modelin LOD cloud

IFC-to-RDF Service

Real-time communication

Enriched BIM model

References to LOD cloud

Page 11: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

1. Creation of the virtual world

[5] P. Pauwels, R. De Meyer, J. Van Campenhout. Visualisation of semantic architectural information within a game engine environment. In Proceedings of the 10th International Conference on Construction Applications of Virtual Reality. 2010.

219-228.

Page 12: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

2. Implementation of functionality (1)

connecting FBX representation to the LOD cloud (1)

Page 13: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

SELECT distinct ?s WHERE { ?s <http://multimedialab.organon.elis.ugent.be/ontologies/IFC2X3#tag> "175853"^^xsd:string . ?s <http://multimedialab.organon.elis.ugent.be/ontologies/IFC2X3#representation> ?o

}

2. Implementation of functionality (2)

connecting FBX representation to the LOD cloud (2)

Page 14: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

3. Build Graphical User Interface (GUI)

[5] P. Pauwels, R. De Meyer, J. Van Campenhout. Visualisation of semantic architectural information within a game engine environment. In Proceedings of the 10th International Conference on Construction Applications of Virtual Reality. 2010.

219-228.

Page 15: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

BUILDING PERFORMANCE CHECKING

Page 16: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Today’s approach

materials databases

CAD software

NBN S01-400-1

standards

building model output formats

BIM

- acoustic analysis- thermal analysis- energy analysis

Target apps

dedicated software

materials databasesmaterials databases

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 17: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Proposed approach: step 1

materials databases

CAD software

NBN S01-400-1

standards

IFC instance

BIM

- acoustic analysis- thermal analysis- energy analysis

Target apps

dedicated software

materials databasesmaterials databases

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 18: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Proposed approach: step 2

materials databases

CAD software

NBN S01-400-1

standards

IFC instance

BIM

- acoustic analysis- thermal analysis- energy analysis

Target apps

Formally described rules

materials databasesmaterials databases

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 19: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Semantic BIM: schematic overview

materials databasesmaterials

databasesmaterials databases

IFC

instance of

NBN S01-400-1

standards and application-specific calculations

N3 rules

Reasoner

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 20: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

# Calculate R' [dB] for each Space surface that has a calculated Te,i value{ # Find relevant Space surface and their Te,i values ?SS a ifc:SpaceSurface. ?SS ifc:spaceBoundary [ifc:relatedBuildingElement [:acousticTau ?tau1]]. (?SCOPE 1) e:findall (?tau {?SS ifc:spaceBoundary [ifc:relatedBuildingElement [:acousticTau ?tau]].} ?tauList). # Calculate R' [dB] for each Space surface ?tauList math:sum ?summedTau. (10 ?x) math:exponentiation ?summedTau. (-10 ?x) math:product ?R}=>{?SS :acousticR ?R}.

Converting standards into N3Logic

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 21: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Page 22: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

Page 23: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 24: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[6] P. Pauwels, D. Van Deursen, R. Verstraeten, J. De Roo, R. De Meyer, R. Van de Walle, J. Van Campenhout. A semantic rule checking environment for building performance checking. Automation in Construction 20(5) 2011, 506-518.

Page 25: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

INTEROPERABILITY AND SCHEMA TRANSFORMATIONS

Page 26: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

?

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.[8] P. Pauwels, R. De Meyer, J. Van Campenhout. Interoperability for the Design and Construction Industry through

Semantic Web Technology. 5th International Conference on Semantic and Digital Media Technologies. In Lecture Notes in Computer Science 6725, 2011, 143-158.

Page 27: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 28: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 29: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 30: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 31: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 32: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

STL/RDF

X3D/RDF

IFC/RDF

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 33: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 34: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 35: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 36: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

[7] P. Pauwels, D. Van Deursen, J. De Roo, T. Van Ackere, R. De Meyer, R. Van de Walle, J. Van Campenhout. Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction.

Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25 (4) 2011, 317-332.

Page 37: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

CONCLUSION

Page 38: Reasoning with data: building performance checking and schema transformations

Faculty of Engineering and Architecture

How to integrate diverse information models, in particular those that describe the same information differently???