{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T07:44:56Z","timestamp":1745480696744,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":102,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642230318"},{"type":"electronic","value":"9783642230325"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23032-5_6","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T07:42:11Z","timestamp":1313653331000},"page":"326-381","source":"Crossref","is-referenced-by-count":14,"title":["Rules and Logic Programming for the Web"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Paschke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"7th International Summer School 2011 - Tutorial Lectures","author":"F.M.A.A. Krisnadhi","year":"2011","unstructured":"Krisnadhi, F.M.A.A., Hitzler, P.: Owl and rules. In: 7th International Summer School 2011 - Tutorial Lectures. LNCS, Springer, Heidelberg (2011)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-54444-5_104","volume-title":"Programming Language Implementation and Logic Programming","author":"H. Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H., Podelski, A.: Towards the meaning of life. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528, pp. 255\u2013274. Springer, Heidelberg (1991)"},{"key":"6_CR3","unstructured":"Alferes, J., Damasio, C., Pereira, L.M.: Slx: a top-down derivation procedure for programs with explicit negation. In: Bruynooghe, M. (ed.) International Logic Programming Symp., pp. 424\u2013439 (1994)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Damasio, C., Pereira, L.M.: A logic programming system for non-monotonic reasoning. J. of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"J. of Automated Reasoning"},{"key":"6_CR5","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"Apt, K.: Logic programming. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, ch. 10, pp. 493\u2013574. Elsevier, Amsterdam (1990)"},{"issue":"20","key":"6_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K. Apt","year":"1994","unstructured":"Apt, K., Blair, H.: Logic Programming and Negation: A Survey. J. of Logic Programming\u00a019(20), 9\u201371 (1994)","journal-title":"J. of Logic Programming"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases","author":"K. Apt","year":"1988","unstructured":"Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1988)"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. Apt","year":"1982","unstructured":"Apt, K., Emden, M.H.: Contributions to the theory of logic programming. J. of ACM\u00a029(3), 841\u2013862 (1982)","journal-title":"J. of ACM"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19, 20","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. of Logic Programming\u00a019, 20, 73\u2013148 (1994)","journal-title":"J. of Logic Programming"},{"key":"6_CR10","volume-title":"International Conference on Automated Deduction","author":"C. Baral","year":"1990","unstructured":"Baral, C., Lobo, J., Minker, J.: Generalized well-founded semantics for logic programs. In: Stickel, M.E. (ed.) International Conference on Automated Deduction. Springer, Heidelberg (1990)"},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01543473","volume":"11","author":"C. Baral","year":"1992","unstructured":"Baral, C., Lobo, J., Minker, J.: Generalized disjunctive well-founded semantics for logic programs. Annals of Math and Artificial Intelligence\u00a011(5), 89\u2013132 (1992)","journal-title":"Annals of Math and Artificial Intelligence"},{"key":"6_CR12","first-page":"69","volume-title":"Int. Workshop of Logic Programming and Non-Monotonic Reasoning","author":"C. Baral","year":"1991","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and non-monotonic reasoning. In: Int. Workshop of Logic Programming and Non-Monotonic Reasoning, pp. 69\u201386. MIT Press, Cambridge (1991)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. The Journal of Logic Programming\u00a010, 255\u2013299 (1991)","journal-title":"The Journal of Logic Programming"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Bidoit, N., Legay, P.: Well!: An evaluation procedure for all logic programs. In: Int. Conf. on Database Theory, pp. 335\u2013348 (1990)","DOI":"10.1007\/3-540-53507-1_87"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0743-1066(97)00073-3","volume":"34","author":"R. Bol","year":"1998","unstructured":"Bol, R.: Tabulated resolution for the well-founded semantics. Journal of Logic Programming\u00a034(2), 67\u2013109 (1998)","journal-title":"Journal of Logic Programming"},{"key":"6_CR16","unstructured":"Bol, R., Degerstedt, L.: Tabulated resolution for well founded semantics. In: Intl. Logic Programming Symposium (1993)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39715-1_1","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"H. Boley","year":"2003","unstructured":"Boley, H.: Object-oriented ruleML: User-level roles, URI-grounded clauses, and order-sorted terms. In: Schr\u00f6der, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol.\u00a02876, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-04985-9_6","volume-title":"Rule Interchange and Applications","author":"H. Boley","year":"2009","unstructured":"Boley, H.: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 29\u201342. Springer, Heidelberg (2009), http:\/\/dx.doi.org\/10.1007\/978-3-642-04985-9"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"1593","DOI":"10.1109\/TKDE.2010.84","volume":"22","author":"H. Boley","year":"2010","unstructured":"Boley, H., Kifer, M.: A guide to the basic logic dialect for rule interchange on the web. IEEE Trans. on Knowl. and Data Eng.\u00a022, 1593\u20131608 (2010)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"key":"6_CR20","unstructured":"Brachman, R.J., Gilbert, P.V., Levesque, H.J.: An essential hybrid reasoning system: Knowledge and symbol level accounts for krypton. In: Int. Conf. on Artificial Inelligence (1985)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Brass, S., Dix, J.: Characterizations of the disjunctive wellfounded semantics: Confluent calculi and iterated gcwa. Journal of Automated Reasoning (1997)","DOI":"10.1016\/S0743-1066(96)00115-X"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0743-1066(97)00073-3","volume":"34","author":"S. Brass","year":"1998","unstructured":"Brass, S., Dix, J.: Characterizations of the disjunctive well-founded semantics. Journal of Logic Programming\u00a034(2), 67\u2013109 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"6_CR23","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1017\/S147106840100103X","volume":"1","author":"S. Brass","year":"2001","unstructured":"Brass, S., Dix, J., Zukowski, U.: Transformation based bottom-up computation of the well-founded model. Theory and Practice of Logic Programming\u00a01(5), 497\u2013538 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"6_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research\u00a04, 19\u201336 (1996)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-53557-8_20","volume-title":"Information Systems and Artificial Intelligence: Integration Aspects","author":"F. Bry","year":"1991","unstructured":"Bry, F.: Negation in logic programming: A formalization in constructive logic. In: Karagiannis, D. (ed.) IS\/KI 1990 and KI-WS 1990. LNCS, vol.\u00a0474, pp. 30\u201346. Springer, Heidelberg (1991)"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F. Bry","year":"1990","unstructured":"Bry, F.: Query evaluation in recursive databases: bottom-up and top-down reconciled. Data and Knowlege Engineering\u00a05, 289\u2013312 (1990)","journal-title":"Data and Knowlege Engineering"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Chen, J., Kundu, S.: The strong semantics for logic programs. In: Proceedings of the 6th Int. Symp. on Methodologies for Intelligent Systems, Charlotte, NC (1991)","DOI":"10.1007\/3-540-54563-8_112"},{"issue":"3","key":"6_CR28","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"Chen, W., Swift, T., Warren, D.S.: Efficient top-down computation of queries under the well-founded semantics. J. of Logic Programming\u00a024(3), 161\u2013199 (1995)","journal-title":"J. of Logic Programming"},{"key":"6_CR29","unstructured":"Chen, W., Warren, D.S.: A goal-oriented approach to computing well-founded semantics. In: Intl. Conf. and Symposium on Logic Programming (1992)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Chen, W., Warren, D.S.: Query evaluation under the well-founded semantics. In: Proceedings of Symp. on the Principles of Database Systems (1993)","DOI":"10.1145\/153850.153865"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/211414.211416","volume":"20","author":"W. Chen","year":"1995","unstructured":"Chen, W.: Query evaluation in deductive databases with alternating fixpoint semantics. ACM Transactions on Database Systems\u00a020, 239\u2013287 (1995)","journal-title":"ACM Transactions on Database Systems"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-72982-2_21","volume-title":"Web Reasoning and Rule Systems","author":"N. Cherchago","year":"2007","unstructured":"Cherchago, N., Hitzler, P., H\u00f6lldobler, S.: Decidability under the well-founded semantics. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 269\u2013278. Springer, Heidelberg (2007)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data-Bases, New York, pp. 293\u2013322 (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"6_CR34","first-page":"591","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992)","author":"J. Dix","year":"1992","unstructured":"Dix, J.: A framework for representing and characterizing semantics of logic programs. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992), pp. 591\u2013602. Morgan Kaufmann, San Mateo (1992)"},{"issue":"3","key":"6_CR35","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A classification-theory of semantics of normal logic programs: Ii. weak properties. Fundamenta Informaticae\u00a0XXII(3), 257\u2013288 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR36","first-page":"241","volume-title":"Essays on Logic in Philosophy and Artificial Intelligence","author":"J. Dix","year":"1995","unstructured":"Dix, J.: Semantics of logic programs: Their intuitions and formal properties. an overview. In: Fuhrmann, A., Rott, H. (eds.) Essays on Logic in Philosophy and Artificial Intelligence, pp. 241\u2013327. DeGruyter, Berlag-New York (1995)"},{"key":"6_CR37","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3133.001.0001","volume-title":"From Logic to Logic Programming","author":"K. Doets","year":"1994","unstructured":"Doets, K.: From Logic to Logic Programming. MIT Press, Camebridge (1994)"},{"key":"6_CR38","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-54712-6_221","volume-title":"Trends in Artificial Intelligence","author":"F.M. Donini","year":"1991","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: A hybrid system with datalog and concept languages. In: Ardizzone, E., Sorbello, F., Gaglio, S. (eds.) AI*IA 1991. LNCS (LNAI), vol.\u00a0549, pp. 88\u201397. Springer, Heidelberg (1991)"},{"key":"6_CR39","volume-title":"8th Int. Conf. on Logic Programming","author":"P.M. Dung","year":"1991","unstructured":"Dung, P.M.: Negation as hypotheses: An abductive foundation for logic programming. In: 8th Int. Conf. on Logic Programming, MIT Press, Cambridge (1991)"},{"key":"6_CR40","volume-title":"10th Logic Programming Conf.","author":"P.M. Dung","year":"1993","unstructured":"Dung, P.M.: An argumentation semantics for logic programming with explicit negation. In: 10th Logic Programming Conf., MIT Press, Cambridge (1993)"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Dung, P.M., Kanchansut, K.: A natural semantics of logic programs with negation. In: 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, pp. 70\u201380 (1989)","DOI":"10.1007\/3-540-52048-1_34"},{"key":"6_CR42","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR 2004 (2004)"},{"key":"6_CR43","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden","year":"1976","unstructured":"Emden, M.H., Kowalski, R.: The semantics of predicate logic as a programming language. JACM\u00a023, 733\u2013742 (1976)","journal-title":"JACM"},{"key":"6_CR44","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A kripke-kleene semantics of logic programs. Journal of Logic Programming\u00a04, 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"key":"6_CR45","first-page":"71","volume-title":"Int. Symposium of Logic Programming","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: Well-founded semantics, generalized. In: Int. Symposium of Logic Programming, pp. 71\u201384. MIT Press, San Diego (1990)"},{"key":"6_CR46","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)","edition":"2"},{"key":"6_CR47","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) 5th Conference on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"6_CR48","first-page":"579","volume-title":"ICLP 1990","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: ICLP 1990, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"6_CR50","volume-title":"International World Wide Web Conference","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: International World Wide Web Conference, ACM, New York (2003)"},{"key":"6_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11431053_27","volume-title":"The Semantic Web: Research and Applications","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Van Nieuwenborgh, D., Hadavandi, E.: Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 392\u2013407. Springer, Heidelberg (2005)"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Seda, A.K.: Mathematical Aspects of Logic Programming Semantics. Studies in Informatics. Chapman and Hall\/CRC Press (2010)","DOI":"10.1201\/b10397"},{"key":"6_CR53","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Swrl: A semantic web rule language combining owl and ruleml (2004), http:\/\/www.w3.org\/submission\/swrl\/ (accessed January 2006)"},{"key":"6_CR54","unstructured":"Hu, Y., Yuan, L.Y.: Extended well-founded model semantics for general logic programs. in koichi furukawa, editor, In: Int. Conf. on Logic Programming, Paris, pp. 412\u2013425 (1991)"},{"key":"6_CR55","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D.B. Kemp","year":"1995","unstructured":"Kemp, D.B., Srivastava, D., Stuckey, P.J.: Bottom-up evaluation and query optimization of well-founded models. Theor. Comput. Sci.\u00a0146, 145\u2013184 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"2-4","key":"6_CR56","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1018969519807","volume":"21","author":"M.A. Khamsi","year":"1997","unstructured":"Khamsi, M.A., Misane, D.: Fixed point theorems in logic programming. Ann. Math. Artif. Intell.\u00a021(2-4), 231\u2013243 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"key":"6_CR57","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R., Kuehner, D.: Linear resolution with selection function. Artifical Intelligence\u00a02, 227\u2013260 (1971)","journal-title":"Artifical Intelligence"},{"key":"6_CR58","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. Journal of Logic Programming\u00a04, 289\u2013308 (1987)","journal-title":"Journal of Logic Programming"},{"key":"6_CR59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60605-2","volume-title":"The Resolution Calculus","author":"A. Leitsch","year":"1997","unstructured":"Leitsch, A.: The Resolution Calculus. Springer, Heidelberg (1997)"},{"key":"6_CR60","unstructured":"Levy, A., Rousset, M.-C.: A representation language combining horn rules and description logics. In: European Conference on Artificial Intelligence, ECAI 1996 (1996)"},{"key":"6_CR61","unstructured":"Lifschitz, V.: Foundations of declarative logic programming. Principles of Knowledge Representation. CSLI publishers (1996)"},{"key":"6_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd extended edn. Springer, New York (1987)","edition":"2"},{"key":"6_CR63","volume-title":"Foundations of disjunctive logic programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of disjunctive logic programming. MIT Press, Cambridge (1992)"},{"issue":"5","key":"6_CR64","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1017\/S1471068401001053","volume":"1","author":"Z. Lonc","year":"2001","unstructured":"Lonc, Z., Truszcynski, M.: On the problem of computing the well-founded semantics. Theory and Practice of Logic Programming\u00a01(5), 591\u2013609 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"6_CR65","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W.: Autoepistemic logic. Journal of the ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of the ACM"},{"issue":"1-2","key":"6_CR66","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Journal of Artificial Intelligence\u00a013(1-2), 27\u201339 (1980)","journal-title":"Journal of Artificial Intelligence"},{"issue":"2-4","key":"6_CR67","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0743-1066(93)90028-F","volume":"17","author":"J. Minker","year":"1993","unstructured":"Minker, J.: An overview of nonmonotonic reasoning and logic programming. Journal of Logic Programming\u00a017(2-4), 95\u2013126 (1993)","journal-title":"Journal of Logic Programming"},{"key":"6_CR68","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1006\/jcss.1996.0038","volume":"52","author":"S. Morishita","year":"1996","unstructured":"Morishita, S.: An extension of van gelder\u2019s alternating fixpoint to magic programs. Journal of Computer and System Sciences\u00a052, 506\u2013521 (1996)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"6_CR69","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"6_CR70","unstructured":"Paschke, A.: Verification, validation, integrity of rule based policies and contracts in the semantic web. In: 2nd International Semantic Web Policy Workshop (SWPW 2006), Athens, GA, USA, November 5-9 (2006)"},{"key":"6_CR71","unstructured":"Paschke, A.: A typed hybrid description logic programming language with polymorphic order-sorted dl-typed unification for semantic web type systems. CoRR, abs\/cs\/0610006 (2006)"},{"key":"6_CR72","doi-asserted-by":"crossref","unstructured":"Paschke, A., Boley, H., Kozlenkov, A., Craig, B.L.: Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In: ICPW, pp. 17\u201328 (2007)","DOI":"10.1145\/1324237.1324240"},{"key":"6_CR73","unstructured":"Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. Proceedings of ECAI 1992 (1992)"},{"key":"6_CR74","unstructured":"Pereira, L.M., Alferes, J.J., Aparicio, J.N.: Adding closed world assumptions to well founded semantics. In: Fifth Generation Computer Systems, pp. 562\u2013569 (1992)"},{"key":"6_CR75","unstructured":"Przymusinska, H., Przymusinski, T.C.: Weakly perfect semantics for logic programs. In: 5th International Conference and Symposium on Logic Programming, pp. 1106\u20131121 (1988)"},{"key":"6_CR76","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1990-13106","volume":"13","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., Przymusinski, T.C.: Weakly stratified logic programs. Fundamenta Informaticae\u00a013, 51\u201365 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR77","first-page":"1081","volume-title":"5th Int. Conf. and Symp. on Logic Pro- gramming","author":"T.C. Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: Perfect model semantics. In: 5th Int. Conf. and Symp. on Logic Pro- gramming, pp. 1081\u20131096. MIT Press, Cambridge (1988)"},{"key":"6_CR78","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: Every logic program has a natural stratification and an iterated fixed point model. Proceedings of ACM Symp. on Principles of Database Systems, 11\u201321 (1989)","DOI":"10.1145\/73721.73723"},{"key":"6_CR79","first-page":"167","volume":"5","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: On the declarative and procedural semantics of logic programs. Journal of Automated Reasonig\u00a05, 167\u2013205 (1989)","journal-title":"Journal of Automated Reasonig"},{"key":"6_CR80","volume-title":"The Foundations of Artifical Intelligence - A Sourcebook","author":"T.C. Przymusinski","year":"1990","unstructured":"Przymusinski, T.C.: Non-monotonic reasoning vs. logic programming: A new perspective. In: Partridge, D., Wilks, Y. (eds.) The Foundations of Artifical Intelligence - A Sourcebook. Cambridge University Press, London (1990)"},{"key":"6_CR81","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T.C. Przymusinski","year":"1990","unstructured":"Przymusinski, T.C.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae\u00a013, 445\u2013463 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR82","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable semantics for disjunctive programs. New Generation Computing\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"issue":"3","key":"6_CR83","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"Rajasekar, A., Lobo, J., Minker, J.: Weak generalized closed world assumption. Journal of Automated Reasonig\u00a05(3), 293\u2013307 (1989)","journal-title":"Journal of Automated Reasonig"},{"key":"6_CR84","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Journal of Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Journal of Artificial Intelligence"},{"key":"6_CR85","doi-asserted-by":"crossref","unstructured":"Riccardo, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1) (2005)","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"6_CR86","unstructured":"RIF. W3c rif: Rule interchange formant (2010), http:\/\/www.w3.org\/2005\/rules\/ (accessed october 2010)"},{"issue":"1","key":"6_CR87","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. Robinson","year":"1965","unstructured":"Robinson, J.: A machine-oriented logic based on the resolution-principle. JACM\u00a012(1), 23\u201341 (1965)","journal-title":"JACM"},{"issue":"1","key":"6_CR88","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(92)90019-Y","volume":"13","author":"K. Ross","year":"1992","unstructured":"Ross, K.: A procedural semantics for well-founded negation in logic programs. Journal of Logic Programming\u00a013(1), 1\u201322 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"6_CR89","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K. Ross","year":"1994","unstructured":"Ross, K.: Modular stratification and magic sets for datalog programs with negation. Journal of the ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"Journal of the ACM"},{"key":"6_CR90","first-page":"87","volume-title":"Workshop of Logic Programming and Non-Monotonic Reasoning","author":"D. Sacca","year":"1991","unstructured":"Sacca, D., Zaniolo, C.: Partial models and three-valued models in logic programs with negation. In: Workshop of Logic Programming and Non-Monotonic Reasoning, Washington D.C, pp. 87\u2013104. MIT Press, Cambridge (1991)"},{"key":"6_CR91","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF01543479","volume":"5","author":"J. Schlipf","year":"1992","unstructured":"Schlipf, J.: Formalizing a logic for logic programming. Annals of Mathematics and Artificial Intelligence,\u00a05, 279\u2013302 (1992)","journal-title":"Annals of Mathematics and Artificial Intelligence,"},{"issue":"1","key":"6_CR92","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1020116927466","volume":"28","author":"Y.-D. Shen","year":"2002","unstructured":"Shen, Y.-D., Yuan, L.-Y., You, J.-H.: Slt-resolution for the well-founded semantics. Journal of Automated Reasoning\u00a028(1), 53\u201397 (2002)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR93","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Foundations of Deductive Databases","author":"J.C. Shepherdson","year":"1988","unstructured":"Shepherdson, J.C.: Negation in logic programming. In: Minker, J. (ed.) Foundations of Deductive Databases, pp. 19\u201388. Morgan Kaufmann, San Francisco (1988)"},{"key":"6_CR94","doi-asserted-by":"crossref","unstructured":"Shepherdson, J.C.: Unsolvable problems for sldnf resolution. J. of Logic Programming, 19\u201322 (1991)","DOI":"10.1016\/0743-1066(91)90003-8"},{"issue":"3","key":"6_CR95","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0743-1066(96)00110-0","volume":"32","author":"P.J. Stuckey","year":"1997","unstructured":"Stuckey, P.J., Sudarsham, S.: Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. The Journal of Logic Programming\u00a032(3), 171\u2013205 (1997)","journal-title":"The Journal of Logic Programming"},{"key":"6_CR96","doi-asserted-by":"crossref","unstructured":"Tamaki, H., Sato, T.: Old resolution with tabulation. In: 3rd Int. Conf. on Logic Programming, London, pp. 84\u201398 (1986)","DOI":"10.1007\/3-540-16492-8_66"},{"key":"6_CR97","volume-title":"ILPS 1993","author":"F. Teusink","year":"1993","unstructured":"Teusink, F.: A proof procedure for extended logic programs. In: ILPS 1993. MIT Press, Cambridge (1993)"},{"key":"6_CR98","volume-title":"Principles of Database and Knowlegebase Systems","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowlegebase Systems, vol.\u00a02. Computer Science Press, Rockville (1989)"},{"key":"6_CR99","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. In: 8th ACM SIGACT-SIGMOND-SIGART Symposium on Principles of Database Systems, pp. 1\u201310 (1989)","DOI":"10.1145\/73721.73722"},{"issue":"1","key":"6_CR100","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences\u00a047(1), 185\u2013221 (1993)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"6_CR101","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. JACM\u00a038(3), 620\u2013650 (1991)","journal-title":"JACM"},{"key":"6_CR102","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/298514.298559","volume-title":"Proceedings of 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"L.H. You","year":"1990","unstructured":"You, L.H., Yuan, L.Y.: Three-valued formalization of logic programming: is it needed. In: Proceedings of 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 172\u2013182. ACM Press, New York (1990)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for the Web of Data"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23032-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T01:03:29Z","timestamp":1638320609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23032-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230318","9783642230325"],"references-count":102,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23032-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}