Matches in SemOpenAlex for { <https://semopenalex.org/work/W4280493423> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4280493423 abstract "Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction (AEC) industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious and error-prone, and amending flaws discovered only at construction time causes huge additional costs and delays. Several tools can check BIM models for conformance with rules/guidelines. For example, Singapore's CORENET e-Submission System checks fire safety. But since the current BIM exchange format only contains basic information of building objects, a separate, ad-hoc model pre-processing is required to determine, e.g., evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and/or adding new ones (to cater for building regulations, that can vary not only among countries but also among parts of the same city), if at all possible. We propose the use of logic-based executable formalisms (CLP and Constraint ASP) to couple BIM models with advanced knowledge representation and reasoning capabilities. Previous experience shows that such formalisms can be used to uniformly capture and reason with knowledge (including ambiguity) in a large variety of domains. Additionally, incorporating checking within design tools makes it possible to ensure that models are rule-compliant at every step. This also prevents erroneous designs from having to be (partially) redone, which is also costly and burdensome. To validate our proposal, we implemented a preliminary reasoner under CLP(Q/R) and ASP with constraints and evaluated it with several BIM models. Under consideration for acceptance in Theory and Practice of Logic Programming (TPLP)." @default.
- W4280493423 created "2022-05-22" @default.
- W4280493423 creator A5030575094 @default.
- W4280493423 creator A5034090576 @default.
- W4280493423 creator A5067377863 @default.
- W4280493423 creator A5076970918 @default.
- W4280493423 date "2022-07-31" @default.
- W4280493423 modified "2023-10-18" @default.
- W4280493423 title "Building Information Modeling Using Constraint Logic Programming" @default.
- W4280493423 doi "https://doi.org/10.48550/arxiv.2205.08572" @default.
- W4280493423 hasPublicationYear "2022" @default.
- W4280493423 type Work @default.
- W4280493423 citedByCount "0" @default.
- W4280493423 crossrefType "proceedings" @default.
- W4280493423 hasAuthorship W4280493423A5030575094 @default.
- W4280493423 hasAuthorship W4280493423A5034090576 @default.
- W4280493423 hasAuthorship W4280493423A5067377863 @default.
- W4280493423 hasAuthorship W4280493423A5076970918 @default.
- W4280493423 hasBestOaLocation W42804934231 @default.
- W4280493423 hasConcept C115903868 @default.
- W4280493423 hasConcept C127413603 @default.
- W4280493423 hasConcept C154945302 @default.
- W4280493423 hasConcept C160145156 @default.
- W4280493423 hasConcept C171018156 @default.
- W4280493423 hasConcept C199360897 @default.
- W4280493423 hasConcept C201995342 @default.
- W4280493423 hasConcept C21338462 @default.
- W4280493423 hasConcept C2524010 @default.
- W4280493423 hasConcept C2776036281 @default.
- W4280493423 hasConcept C2778648169 @default.
- W4280493423 hasConcept C2780522230 @default.
- W4280493423 hasConcept C33923547 @default.
- W4280493423 hasConcept C41008148 @default.
- W4280493423 hasConcept C42360764 @default.
- W4280493423 hasConcept C66862320 @default.
- W4280493423 hasConcept C78519656 @default.
- W4280493423 hasConcept C9616225 @default.
- W4280493423 hasConceptScore W4280493423C115903868 @default.
- W4280493423 hasConceptScore W4280493423C127413603 @default.
- W4280493423 hasConceptScore W4280493423C154945302 @default.
- W4280493423 hasConceptScore W4280493423C160145156 @default.
- W4280493423 hasConceptScore W4280493423C171018156 @default.
- W4280493423 hasConceptScore W4280493423C199360897 @default.
- W4280493423 hasConceptScore W4280493423C201995342 @default.
- W4280493423 hasConceptScore W4280493423C21338462 @default.
- W4280493423 hasConceptScore W4280493423C2524010 @default.
- W4280493423 hasConceptScore W4280493423C2776036281 @default.
- W4280493423 hasConceptScore W4280493423C2778648169 @default.
- W4280493423 hasConceptScore W4280493423C2780522230 @default.
- W4280493423 hasConceptScore W4280493423C33923547 @default.
- W4280493423 hasConceptScore W4280493423C41008148 @default.
- W4280493423 hasConceptScore W4280493423C42360764 @default.
- W4280493423 hasConceptScore W4280493423C66862320 @default.
- W4280493423 hasConceptScore W4280493423C78519656 @default.
- W4280493423 hasConceptScore W4280493423C9616225 @default.
- W4280493423 hasLocation W42804934231 @default.
- W4280493423 hasLocation W42804934232 @default.
- W4280493423 hasLocation W42804934233 @default.
- W4280493423 hasOpenAccess W4280493423 @default.
- W4280493423 hasPrimaryLocation W42804934231 @default.
- W4280493423 hasRelatedWork W1494320320 @default.
- W4280493423 hasRelatedWork W2046398265 @default.
- W4280493423 hasRelatedWork W2077730709 @default.
- W4280493423 hasRelatedWork W2169582540 @default.
- W4280493423 hasRelatedWork W235565691 @default.
- W4280493423 hasRelatedWork W2787305663 @default.
- W4280493423 hasRelatedWork W2891560538 @default.
- W4280493423 hasRelatedWork W2970775385 @default.
- W4280493423 hasRelatedWork W4280493423 @default.
- W4280493423 hasRelatedWork W4285494057 @default.
- W4280493423 isParatext "false" @default.
- W4280493423 isRetracted "false" @default.
- W4280493423 workType "paratext" @default.