{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:06:29Z","timestamp":1767182789729,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/aire.2014.6894857","type":"proceedings-article","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T22:10:11Z","timestamp":1410905411000},"page":"53-59","source":"Crossref","is-referenced-by-count":4,"title":["Applying knowledge representation and reasoning to (simple) goal models"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Borgida","sequence":"first","affiliation":[]},{"given":"Jennifer","family":"Horkoff","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"journal-title":"OWL 2 Web Ontology Language Document Overview (Second Edition)","year":"2012","author":"w3c","key":"17"},{"journal-title":"OWL2 EL Profile","year":"2012","author":"w3c","key":"18"},{"key":"15","first-page":"20","article-title":"Simple and minimumcost satisfiability for goal models","author":"sebastiani","year":"2004","journal-title":"Proceedings of CAiSE'04"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01907-4","article-title":"Modular ontologies:Concepts, theories and techniques for knowledge modularization","volume":"5445","author":"stuckenschmidt","year":"2009","journal-title":"ser Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982334"},{"key":"14","first-page":"494","article-title":"An efficient first-order horn-clause abduction system based on the atms","author":"ng","year":"1991","journal-title":"Proc AAAI'91 Ser AAAI'91"},{"key":"11","article-title":"Evaluating the expressiveness and effectiveness of a modeling language: A requirements modeling language example","author":"horkoff","year":"2014","journal-title":"Proceedings of the 33rd International Conference on Conceptual Modeling Ser ER'14"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2014.6861036"},{"key":"3","first-page":"220","article-title":"Complexity of abduction in the el family of lightweight description logics","author":"bienvenu","year":"2008","journal-title":"Proc KR'08"},{"key":"2","first-page":"325","article-title":"Terminological cycles in a description logic with existential restrictions","author":"baader","year":"2003","journal-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence Ser IJCAI'03"},{"year":"2014","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1007\/978-3-642-33615-7_17","article-title":"Making data meaningful: The business intelligence model and its formal semantics in description logics","volume":"7566","author":"horkoff","year":"2012","journal-title":"On the Move to Meaningful Internet Systems OTM 2012 Ser Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2011.6051656"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539704446311"},{"key":"9","first-page":"1","article-title":"Formal reasoning techniques for goal models","volume":"2800","author":"giorgini","year":"2004","journal-title":"Journal on Data Semantics"},{"key":"8","first-page":"167","article-title":"Reasoning with goal models","volume":"3084","author":"giorgini","year":"2002","journal-title":"Proc of ER'02 Ser LNCS"}],"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\/06894857.pdf?arnumber=6894857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T16:33:28Z","timestamp":1498149208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6894857\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/aire.2014.6894857","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}