{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:30:33Z","timestamp":1743064233101,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319179957"},{"type":"electronic","value":"9783319179964"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-17996-4_32","type":"book-chapter","created":{"date-parts":[[2015,4,21]],"date-time":"2015-04-21T14:35:44Z","timestamp":1429626944000},"page":"355-366","source":"Crossref","is-referenced-by-count":1,"title":["Query-Subquery Nets with Stratified\u00a0Negation"],"prefix":"10.1007","author":[{"given":"Son Thanh","family":"Cao","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1995)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Found. of Deductive Databases and Logic Programming, pp. 89\u2013148 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: A survey. Journal of Logic Programming\u00a019, 9\u201371 (1994)","journal-title":"Journal of Logic Programming"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Bailey, J., Bry, F., Furche, T., Schaffert, S.: Semantic web query languages. In: Encyclopedia of Database Systems, pp. 2583\u20132586. Springer US (2009)","DOI":"10.1007\/978-0-387-39940-9_1317"},{"issue":"3-4","key":"32_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(91)90030-S","volume":"11","author":"I. Balbin","year":"1991","unstructured":"Balbin, I., Port, G.S., Ramamohanarao, K., Meenakshi, K.: Efficient bottom-up computation of queries on stratified databases. J. Log. Program.\u00a011(3-4), 295\u2013344 (1991)","journal-title":"J. Log. Program."},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-24206-9_19","volume-title":"Datalog Reloaded","author":"F. Bry","year":"2011","unstructured":"Bry, F., Furche, T., Ley, C., Marnette, B., Linse, B., Schaffert, S.: Datalog relaunched: Simulation unification and value invention. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 321\u2013350. Springer, Heidelberg (2011)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Cao, S.T.: On the efficiency of Query-Subquery Nets: an experimental point of view. In: Proceedings of SoICT 2013, pp. 148\u2013157. ACM (2013)","DOI":"10.1145\/2542050.2542085"},{"key":"32_CR8","unstructured":"Cao, S.T.: An Implementation of the QSQN-STR Evaluation Methods (2014), \n                      http:\/\/mimuw.edu.pl\/~sonct\/QSQNSTR15.zip"},{"key":"32_CR9","series-title":"AISC","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-319-06569-4_21","volume-title":"Advanced Computational Methods for Knowledge Engineering","author":"S.T. Cao","year":"2014","unstructured":"Cao, S.T., Nguyen, L.A.: An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases. In: van Do, T., Le Thi, H.A., Nguyen, N.T. (eds.) Advanced Computational Methods for Knowledge Engineering. AISC, vol.\u00a0282, pp. 281\u2013295. Springer, Heidelberg (2014)"},{"key":"32_CR10","series-title":"AISC","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-319-10518-5_9","volume-title":"New Trends in Database and Information Systems II","author":"S.T. Cao","year":"2015","unstructured":"Cao, S.T., Nguyen, L.A.: An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. In: Bassiliades, N., Ivanovic, M., Kon-Popovska, M., Manolopoulos, Y., Palpanas, T., Trajcevski, G., Vakali, A. (eds.) New Trends in Database and Information Systems II. AISC, vol.\u00a0312, pp. 109\u2013120. Springer, Heidelberg (2015)"},{"key":"32_CR11","first-page":"152","volume":"13","author":"S.T. Cao","year":"2014","unstructured":"Cao, S.T., Nguyen, L.A., Szalas, A.: The Web Ontology Rule Language OWL\u00a02 RL+ and Its Extensions. T. Comp. Collective Intelligence\u00a013, 152\u2013175 (2014)","journal-title":"T. Comp. Collective Intelligence"},{"issue":"1","key":"32_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s40595-013-0009-y","volume":"1","author":"S.T. Cao","year":"2014","unstructured":"Cao, S.T., Nguyen, L.A., Szalas, A.: WORL: a nonmonotonic rule language for the Semantic Web. Vietnam J. Computer Science\u00a01(1), 57\u201369 (2014)","journal-title":"Vietnam J. Computer Science"},{"issue":"3","key":"32_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/(SICI)1098-111X(199703)12:3<203::AID-INT3>3.0.CO;2-T","volume":"12","author":"Y. Chen","year":"1997","unstructured":"Chen, Y.: Magic sets and stratified databases. Int. Journal of Intelligent Systems\u00a012(3), 203\u2013231 (1997)","journal-title":"Int. Journal of Intelligent Systems"},{"issue":"2","key":"32_CR14","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1877714.1877717","volume":"12","author":"T. Eiter","year":"2011","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log.\u00a012(2), 11 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"32_CR15","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038(3), 619\u2013649 (1991)","journal-title":"J. ACM"},{"key":"32_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of Logic Programming Symposium, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"2","key":"32_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1561\/1900000017","volume":"5","author":"T.J. Green","year":"2013","unstructured":"Green, T.J., Huang, S.S., Loo, B.T., Zhou, W.: Datalog and Recursive Query Processing. Foundations and Trends in Databases\u00a05(2), 105\u2013195 (2013)","journal-title":"Foundations and Trends in Databases"},{"key":"32_CR18","unstructured":"Kerisit, J.M., Pugin, J.M.: Efficient query answering on stratified databases. In: FGCS 1988, pp. 719\u2013726 (1988)"},{"issue":"4","key":"32_CR19","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/2362355.2362360","volume":"13","author":"E. Madali\u0144ska-Bugaj","year":"2012","unstructured":"Madali\u0144ska-Bugaj, E., Nguyen, L.A.: A generalized QSQR evaluation method for Horn knowledge bases. ACM Trans. on Computational Logic\u00a013(4), 32 (2012)","journal-title":"ACM Trans. on Computational Logic"},{"key":"32_CR20","unstructured":"Naqvi, S.: A logic for negation in database system. In: Foundations of Deductive Data-bases and Logic Programming (1987)"},{"key":"32_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-34630-9_25","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"L.A. Nguyen","year":"2012","unstructured":"Nguyen, L.A., Cao, S.T.: Query-Subquery Nets. In: Nguyen, N.-T., Hoang, K., J\u0119drzejowicz, P. (eds.) ICCCI 2012, Part I. LNCS, vol.\u00a07653, pp. 239\u2013248. Springer, Heidelberg (2012)"},{"issue":"2","key":"32_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01228878","volume":"3","author":"K. Ramamohanarao","year":"1994","unstructured":"Ramamohanarao, K., Harland, J.: An Introduction to Deductive Database Languages and Systems. The VLDB Journal\u00a03(2), 107\u2013122 (1994)","journal-title":"The VLDB Journal"},{"issue":"3","key":"32_CR23","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1017\/S1471068407003225","volume":"8","author":"E. Ruckhaus","year":"2008","unstructured":"Ruckhaus, E., Ruiz, E., Vidal, M.-E.: Query evaluation and optimization in the semantic web. Theory Pract. Log. Program.\u00a08(3), 393\u2013409 (2008)","journal-title":"Theory Pract. Log. Program."},{"key":"32_CR24","unstructured":"S\u00e1enz-P\u00e9rez, F., et al.: Datalog Educational System: A Deductive Database System (2014), \n                      http:\/\/des.sourceforge.net"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Computational Methods for Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17996-4_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T12:25:22Z","timestamp":1677068722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17996-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319179957","9783319179964"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17996-4_32","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}