{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:06:58Z","timestamp":1760080018280,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2975941.2975943","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T12:17:16Z","timestamp":1472473036000},"page":"9-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Domain-independent method of detecting inconsistencies in SBVR-based business rules"],"prefix":"10.1145","author":[{"given":"Pavan Kumar","family":"Chittimalli","sequence":"first","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kritika","family":"Anand","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"EU-Rent Car Rental case study. http:\/\/www. businessrulesgroup.org\/first paper\/br01ad.htm. {Online; accessed 18-April-2016}.  EU-Rent Car Rental case study. http:\/\/www. businessrulesgroup.org\/first paper\/br01ad.htm. {Online; accessed 18-April-2016}."},{"key":"e_1_3_2_1_2_1","unstructured":"Microsoft Z3. https:\/\/github.com\/Z3Prover\/z3\/wiki. {Online; accessed 18-April-2016}.  Microsoft Z3. https:\/\/github.com\/Z3Prover\/z3\/wiki. {Online; accessed 18-April-2016}."},{"key":"e_1_3_2_1_3_1","unstructured":"Object Role Modeling. http:\/\/www.orm.net\/. Accessed: 2016-05-27.  Object Role Modeling. http:\/\/www.orm.net\/. Accessed: 2016-05-27."},{"key":"e_1_3_2_1_4_1","unstructured":"Semantics of Business Vocabulary and Rules (SBVR). http:\/\/www.omg.org\/spec\/SBVR\/. {Online; accessed 29-September-2015}.  Semantics of Business Vocabulary and Rules (SBVR). http:\/\/www.omg.org\/spec\/SBVR\/. {Online; accessed 29-September-2015}."},{"key":"e_1_3_2_1_5_1","unstructured":"SWRL\n\n  \n  : A Semantic Web Rule Language Combining OWL and RuleML. https:\/\/www.w3.org\/Submission\/SWRL\/. Accessed: 2016-05-27.  SWRL: A Semantic Web Rule Language Combining OWL and RuleML. https:\/\/www.w3.org\/Submission\/SWRL\/. Accessed: 2016-05-27."},{"key":"e_1_3_2_1_6_1","unstructured":"R. Alberts and E. Franconi. An Integrated Method using Conceptual Modelling to generate an Ontology-based Querying Mechanism. 2012.  R. Alberts and E. Franconi. An Integrated Method using Conceptual Modelling to generate an Ontology-based Querying Mechanism. 2012."},{"key":"e_1_3_2_1_7_1","unstructured":"C. Barrett P. Fontaine and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2016.  C. Barrett P. Fontaine and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2016."},{"key":"e_1_3_2_1_8_1","first-page":"825","volume":"185","author":"Barrett C. W.","year":"2009","journal-title":"Satisfiability Modulo Theories. Handbook of satisfiability"},{"key":"e_1_3_2_1_9_1","unstructured":"D. R. Cok etal The SMT-LIBv2 language and tools: A tutorial. Language c pages 2010\u20132011 2011.  D. R. Cok et al. The SMT-LIBv2 language and tools: A tutorial. Language c pages 2010\u20132011 2011."},{"first-page":"340","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"De Moura L.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"S. Ghosh D. Elenius W. Li P. Lincoln N. Shankar and W. Steiner. ARSENAL: Automatically Extracting Requirements Specifications from Natural Language. CoRR abs\/1403.3142 2014.  S. Ghosh D. Elenius W. Li P. Lincoln N. Shankar and W. Steiner. ARSENAL: Automatically Extracting Requirements Specifications from Natural Language. CoRR abs\/1403.3142 2014.","DOI":"10.21236\/ADA611691"},{"first-page":"1996","volume-title":"Proceedings of the 20th Conference on Computer Software and Applications, COMPSAC \u201996","author":"Huang H.","key":"e_1_3_2_1_14_1"},{"issue":"3","key":"e_1_3_2_1_15_1","first-page":"289","article-title":"Kri\u02c7 s\u02c7 ci\u00af unien\u02d9e, L. Ablonskis, and L. Nemurait\u02d9e. The Comprehensive Mapping of Semantics of Business Vocabulary and Business Rules (SBVR) to OWL 2 Ontologies","volume":"43","author":"J.","year":"2014","journal-title":"Information Technology And Control"},{"volume-title":"Proceedings of the 17th international conference on Information and Software Technologies, IT 2011","year":"2011","author":"Karpovic J.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33308-8_35"},{"key":"e_1_3_2_1_18_1","volume-title":"The AAAI-99 Workshop on Machine Learning for Information Extraction","volume":"2","author":"Muslea I.","year":"1999"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.404.0967"},{"key":"e_1_3_2_1_20_1","first-page":"214","volume-title":"XVI Ibero-American Conference on Software Engineering","author":"Reynares E.","year":"2013"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/876902.881270"},{"volume-title":"Vienna University of Technology","year":"2012","author":"Solomakhin D.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2013-848"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.497"},{"key":"e_1_3_2_1_25_1","first-page":"1682","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"Yan R.","year":"2015"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Singapore Singapore","acronym":"ASE'16"},"container-title":["Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975941.2975943","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2975941.2975943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:19Z","timestamp":1750218619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975941.2975943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":24,"alternative-id":["10.1145\/2975941.2975943","10.1145\/2975941"],"URL":"https:\/\/doi.org\/10.1145\/2975941.2975943","relation":{},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}