{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:16:21Z","timestamp":1725545781718},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/aire.2014.6894852","type":"proceedings-article","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T22:10:11Z","timestamp":1410905411000},"page":"19-26","source":"Crossref","is-referenced-by-count":0,"title":["Customizable rule-based verification of requirements ontology"],"prefix":"10.1109","author":[{"given":"Dang Viet","family":"Dzung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Ohnishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_53"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2007.76"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.65"},{"key":"11","article-title":"Metamorphic testing: A new approach for generating next test cases","author":"chen","year":"1998","journal-title":"Technical Report HKUST-CS98-01"},{"key":"12","first-page":"1017","article-title":"An approach fo r matching functional business requirements to standard application software packages via ontology","author":"kluge","year":"2008","journal-title":"Proc of COMPSAC'08"},{"key":"3","first-page":"196","article-title":"Srem: A service requirements elicitation mechanism based on ontology","author":"xiang","year":"2007","journal-title":"Proc COMPSAC'07"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.216"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.72"},{"journal-title":"OpenNLP library","year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.136"},{"journal-title":"OWL Web Ontology Language Overview","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E97.D.1017"},{"journal-title":"Wordnet A Lexical Database for English","year":"0","key":"9"},{"journal-title":"Modern Information Re-trieval","year":"1999","author":"baeza-yates","key":"8"}],"event":{"name":"2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)","start":{"date-parts":[[2014,8,26]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,26]]}},"container-title":["2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6887463\/6894845\/06894852.pdf?arnumber=6894852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T18:33:48Z","timestamp":1490294028000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6894852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/aire.2014.6894852","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}