메뉴 건너뛰기




Volumn , Issue , 2011, Pages 641-648

Semantic modeling for automated compliance checking

Author keywords

Architecture; Building design; Construction industry

Indexed keywords

BUILDING DESIGN; COMPLIANCE CHECKING; COMPUTATIONAL DEVELOPMENT; CONSTRUCTION OPERATIONS; CONSTRUCTION PROJECTS; DEONTIC; DEONTIC LOGIC; KNOWLEDGE REPRESENTATION AND REASONING; LOGIC STATEMENTS; MODAL LOGIC; NATURAL LANGUAGE PROCESSING; SEMANTIC MODELING;

EID: 80053158133     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1061/41182(416)79     Document Type: Conference Paper
Times cited : (39)

References (17)
  • 1
    • 77953985972 scopus 로고    scopus 로고
    • Visualization of compliance violation in business process models
    • Springer
    • Awad, A., and Weske, M. (2010). "Visualization of compliance violation in business process models." Business process management workshops, Springer, 182-193.
    • (2010) Business Process Management Workshops , pp. 182-193
    • Awad, A.1    Weske, M.2
  • 2
    • 84908656883 scopus 로고    scopus 로고
    • Building Smart Dec 30
    • Building Smart Alliance. (2008). "Industry Foundation Classes (IFC). Building Smart, http://www.buildingsmart.com/bim> (Dec 30, 2010).
    • (2008) Industry Foundation Classes (IFC)
  • 3
    • 80053159814 scopus 로고    scopus 로고
    • (Sep. 25, 2010)
    • Cary, A. (2010). "Bechtel Settles 'Quality Issues'." Hanford News Online, http://www.hanfordnews.com/2010/09/25/15961/bechtel-settles- quality-issues.html> (Sep. 25, 2010).
    • (2010) Bechtel Settles 'Quality Issues'
    • Cary, A.1
  • 5
    • 57749186195 scopus 로고    scopus 로고
    • Deontic relevant logic as the logical basis for representing and reasoning about legal knowledge in legal information systems
    • Springer
    • Cheng, J. (2008). "Deontic relevant logic as the logical basis for representing and reasoning about legal knowledge in legal information systems." Knowledge-based intelligent information and engineering systems, Springer, 517-525.
    • (2008) Knowledge-based Intelligent Information and Engineering Systems , pp. 517-525
    • Cheng, J.1
  • 6
    • 70349429622 scopus 로고    scopus 로고
    • Automatic rule-based checking of building designs
    • Eastman, C., Lee, J., Jeong, Y., and Lee, J. (2009). "Automatic rule-based checking of building designs." Automation in Construction, 18(8), 1011-1033.
    • (2009) Automation in Construction , vol.18 , Issue.8 , pp. 1011-1033
    • Eastman, C.1    Lee, J.2    Jeong, Y.3    Lee, J.4
  • 7
    • 70349931413 scopus 로고    scopus 로고
    • Building a responsibility model using modal logic - Towards accountability, capability and commitment concepts
    • IEEE
    • Feltus, C., and Petit, M. (2009). "Building a responsibility model using modal logic - towards accountability, capability and commitment concepts." Proc. Intl. Conf. on Computer Systems and Applications, IEEE, 386-391.
    • (2009) Proc. Intl. Conf. on Computer Systems and Applications , pp. 386-391
    • Feltus, C.1    Petit, M.2
  • 8
    • 67449154686 scopus 로고    scopus 로고
    • The evolution of organisational semiotics: A brief review of the contribution of ronald stamper
    • Kluwer Academic Publishers, Dordrect
    • Gazendam, H. W.M., and Liu, K. (2005). "The evolution of organisational semiotics: A brief review of the contribution of Ronald Stamper." Studies in organisational semiotics, Kluwer Academic Publishers, Dordrect.
    • (2005) Studies in Organisational Semiotics
    • Gazendam, H.W.M.1    Liu, K.2
  • 10
  • 12
    • 84873368883 scopus 로고    scopus 로고
    • Oct. 10
    • Khemlani, L. (2002). "Solibri Model Checker." CadenceWeb, http://www.cadenceweb.com/2002/1202/pr1202-solibri.html> (Oct. 10, 2010).
    • (2002) Solibri Model Checker
    • Khemlani, L.1
  • 13
    • 38549084457 scopus 로고    scopus 로고
    • Oct. 30
    • McNamara, P. (2007). "Deontic Logic." Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/logic-deontic/> (Oct. 30, 2010).
    • (2007) Deontic Logic
    • McNamara, P.1
  • 15
    • 77149152512 scopus 로고    scopus 로고
    • Automated code compliance checking for building envelope design
    • Tan, X., Hammad, A., and Fazio, P. (2010). "Automated code compliance checking for building envelope design." J. of Compt. in Civil Engrg, 24(2), 203-211.
    • (2010) J. of Compt. in Civil Engrg , vol.24 , Issue.2 , pp. 203-211
    • Tan, X.1    Hammad, A.2    Fazio, P.3
  • 16
    • 80053148619 scopus 로고    scopus 로고
    • US EPA Nov. 30
    • US EPA. (2008). US Environmental Protection Agency, http://www.epa.gov/ > (Nov. 30, 2010).
    • (2008)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.