{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:53:07Z","timestamp":1742399587616},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_1","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"1-15","source":"Crossref","is-referenced-by-count":17,"title":["Well-Founded Semantics for Hybrid Rules"],"prefix":"10.1007","author":[{"given":"W\u0142odzimierz","family":"Drabent","sequence":"first","affiliation":[]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. J. Log. Program.\u00a019\/20, 9\u201371 (1994)","journal-title":"J. Log. Program."},{"volume-title":"The Description Logic Handbook","year":"2003","key":"1_CR2","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K.: Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-Log: Integrating datalog and description logics. Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Intelligent Information Systems"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"82","DOI":"10.7551\/mitpress\/4307.003.0009","volume-title":"Proc. 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning","author":"W. Drabent","year":"1993","unstructured":"Drabent, W.: SLS-resolution without floundering. In: Pereira, L.M., Nerode, A. (eds.) Proc. 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 82\u201398. MIT Press, Cambridge, MA (1993)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF01185404","volume":"32","author":"W. Drabent","year":"1995","unstructured":"Drabent, W.: What is failure? An approach to constructive negation. Acta Informatica\u00a032(1), 27\u201359 (1995)","journal-title":"Acta Informatica"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/978-3-540-72982-2_29","volume-title":"RR 2007","author":"W. Drabent","year":"2007","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: Hybrid reasoning with rules and constraints under well-founded semantics. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 348\u2013357. Springer, Heidelberg (2007)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"1_CR9","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of the International Conference of Knowledge Representation and Reasoning (KR\u201904) (2004)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"issue":"2\/3&4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0743-1066(93)90033-D","volume":"17","author":"G. Ferrand","year":"1993","unstructured":"Ferrand, G., Deransart, P.: Proof method of partial correctness and weak completeness for normal logic programs. J. Log. Program.\u00a017(2\/3&4), 265\u2013278 (1993)","journal-title":"J. Log. Program."},{"key":"1_CR12","volume-title":"Handbook of Constraint Programming","author":"K. Marriott","year":"2006","unstructured":"Marriott, K., Stuckey, P.J., Wallace, M.: Constraint logic programming. In: Handbook of Constraint Programming, Elsevier, Amsterdam (2006)"},{"key":"1_CR13","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI, pp. 477\u2013482 (2007)"},{"issue":"1","key":"1_CR14","doi-asserted-by":"crossref","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. J. Web Sem.\u00a03(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03, 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"1_CR16","first-page":"68","volume-title":"KR","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 68\u201378. AAAI Press, California (2006)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11837787_5","volume-title":"Reasoning Web","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: Integrating ontologies and rules: Semantic and computational issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol.\u00a04126, pp. 128\u2013151. Springer, Heidelberg (2006)"},{"key":"1_CR18","first-page":"221","volume-title":"Principles of Database Systems","author":"A. Gelder van","year":"1988","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Principles of Database Systems, pp. 221\u2013230. ACM, New York (1988)"},{"key":"1_CR19","unstructured":"XSB: XSB Prolog. Available at http:\/\/xsb.sourceforge.net"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T13:35:20Z","timestamp":1708004120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_1","relation":{},"subject":[]}}