Building Information Modeling Using Constraint Logic Programming

Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably revolutionizing the architecture, engineering,...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theory and practice of logic programming Ročník 22; číslo 5; s. 723 - 738
Hlavní autori: ARIAS, JOAQUÍN, TÖRMÄ, SEPPO, CARRO, MANUEL, GUPTA, GOPAL
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.09.2022
Predmet:
Automation
Building information modeling
Building management systems
Buildings
Constraint modelling
Construction
Construction industry
Design
Environmental impact
Evacuation routing
Fire protection
Fire safety
Formalism
Knowledge representation
Logic programming
Original Article
Product safety
Regulations
Three dimensional models
constraint
building information modeling
answer set programming
commonsense reasoning
ISSN:1471-0684, 1475-3081
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction 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 about building objects, a separate, ad-hoc model pre-processing is required to determine, for example, 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.
AbstractList Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction 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 about building objects, a separate, ad-hoc model pre-processing is required to determine, for example, 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.
Author ARIAS, JOAQUÍN
CARRO, MANUEL
GUPTA, GOPAL
TÖRMÄ, SEPPO
Author_xml – sequence: 1
  givenname: JOAQUÍN
  orcidid: 0000-0003-4148-311X
  surname: ARIAS
  fullname: ARIAS, JOAQUÍN
  email: joaquin.arias@urjc.es
  organization: CETINIA, Universidad Rey Juan Carlos, Madrid, Spain (e-mail: joaquin.arias@urjc.es)
– sequence: 2
  givenname: SEPPO
  surname: TÖRMÄ
  fullname: TÖRMÄ, SEPPO
  email: seppo.t.torma@gmail.com
  organization: VisuaLynk Oy, Espoo, Finland (e-mail: seppo.t.torma@gmail.com)
– sequence: 3
  givenname: MANUEL
  surname: CARRO
  fullname: CARRO, MANUEL
  email: manuel.carro@upm.es
  organization: Universidad Politécnica de Madrid, Madrid, Spain IMDEA Software Institute, Pozuelo de Alarcón, Spain (e-mails: manuel.carro@upm.es, manuel.carro@imdea.org)
– sequence: 4
  givenname: GOPAL
  surname: GUPTA
  fullname: GUPTA, GOPAL
  email: gupta@utdallas.edu
  organization: University of Texas at Dallas, Richardson, TX 75080, USA (e-mail: gupta@utdallas.edu)
BookMark eNp9kF1LwzAUhoMouE1_gHcFr6snSZukd-rwYzBR0F2XtE1KRpvMpLvw35tuA0HRm5Pz8T4nyTtFx9ZZhdAFhisMmF-_4YxjYCIjBAAwFUdoElt5SkHg412O03F-iqYhrKOEUZJN0M3d1nSNsW2ysNr5Xg7G2eTZNaobm6swxrmzYfDS2CFZutbUyat3rZd9H4dn6ETLLqjzwzlDq4f79_lTunx5XMxvl2lNMR9STfOsUYoAFzRnFWBVSZ1BIbCsieI5sCJXJBagKRNasILighGqWMbqSjV0hi73ezfefWxVGMq123obrywJh6iFIqdRhfeq2rsQvNLlxpte-s8SQzkaVf4yKjL8B1ObYefD-OfuX5IeSNlX3jSt-n7U39QXvON7xw
CitedBy_id crossref_primary_10_1016_j_jobe_2025_113391
crossref_primary_10_1080_13875868_2024_2324875
crossref_primary_10_3390_su17177739
Cites_doi 10.1017/S1471068421000478
10.1007/978-3-030-85713-4_25
10.1145/3414080.3414096
10.1016/B978-0-934613-40-8.50008-7
10.3233/SW-180297
10.1017/S1471068421000156
10.1017/S1471068417000102
10.1017/S1471068417000138
10.1016/j.autcon.2016.04.008
10.1017/S1471068418000285
10.1016/j.autcon.2010.11.017
10.1016/j.autcon.2012.05.006
ContentType Journal Article
Copyright The Author(s), 2022. Published by Cambridge University Press
Copyright_xml – notice: The Author(s), 2022. Published by Cambridge University Press
DBID AAYXX
CITATION
3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.1017/S1471068422000138
DatabaseName CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Technology Collection
ProQuest One
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
ProQuest advanced technologies & aerospace journals
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DatabaseTitle CrossRef
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList Computer Science Database

