{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:09:49Z","timestamp":1725797389407},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319098692"},{"type":"electronic","value":"9783319098708"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09870-8_17","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T01:06:07Z","timestamp":1405904767000},"page":"226-235","source":"Crossref","is-referenced-by-count":3,"title":["Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology"],"prefix":"10.1007","author":[{"given":"Driss","family":"Sadoun","sequence":"first","affiliation":[]},{"given":"Catherine","family":"Dubois","sequence":"additional","affiliation":[]},{"given":"Yacine","family":"Ghamri-Doudane","sequence":"additional","affiliation":[]},{"given":"Brigitte","family":"Grau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Bajwa, I.S., Bordbar, B., Lee, M., Anastasakis, K.: Nl2alloy: A tool to generate alloy from nl constraints. JDIM\u00a010(6) (2012)","key":"17_CR1"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-73859-6_12","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Hendrix, J., Lucas, S., Meseguer, J., \u00d6lveczky, P.C.: The maude formal tool environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 173\u2013178. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Gogolla, M., Rold\u00e1n, M.: Tracing properties of uml and ocl models with maude. In: AMMSE (2011)","key":"17_CR3","DOI":"10.4204\/EPTCS.56.6"},{"key":"17_CR4","first-page":"162","volume":"71","author":"S. Eker","year":"2004","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude {LTL} model checker. ENTCS\u00a071, 162\u2013187 (2004)","journal-title":"ENTCS"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-32689-9_7","volume-title":"Rules on the Web: Research and Applications","author":"A. Guiss\u00e9","year":"2012","unstructured":"Guiss\u00e9, A., L\u00e9vy, F., Nazarenko, A.: From regulatory texts to brms: how to guide the acquisition of business rules? In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 77\u201391. Springer, Heidelberg (2012)"},{"key":"17_CR6","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-33308-8_35","volume-title":"Information and Software Technologies","author":"J. Karpovic","year":"2012","unstructured":"Karpovic, J., Nemuraite, L., Stankeviciene, M.: Requirements for semantic business vocabularies and rules for transforming them into consistent owl2 ontologies. In: Skersys, T., Butleris, R., Butkiene, R. (eds.) ICIST 2012. CCIS, vol.\u00a0319, pp. 420\u2013435. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Njonko, P., El Abed, W.: From natural language business requirements to executable models via sbvr. In: ICSAI (2012)","key":"17_CR7","DOI":"10.1109\/ICSAI.2012.6223550"},{"doi-asserted-by":"crossref","unstructured":"Sadoun, D., Dubois, C., Ghamri-Doudane, Y., Grau, B.: From natural language requirements to formal specification using an ontology. In: ICTAI (2013)","key":"17_CR8","DOI":"10.1109\/ICTAI.2013.116"},{"doi-asserted-by":"crossref","unstructured":"Selway, M., Grossmann, G., Mayer, W., Stumptner, M.: Formalising natural language specifications using a cognitive linguistics\/configuration based approach. In: EDOC, pp. 59\u201368 (2013)","key":"17_CR9","DOI":"10.1109\/EDOC.2013.16"},{"unstructured":"Sukys, A., Nemuraite, L., Paradauskas, B., Sinkevicius, E.: Transformation framework for sbvr based semantic queries in business information systems. In: BUSTECH, pp. 19\u201324 (2012)","key":"17_CR10"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web. From Theory to Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09870-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:58:28Z","timestamp":1558321108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09870-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319098692","9783319098708"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09870-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}