{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T13:10:24Z","timestamp":1723036224233},"reference-count":60,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Systems Research"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1016\/j.cogsys.2018.12.011","type":"journal-article","created":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T16:39:58Z","timestamp":1546274398000},"page":"14-33","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":19,"special_numbering":"C","title":["Graph-based ontology reasoning for formal verification of BREEAM rules"],"prefix":"10.1016","volume":"55","author":[{"given":"B.","family":"Kamsu-Foguem","sequence":"first","affiliation":[]},{"given":"F.H.","family":"Abanda","sequence":"additional","affiliation":[]},{"given":"M.B.","family":"Doumbouya","sequence":"additional","affiliation":[]},{"given":"J.F.","family":"Tchouanguem","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.cogsys.2018.12.011_b0005","series-title":"Thinking on the web: Berners-Lee, G\u00f6del, and Turing","author":"Alesso","year":"2009"},{"issue":"11","key":"10.1016\/j.cogsys.2018.12.011_b0010","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.cogsys.2018.12.011_b0015","series-title":"Proceedings of the seventh international conference on conceptual structures (ICCS'99), number 1640 in Lecture Notes in Computer Science","first-page":"480","article-title":"Tractable and decidable fragments of conceptual graphs","author":"Baader","year":"1999"},{"key":"10.1016\/j.cogsys.2018.12.011_b0020","series-title":"Fourth conceptual structures tool interoperability workshop (CS-TIW 2009) co-located with the 17th international conference on conceptual structures (ICCS 2009), Proceedings online, Moscow","first-page":"70","article-title":"RDF to conceptual graphs translations: Calculating shatterproof transponds","author":"Baget","year":"2009"},{"key":"10.1016\/j.cogsys.2018.12.011_b0025","series-title":"Conceptual structures: From information to intelligence, Proceedings of the 18th international conference on conceptual structures (ICCS 2010), volume 6208 of LNCS","first-page":"28","article-title":"Translations between RDF(S) and conceptual graphs","author":"Baget","year":"2010"},{"key":"10.1016\/j.cogsys.2018.12.011_b0030","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.918","article-title":"Extensions of simple conceptual graphs: The complexity of rules and constraints","volume":"16","author":"Baget","year":"2002","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"12","key":"10.1016\/j.cogsys.2018.12.011_b0035","doi-asserted-by":"crossref","first-page":"5219","DOI":"10.1016\/j.eswa.2015.02.029","article-title":"A rule-based semantic approach for automated regulatory compliance in the construction sector","volume":"42","author":"Beach","year":"2015","journal-title":"Expert Systems with Applications"},{"issue":"4","key":"10.1016\/j.cogsys.2018.12.011_b0040","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1111\/mice.12128","article-title":"Semantic enrichment for building information modeling","volume":"31","author":"Belsky","year":"2016","journal-title":"Computer-Aided Civil and Infrastructure Engineering"},{"key":"10.1016\/j.cogsys.2018.12.011_b0045","unstructured":"BRE, 2017. Showcase projects. [Online] http:\/\/www.breeam.com\/case-studies.jsp [accessed January 2017]."},{"key":"10.1016\/j.cogsys.2018.12.011_b0050","unstructured":"BRE Global Ltd (2015). BREEAM international refurbishment and fit-out 2015, Technical manual: version: SD225\u2013issue:1.0\u2013issue date: 20\/05\/2015."},{"key":"10.1016\/j.cogsys.2018.12.011_b0055","unstructured":"BRE Global Ltd (2016). BREEAM for new construction, non-domestic buildings, Technical manual: version: SD5073 \u2013 issue: 5.0 \u2013 issue Date: 10\/03\/2016, Watford, United Kingdom."},{"key":"10.1016\/j.cogsys.2018.12.011_b0060","unstructured":"BRE Global Ltd (2018). BREEAM UK new construction, non-domestic buildings (United Kingdom), Technical manual, SD5078: BREEAM UK New Construction 2018."},{"key":"10.1016\/j.cogsys.2018.12.011_b0065","first-page":"118","article-title":"Default reasoning implementation in CoGui","volume":"8577","author":"Buche","year":"2014"},{"key":"10.1016\/j.cogsys.2018.12.011_b0070","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s10489-007-0103-x","article-title":"Introducing reasoning into an industrial knowledge management tool","volume":"31","author":"Carloni","year":"2009","journal-title":"Applied Intelligence"},{"key":"10.1016\/j.cogsys.2018.12.011_b0075","series-title":"Graph-based knowledge representation: Computational foundations of conceptual graphs","author":"Chein","year":"2009"},{"issue":"03","key":"10.1016\/j.cogsys.2018.12.011_b9060","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S0269888913000234","article-title":"Visual reasoning with graph-based mechanisms: the good, the better and the best","volume":"28","author":"Chein","year":"2013","journal-title":"The Knowledge Engineering Review"},{"issue":"6","key":"10.1016\/j.cogsys.2018.12.011_b0080","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1080\/09613218.2013.802115","article-title":"The importation of building environmental certification systems: International usages of BREEAM and LEED","volume":"41","author":"Cole","year":"2013","journal-title":"Building Research & Information"},{"key":"10.1016\/j.cogsys.2018.12.011_b0090","unstructured":"Cyganiak, R., Wood, D., & Lanthaler, M. (2014). RDF 1.1 concepts and abstract syntax. W3C (last accessed on 05 April 2017)."},{"key":"10.1016\/j.cogsys.2018.12.011_b0095","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.buildenv.2017.07.007","article-title":"A critical comparison of green building rating systems","volume":"123","author":"Doan","year":"2017","journal-title":"Building and Environment"},{"key":"10.1016\/j.cogsys.2018.12.011_b9000","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.future.2017.09.081","article-title":"Foguem C. Argumentation graphs with constraint-based reasoning for collaborative expertise","volume":"81","author":"Doumbouya","year":"2018","journal-title":"Future Generation Computer Systems"},{"key":"10.1016\/j.cogsys.2018.12.011_b9010","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.compbiomed.2015.05.012","article-title":"Combining conceptual graphs and argumentation for aiding in the teleexpertise","volume":"63","author":"Doumbouya","year":"2015","journal-title":"Computers in Biology and Medicine"},{"issue":"4","key":"10.1016\/j.cogsys.2018.12.011_b0100","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","article-title":"OWL 2: The next step for OWL","volume":"6","author":"Grau","year":"2008","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"5\u20136","key":"10.1016\/j.cogsys.2018.12.011_b0105","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","article-title":"Toward principles for the design of ontologies used for knowledge sharing?","volume":"43","author":"Gruber","year":"1995","journal-title":"International Journal of Human-Computer Studies"},{"issue":"1","key":"10.1016\/j.cogsys.2018.12.011_b0110","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","article-title":"OWL rules: A proposal and prototype implementation","volume":"3","author":"Horrocks","year":"2005","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"10.1016\/j.cogsys.2018.12.011_b0115","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1016\/j.aei.2012.06.006","article-title":"Knowledge-based support in non-destructive testing for health monitoring of aircraft structures","volume":"26","author":"Kamsu-Foguem","year":"2012","journal-title":"Advanced Engineering Informatics"},{"key":"10.1016\/j.cogsys.2018.12.011_b9020","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.compind.2015.02.004","article-title":"Experience Modeling with Graphs encoded Knowledge for Construction Industry","volume":"70","author":"Kamsu-Foguem","year":"2015","journal-title":"Computers in Industry"},{"key":"10.1016\/j.cogsys.2018.12.011_b9070","doi-asserted-by":"crossref","first-page":"3451","DOI":"10.1080\/00207540500499377","article-title":"Requirements modelling and formal analysis using graph operations","volume":"17","author":"Kamsu-Foguem","year":"2006","journal-title":"International Journal of Production Research"},{"issue":"8","key":"10.1016\/j.cogsys.2018.12.011_b9055","doi-asserted-by":"crossref","first-page":"998","DOI":"10.1016\/j.compind.2013.06.013","article-title":"Graph-based reasoning in collaborative knowledge management for industrial maintenance","volume":"64","author":"Kamsu-Foguem","year":"2013","journal-title":"Computers in Industry"},{"key":"10.1016\/j.cogsys.2018.12.011_b9005","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.compind.2016.12.004","article-title":"Risk information formalisation with graphs","volume":"85","author":"Kamsu-Foguem","year":"2017","journal-title":"Computers in Industry"},{"issue":"7","key":"10.1016\/j.cogsys.2018.12.011_b9065","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1016\/j.compind.2007.12.014","article-title":"Knowledge Formalization in Experience Feedback Processes: An Ontology-Based Approach","volume":"59","author":"Kamsu-Foguem","year":"2008","journal-title":"Computers in Industry"},{"issue":"4","key":"10.1016\/j.cogsys.2018.12.011_b9035","doi-asserted-by":"crossref","first-page":"1348","DOI":"10.1016\/j.engappai.2012.12.004","article-title":"Conceptual Graph-based Knowledge Representation for Supporting Reasoning in African Traditional Medicine","volume":"26","author":"Kamsu-Foguem","year":"2013","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"4","key":"10.1016\/j.cogsys.2018.12.011_b9030","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1007\/s10796-012-9360-2","article-title":"Using conceptual graphs for clinical guidelines representation and knowledge visualization","volume":"16","author":"Kamsu-Foguem","year":"2014","journal-title":"Information Systems Frontiers"},{"key":"10.1016\/j.cogsys.2018.12.011_b0120","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/j.is.2016.10.006","article-title":"A framework for visually monitoring business process compliance","volume":"64","author":"Knuplesch","year":"2017","journal-title":"Information Systems"},{"key":"10.1016\/j.cogsys.2018.12.011_b0125","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/j.enbuild.2013.03.014","article-title":"A comprehensive review of metrics of building environmental assessment schemes","volume":"62","author":"Lee","year":"2013","journal-title":"Energy and Buildings"},{"issue":"3","key":"10.1016\/j.cogsys.2018.12.011_b0130","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/j.aei.2016.04.008","article-title":"An ontology-based approach for developing data exchange requirements and model views of building information modeling","volume":"30","author":"Lee","year":"2016","journal-title":"Advanced Engineering Informatics"},{"issue":"3","key":"10.1016\/j.cogsys.2018.12.011_b0135","doi-asserted-by":"crossref","first-page":"2040","DOI":"10.1016\/j.eswa.2010.07.141","article-title":"XSWRL, an extended semantic web rule language and prototype implementation","volume":"38","author":"Li","year":"2011","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/j.cogsys.2018.12.011_b0140","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.is.2015.02.007","article-title":"Compliance monitoring in business processes: Functionalities, application, and tool-support.","volume":"54","author":"Ly","year":"2015","journal-title":"Information Systems"},{"issue":"2","key":"10.1016\/j.cogsys.2018.12.011_b0145","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.entcs.2005.07.036","article-title":"Interpreting SWRL rules in RDF graphs","volume":"151","author":"Mei","year":"2006","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/j.cogsys.2018.12.011_b0150","series-title":"Knowledge acquisition in practice: A step-by-step guide","author":"Milton","year":"2007"},{"key":"10.1016\/j.cogsys.2018.12.011_b0155","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1080\/09528139508953815","article-title":"On generalization\/specialization for conceptuals graphs","volume":"7","author":"Mugnier","year":"1995","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"10.1016\/j.cogsys.2018.12.011_b0160","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1016\/j.ic.2012.03.001","article-title":"On the complexity of entailment in existential conjunctive first-order logic with atomic negation","volume":"215","author":"Mugnier","year":"2012","journal-title":"Information and Computation"},{"key":"10.1016\/j.cogsys.2018.12.011_b0165","series-title":"Proceedings of the 2012 ASCE international conference on computing in civil engineering, Clearwater Beach","article-title":"The challenge of computerizing building codes in BIM environment","author":"Nawari","year":"2012"},{"key":"10.1016\/j.cogsys.2018.12.011_b0170","unstructured":"NEEAP (2014). Energy efficiency action plan for France \u2013 2014: Pursuant to article 24 of Directive 2012\/27\/EU of the European Parliament and the Council of 25 October on energy efficiency. Available online at: https:\/\/ec.europa.eu\/energy\/sites\/ener\/files\/documents\/2014_neeap_en_france.pdf (last accessed July 2018)."},{"key":"10.1016\/j.cogsys.2018.12.011_b0175","series-title":"Proceeding SBD '16 proceedings of the international workshop on semantic big data, San Francisco, California \u2014 June 26 - July 01, 2016","article-title":"Querying and reasoning over large scale building data sets: an outline of a performance benchmark","author":"Pauwels","year":"2016"},{"key":"10.1016\/j.cogsys.2018.12.011_b0180","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1016\/j.autcon.2010.11.017","article-title":"A semantic rule checking environment for building performance checking","volume":"20","author":"Pauwels","year":"2011","journal-title":"Automation in Construction"},{"key":"10.1016\/j.cogsys.2018.12.011_b0185","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.autcon.2015.12.003","article-title":"EXPRESS to OWL for construction industry: Towards a recommendable and usable ifcOWL ontology","volume":"63","author":"Pauwels","year":"2016","journal-title":"Automation in Construction"},{"key":"10.1016\/j.cogsys.2018.12.011_b0190","series-title":"Proceedings of the 32nd CIB W78 conference 27th\u201329th 2015, Eindhoven, The Netherlands","article-title":"Semantic rule-checking for regulation compliance checking: An overview of strategies and approaches","author":"Pauwels","year":"2015"},{"key":"10.1016\/j.cogsys.2018.12.011_b0195","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.autcon.2016.10.003","article-title":"Semantic web technologies in AEC industry: A literature overview","volume":"73","author":"Pauwels","year":"2017","journal-title":"Automation in Construction"},{"key":"10.1016\/j.cogsys.2018.12.011_b9045","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/j.knosys.2013.06.005","article-title":"Knowledge reuse integrating the collaboration from experts in industrial maintenance management","volume":"50","author":"Potes Ruiz","year":"2013","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/j.cogsys.2018.12.011_b0210","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.eiar.2012.06.006","article-title":"A critical review of seven selected neighborhood sustainability assessment tools","volume":"38","author":"Sharifi","year":"2013","journal-title":"Environmental Impact Assessment Review"},{"key":"10.1016\/j.cogsys.2018.12.011_b0215","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/j.autcon.2018.11.004","article-title":"BIM semantic-enrichment for built heritage representation","volume":"97","author":"Simeone","year":"2019","journal-title":"Automation in Construction"},{"issue":"September","key":"10.1016\/j.cogsys.2018.12.011_b0225","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1016\/j.rser.2017.04.027","article-title":"A review on current advances in the energy and environmental performance of buildings towards a more sustainable built environment","volume":"77","author":"Soares","year":"2017","journal-title":"Renewable and Sustainable Energy Reviews"},{"issue":"2","key":"10.1016\/j.cogsys.2018.12.011_b0230","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.aei.2016.02.007","article-title":"A framework for fully integrated building information models in a federated environment","volume":"30","author":"Solihin","year":"2016","journal-title":"Advanced Engineering Informatics"},{"issue":"4","key":"10.1016\/j.cogsys.2018.12.011_b9075","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1147\/rd.204.0336","article-title":"Conceptual graphs for a database interface","volume":"20","author":"Sowa","year":"1976","journal-title":"IBM Journal of Research and Development"},{"key":"10.1016\/j.cogsys.2018.12.011_b0235","series-title":"Conceptual structures: Information processing in mind and machine","author":"Sowa","year":"1984"},{"key":"10.1016\/j.cogsys.2018.12.011_b0240","series-title":"Knowledge representation: Logical, philosophical, and computational foundations","author":"Sowa","year":"2000"},{"issue":"3","key":"10.1016\/j.cogsys.2018.12.011_b0245","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1016\/j.aei.2011.02.006","article-title":"Sustainable building technology knowledge representation: Using semantic web techniques","volume":"25","author":"Tah","year":"2011","journal-title":"Advanced Engineering Informatics"},{"issue":"6","key":"10.1016\/j.cogsys.2018.12.011_b0250","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1016\/j.knosys.2006.04.005","article-title":"Automated conversion between different knowledge representation formats","volume":"19","author":"Yao","year":"2006","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/j.cogsys.2018.12.011_b0260","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.autcon.2015.02.002","article-title":"An ontological approach for technical plan definition and verification in construction","volume":"55","author":"Zhong","year":"2015","journal-title":"Automation in Construction"},{"key":"10.1016\/j.cogsys.2018.12.011_b0265","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.autcon.2012.06.006","article-title":"Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking","volume":"28","author":"Zhong","year":"2012","journal-title":"Automation in Construction"}],"container-title":["Cognitive Systems Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389041718301608?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389041718301608?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T05:36:32Z","timestamp":1552973792000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389041718301608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":60,"alternative-id":["S1389041718301608"],"URL":"https:\/\/doi.org\/10.1016\/j.cogsys.2018.12.011","relation":{},"ISSN":["1389-0417"],"issn-type":[{"value":"1389-0417","type":"print"}],"subject":[],"published":{"date-parts":[[2019,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Graph-based ontology reasoning for formal verification of BREEAM rules","name":"articletitle","label":"Article Title"},{"value":"Cognitive Systems Research","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.cogsys.2018.12.011","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2018 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}