CrossRef
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1475-3081
EndPage 738
ExternalDocumentID 10_1017_S1471068422000138
GroupedDBID -E.
.FH
09C
09E
0E1
0R~
123
29Q
3V.
4.4
5VS
74X
74Y
7~V
8FE
8FG
8R4
8R5
AAAZR
AABES
AABWE
AACJH
AAEED
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYOK
ABBXD
ABITZ
ABJNI
ABKKG
ABMWE
ABMYL
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABZCX
ACBMC
ACCHT
ACGFS
ACIMK
ACNCT
ACQFJ
ACREK
ACUIJ
ACUYZ
ACWGA
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADGEJ
ADKIL
ADOCW
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFKSM
AFLOS
AFLVW
AFUTZ
AGABE
AGBYD
AGJUD
AGOOT
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
ALMA_UNASSIGNED_HOLDINGS
ALVPG
ALWZO
AQJOH
ARABE
ARAPS
ATUCA
AUXHV
AZQEC
BBLKV
BENPR
BGHMG
BGLVJ
BLZWO
BMAJL
BPHCQ
C0O
CAG
CBIIA
CCPQU
CCQAD
CCTKK
CFAFE
CHEAL
CJCSC
COF
CS3
DC4
DOHLZ
DU5
DWQXO
EBS
EJD
GNUQQ
HCIFZ
HG-
HST
HZ~
I.6
IH6
IOEEP
IPYYG
IS6
I~P
J36
J38
J3A
J9A
JHPGK
JQKCU
K6V
K7-
KCGVB
KFECR
L98
LW7
M-V
M0N
NIKVX
O9-
OK1
OYBOY
P2P
P62
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
ROL
RR0
S6-
S6U
SAAAG
T9M
UT1
WFFJZ
WQ3
WXU
WXY
WYP
ZYDXJ
AAYXX
ABGDZ
ABVKB
ABVZP
ABXHF
ACAJB
ACDLN
AFFHD
AFZFC
AKMAY
CITATION
PHGZM
PHGZT
PQGLB
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c317t-f354dee2078356b01ebaf40981ac2e750695e21ac0f368f869319623e646cbed3
IEDL.DBID K7-
ISICitedReferencesCount 6
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000825876000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1471-0684
IngestDate Sun Nov 09 06:22:21 EST 2025
Tue Nov 18 21:13:33 EST 2025
Sat Nov 29 04:58:37 EST 2025
Wed Mar 13 05:58:51 EDT 2024
IsPeerReviewed true
IsScholarly true
Issue 5
Keywords constraint
building information modeling
answer set programming
commonsense reasoning
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c317t-f354dee2078356b01ebaf40981ac2e750695e21ac0f368f869319623e646cbed3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0003-4148-311X
PQID 2701960953
PQPubID 43613
PageCount 16
ParticipantIDs proquest_journals_2701960953
crossref_primary_10_1017_S1471068422000138
crossref_citationtrail_10_1017_S1471068422000138
cambridge_journals_10_1017_S1471068422000138
PublicationCentury 2000
PublicationDate 2022-09-01
PublicationDateYYYYMMDD 2022-09-01
PublicationDate_xml – month: 09
  year: 2022
  text: 2022-09-01
  day: 01
PublicationDecade 2020
PublicationPlace Cambridge, UK
PublicationPlace_xml – name: Cambridge, UK
– name: Cambridge
PublicationTitle Theory and practice of logic programming
PublicationTitleAlternate Theory and Practice of Logic Programming
PublicationYear 2022
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
References 2018; 6
2013; 29
2018; 3
2016; 71
2022; 1
2017; 4
2011; 5
S1471068422000138_ref12
S1471068422000138_ref11
S1471068422000138_ref14
S1471068422000138_ref9
S1471068422000138_ref8
S1471068422000138_ref13
S1471068422000138_ref7
S1471068422000138_ref6
S1471068422000138_ref10
S1471068422000138_ref5
S1471068422000138_ref4
S1471068422000138_ref3
S1471068422000138_ref2
S1471068422000138_ref1
S1471068422000138_ref16
S1471068422000138_ref15
References_xml – volume: 3
  start-page: 337
  issue: 4
  year: 2018
  end-page: 354
  article-title: Constraint answer set programming without grounding
  publication-title: Theory and Practice of Logic Programming 18
– volume: 4
  start-page: 408
  year: 2017
  end-page: 461
  article-title: Clingcon: The next generation
  publication-title: Theory and Practice of Logic Programming 17
– volume: 4
  start-page: 462
  year: 2017
  end-page: 515
  article-title: Constraint answer set solver EZCSP and why integration schemas matter
  publication-title: Theory and Practice of Logic Programming 17
– volume: 5
  start-page: 506
  year: 2011
  end-page: 518
  article-title: A semantic rule checking environment for building performance checking
  publication-title: Automation in Construction 20
– volume: 71
  start-page: 49
  year: 2016
  end-page: 61
  article-title: Translating building legislation into a computer-executable format for evaluating building permit requirements
  publication-title: Automation in Construction
– volume: 29
  start-page: 183
  year: 2013
  end-page: 195
  article-title: Building Information Modeling (BIM) and safety: Automatic safety checking of construction models and schedules
  publication-title: Automation in Construction
– volume: 1
  start-page: 51
  year: 2022
  end-page: 80
  article-title: Modeling and reasoning in event calculus using goal-directed constraint answer set programming
  publication-title: Theory and Practice of Logic Programming 22
– volume: 6
  start-page: 829
  year: 2018
  end-page: 855
  article-title: Bimsparql: Domain-specific functional sparql extensions for querying rdf building data
  publication-title: Semantic Web 9
– ident: S1471068422000138_ref11
  doi: 10.1017/S1471068421000478
– ident: S1471068422000138_ref3
  doi: 10.1007/978-3-030-85713-4_25
