{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:06:40Z","timestamp":1761844000246},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238423"},{"type":"electronic","value":"9783540305040"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30504-0_7","type":"book-chapter","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T16:13:26Z","timestamp":1277914406000},"page":"81-97","source":"Crossref","is-referenced-by-count":42,"title":["Well-Founded Semantics for Description Logic Programs in the Semantic Web"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Schindlauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Alsa\u00e7, G., Baral, C.: Reasoning in description logics using declarative logic programming. Tech. report, Computer Science and Engineering Dept., Arizona State University (2001)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-48005-6_30","volume-title":"The Semantic Web - ISWC 2002","author":"G. Antoniou","year":"2002","unstructured":"Antoniou, G.: Nonmonotonic rule systems on top of ontology layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 394\u2013398. Springer, Heidelberg (2002)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-39715-1_8","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"G. Antoniou","year":"2003","unstructured":"Antoniou, G., Wagner, G.: Rules and defeasible reasoning on the Semantic Web. In: Schr\u00f6der, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol.\u00a02876, pp. 111\u2013120. Springer, Heidelberg (2003)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning\u00a014, 149\u2013180 (1995)","journal-title":"J. Automated Reasoning"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Automated Reasoning\u00a010(3), 399\u2013420 (1993)","journal-title":"J. Automated Reasoning"},{"key":"7_CR6","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)"},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"7_CR8","unstructured":"Boley, H., Tabet, S., Wagner, G.: Design rationale for RuleML: A markup language for Semantic Web rules. In: Proc. SWWS 2001, pp. 381\u2013401 (2001)"},{"key":"7_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"121","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2001","unstructured":"Brewka, G.: On the relationship between defeasible logic and well-founded semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 121\u2013132. Springer, Heidelberg (2001)"},{"key":"7_CR10","unstructured":"Dam\u00e1sio, C.V.: The W4 Project (2002), http:\/\/centria.di.fct.unl.pt\/~cd\/projectos\/w4\/index.htm"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: ${\\mathcal AL}$ -log: Integrating datalog and description logics. Journal of Intelligent Information Systems (JIIS)\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent Information Systems (JIIS)"},{"key":"#cr-split#-7_CR13.1","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR 2004, pp. 141-151 (2004)"},{"key":"#cr-split#-7_CR13.2","unstructured":"Preliminary Report RR-1843-03-13, Institut f\u00fcr Informationssysteme, TU Wien (2003)"},{"volume-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","year":"2002","key":"7_CR14","unstructured":"Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"17","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and deductive databases. New Generation Computing\u00a017, 365\u2013387 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR16","unstructured":"Grosof, B.N.: Courteous logic programs: Prioritized conflict handling for rules. IBM Research Report RC 20836, IBM Research Division, T.J. Watson Research (1997)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proc. WWW 2003, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"7_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: Proc. WWW 2004, pp. 723\u2013731 (2004)","DOI":"10.1145\/988672.988771"},{"issue":"1","key":"7_CR21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From ${\\mathcal SHIQ}$ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"7_CR23","unstructured":"Hufstadt, U., Motik, B., Sattler, U.: Reasoning for description logics around ${\\mathcal SHIQ}$ in a resolution framework. Technical Report 3-8-04\/04, FZI Karlsruhe (2004)"},{"issue":"1-2","key":"7_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artif. Intell.\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"7_CR25","unstructured":"Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logics. In: Proc. AAAI\/IAAI 1999, pp. 299\u2013305 (1999)"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-63792-3_23","volume-title":"Deductive and Object-Oriented Databases","author":"W. May","year":"1997","unstructured":"May, W., Lud\u00e4scher, B., Lausen, G.: Well-founded semantics for deductive object-oriented database languages. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds.) DOOD 1997. LNCS, vol.\u00a01341, pp. 320\u2013336. Springer, Heidelberg (1997)"},{"key":"7_CR27","unstructured":"Niemel\u00e4, I., Simons, P., Syrj\u00e4nen, T.: Smodels: A system for answer set programming. In: Proc. NMR 2000 (2000)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-63255-7_33","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Rao","year":"1997","unstructured":"Rao, P., Sagonas, K., Swift, T., Warren, D.S., Freire, J.: XSB: A system for efficiently computing WFS. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 430\u2013440. Springer, Heidelberg (1997)"},{"key":"7_CR29","unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics: Preliminary report. In: Proc. DL 1999, pp. 160\u2013164 (1999)"},{"key":"7_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-24609-1_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Swift","year":"2003","unstructured":"Swift, T.: Deduction in ontologies via ASP. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 275\u2013288. Springer, Heidelberg (2003)"},{"key":"7_CR31","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Proc. ICLP 1997, pp. 346\u2013360 (1997)","DOI":"10.7551\/mitpress\/4299.003.0030"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proc. PODS 1989, pp. 1\u201310 (1989)","DOI":"10.1145\/73721.73722"},{"issue":"3","key":"7_CR34","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.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"7_CR35","unstructured":"W3C. OWL web ontology language overview, W3C Recommendation (February 10, 2004), Available at http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30504-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T21:56:57Z","timestamp":1711576617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30504-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238423","9783540305040"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30504-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}