{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T04:14:28Z","timestamp":1741752868318,"version":"3.38.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MGS"],"published-print":{"date-parts":[[2006,12,20]]},"DOI":"10.3233\/mgs-2006-2410","type":"journal-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T20:36:30Z","timestamp":1463171790000},"page":"455-471","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning support for Semantic Web ontology family languages using Alloy"],"prefix":"10.1177","volume":"2","author":[{"given":"Hai H.","family":"Wang","sequence":"first","affiliation":[{"name":"Department of Computer Science, The University of Manchester, UK. E-mail: hai.wang@cs.manchester.ac.uk"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[{"name":"School of Computing, National University of Singapore, Singapore. E-mail: sunj@comp.nus.edu.sg, dongjs@comp.nus.edu.sg"}]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Auckland, New Zealand. E-mail: j.sun@cs.auckland.ac.nz"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Computing, National University of Singapore, Singapore. E-mail: sunj@comp.nus.edu.sg, dongjs@comp.nus.edu.sg"}]}],"member":"179","container-title":["Multiagent and Grid Systems"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/MGS-2006-2410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T04:33:16Z","timestamp":1741667596000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/MGS-2006-2410"}},"subtitle":[],"editor":[{"given":"Hong","family":"Zhu","sequence":"additional","affiliation":[{"name":"Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK"}]}],"short-title":[],"issued":{"date-parts":[[2006,12,20]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/mgs-2006-2410","relation":{},"ISSN":["1875-9076","1574-1702"],"issn-type":[{"type":"electronic","value":"1875-9076"},{"type":"print","value":"1574-1702"}],"subject":[],"published":{"date-parts":[[2006,12,20]]}}}