– ident: S1471068422000138_ref10
  doi: 10.1145/3414080.3414096
– ident: S1471068422000138_ref7
  doi: 10.1016/B978-0-934613-40-8.50008-7
– ident: S1471068422000138_ref14
– ident: S1471068422000138_ref15
  doi: 10.3233/SW-180297
– ident: S1471068422000138_ref8
– ident: S1471068422000138_ref6
– ident: S1471068422000138_ref1
  doi: 10.1017/S1471068421000156
– ident: S1471068422000138_ref4
  doi: 10.1017/S1471068417000102
– ident: S1471068422000138_ref5
  doi: 10.1017/S1471068417000138
– ident: S1471068422000138_ref9
  doi: 10.1016/j.autcon.2016.04.008
– ident: S1471068422000138_ref2
  doi: 10.1017/S1471068418000285
– ident: S1471068422000138_ref13
– ident: S1471068422000138_ref12
  doi: 10.1016/j.autcon.2010.11.017
– ident: S1471068422000138_ref16
  doi: 10.1016/j.autcon.2012.05.006
SSID ssj0016324
Score 2.3332567
Snippet Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of...
SourceID proquest
crossref
cambridge
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 723
SubjectTerms Automation
Building information modeling
Building management systems
Buildings
Constraint modelling
Construction
Construction industry
Design
Environmental impact
Evacuation routing
Fire protection
Fire safety
Formalism
Knowledge representation
Logic programming
Original Article
Product safety
Regulations
Three dimensional models
Title Building Information Modeling Using Constraint Logic Programming
URI https://www.cambridge.org/core/product/identifier/S1471068422000138/type/journal_article
https://www.proquest.com/docview/2701960953
Volume 22
WOSCitedRecordID wos000825876000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: K7-
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest advanced technologies & aerospace journals
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: P5Z
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: BENPR
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA-6efDi_MTpHDl4EoNtkqbpyS82BGEUURheRtskIOg2t-rfb16abg5hFy-F5gPSvvfy9d77_RA6F4CJrnhAFDO5PaDkkkhZUJIwpQQLacC5cWQT8WAgh8Mk9Rducx9WWc-JbqJWkwLuyK8o4IY7dLTr6ScB1ijwrnoKjU3UDCkNQc8fY7LwIgAUucsuiiG6R_LaqwmQ0VAIZZRW3rrf2Aqra9TqFO3WnX7rvyPeRTt-x4lvKxXZQxt6vI9aNZsD9sZ9gG7uPEM29ilKIDIMXGmQsY5dbAEGfk_HKlFiYGkucFrFd33YykP00u893z8Qz69ACrtrKIlhEVdaU_DkRSIPQp1nxp73ZJgVVNuthEgiTe1LYJiQRooE7JUyLbgocq3YEWqMJ2N9jLCKk4RnRsQ6yXieBzKjmikpjG0mAsPb6HLxd0feSuajKsIsHv0RRhsFtQBGhccqh497X9flYtFlWgF1rGvcqUW2HM1SXifrq0_RNoUkCBdp1kGNcvalz9BW8V2-zWdd1LzrDdKnrlNF-0yj1x_fZ9-_
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3JTsMwEB2xSXBhR-z4ABdEROq4jnNA7KhVoeqhSBWXkMS2hASltAHET_GNeJykpULqrQeO8RLFmbEnk5l5D2CfIya6ZK4jPR0bByUWjhAJdQJPSu6VqMuYtmQTfr0uWq2gMQHfRS0MplUWZ6I9qOVrgv_Ijynihlt0tNPOm4OsURhdLSg0MrWoqa9P47L1TqpXRr4HlN5cNy8rTs4q4CTGVqaO9spMKkUxflXmsVtScaSNlyNKUUKVMaA8KCtqLlztcaEFD1BLqac440mspGfuOwnTjBlnyeyfRvmhH7VA6HNbzeRjNpFgRRQVIaqxEdsozaKDv7Echm3isEmwdu5m4b-9oUWYz7-oyXm2BZZgQrWXYaFgqyD54bUCZxc5AzjJS7BQJQlywWFFPrG5EwT5Sy1rRkqQhTohjSx_7cV0rsL9WNaxBlPt17ZaByL9IGCR5r4KIhbHroio8qTg2gzjrmYbcNSXZpifAr0wy6Dzwz_C3wC3EHiY5FjsuLjnUVMO-1M6GRDJqMHbhYoMnmagH5uju_dgttK8uw1vq_XaFsxRLPiwWXXbMJV239UOzCQf6VOvu2vVn8DjuLXpBwX8OSE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Building+Information+Modeling+Using+Constraint+Logic+Programming&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=ARIAS%2C+JOAQU%C3%8DN&rft.au=T%C3%96RM%C3%84%2C+SEPPO&rft.au=CARRO%2C+MANUEL&rft.au=GUPTA%2C+GOPAL&rft.date=2022-09-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=22&rft.issue=5&rft.spage=723&rft.epage=738&rft_id=info:doi/10.1017%2FS1471068422000138&rft.externalDocID=10_1017_S1471068422000138
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon