{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:21Z","timestamp":1725490221828},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_3","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"23-26","source":"Crossref","is-referenced-by-count":5,"title":["Answer Set Programming for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Berners-Lee, T.: Weaving the Web. Harper, San Francisco, CA (1999)"},{"key":"3_CR2","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, 34\u201343 (2001)","journal-title":"Scientific American"},{"volume-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","year":"2002","key":"3_CR3","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":"3_CR4","unstructured":"W3C: OWL Web ontology language overview (2004), Available at http:\/\/www.w3.org\/TR\/2004\/~REC-owl-features-20040210\/"},{"key":"3_CR5","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. J. Web Sem.\u00a01, 7\u201326 (2003)","journal-title":"J. Web Sem."},{"key":"3_CR6","unstructured":"Antoniou, G., Dam\u00e1sio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining rules and ontologies: A survey. Technical Report IST506779\/Link\u00f6ping\/I3-D3\/D\/PU\/a1, Link\u00f6ping University (2005)"},{"key":"3_CR7","unstructured":"Pan, J.Z., Franconi, E., Tessaris, S., Stamou, G., Tzouvaras, V., Serafini, L., Horrocks, I., Glimm, B.: Specification of coordination of rule and ontology languages. Project Deliverable D2.5.1, KnowledgeWeb NoE (2004)"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11811220_1","volume-title":"Knowledge Science, Engineering and Management","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J, Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol.\u00a04092, pp. 1\u201322. Springer, Heidelberg (2006)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11837787_4","volume-title":"Reasoning Web","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol.\u00a04126, pp. 93\u2013127. Springer, Heidelberg (2006)"},{"key":"3_CR10","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)"},{"volume-title":"Proc. AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning","year":"2001","key":"3_CR11","unstructured":"Provetti, A., Cao, S.T. (eds.): Proc. AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. AAAI Press, Stanford (2001)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer Set Programming and Plan Generation (Seminal paper at ICLP 1999 (invited talk), coining the term Answer Set Programming). Artificial Intelligence\u00a0138, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm \u2013 A 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: Apt, K., Marek, V.W., Truszczy\u0144ski, M., Warren, D.S. (eds.) The Logic Programming Paradigm \u2013 A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic Programming with Stable Model Semantics as Constraint Programming Paradigm. Ann. Math. and Artif. Int.\u00a025, 241\u2013273 (1999)","journal-title":"Ann. Math. and Artif. Int."},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming\u00a03, 425\u2013461 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"3_CR16","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2002","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)"},{"key":"3_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"key":"3_CR18","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":"3_CR19","unstructured":"Niemel\u00e4, I. (ed.): Language extensions and software engineering for ASP. Tech. Rep. WP3, Working Group on Answer Set Programming (WASP, IST-FET-2001-37004) (2005), http:\/\/www.tcs.hut.fi\/Research\/Logic\/wasp\/wp3\/wasp-wp3-web\/"},{"key":"3_CR20","unstructured":"Woltran, S.: Answer set programming: Model applications and proofs-of-concept. Tech. Rep. WP5, Working Group on Answer Set Programming (WASP, IST-FET-2001-37004) (2005), http:\/\/www.kr.tuwien.ac.at\/projects\/WASP\/report.html"},{"key":"3_CR21","unstructured":"Bertino, E., Provetti, A., Salvetti, F.: Local closed-world assumptions for reasoning about semantic web data. In: Buccafurri, F. (ed.) Proc. APPIA-GULP-PRODE, pp. 314\u2013323 (2003)"},{"key":"3_CR22","first-page":"346","volume-title":"Proc. ICLP 1997","author":"K. Van Belleghem","year":"1997","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. MIT Press, Cambridge (1997)"},{"key":"3_CR23","unstructured":"Alsa\u00e7, G., Baral, C.: Reasoning in description logics using declarative logic programming. Tech. Rep. CS&E Dept, Arizona State University (2001)"},{"key":"3_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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.) Logic Programming and Nonmonotonic Reasoning. LNCS (LNAI), vol.\u00a02923, pp. 275\u2013288. Springer, Heidelberg (2003)"},{"key":"3_CR25","first-page":"152","volume-title":"Proc. KR 2004","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-description logic to disjunctive datalog programs. In: Proc. KR 2004, pp. 152\u2013162. AAAI Press, Stanford (2004)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","first-page":"584","volume-title":"Database and Expert Systems Applications","author":"S. Heymans","year":"2003","unstructured":"Heymans, S., Vermeir, D.: Integrating ontology languages and answer set programming. In: Ma\u0159\u00edk, V., \u0160t\u011bp\u00e1nkov\u00e1, O., Retschitzegger, W. (eds.) DEXA 2003. LNCS, vol.\u00a02736, pp. 584\u2013588. Springer, Heidelberg (2003)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Heymans, S., Vermeir, D.: Integrating semantic web reasoning and answer set programming. In: Proc. ASP 2003, pp. 194\u2013208 (2003)","DOI":"10.1007\/978-3-540-24572-8_10"},{"key":"3_CR28","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. IJCAI 2005, Professional Book Center, pp. 90\u201396 (2005)"},{"key":"3_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/11518655_62","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T. Lukasiewicz","year":"2005","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 737\u2013749. Springer, Heidelberg (2005)"},{"key":"3_CR30","first-page":"89","volume-title":"Proc. RuleML 2006","author":"T. Lukasiewicz","year":"2006","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proc. RuleML 2006, pp. 89\u201396. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/11580072_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2005","unstructured":"Wang, K., Antoniou, G., Topor, R.W., Sattar, A.: Merging and aligning ontologies in dl-programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 160\u2013171. Springer, Heidelberg (2005)"},{"key":"3_CR32","unstructured":"Yang, F., Chen, X., Wang, Z.: p-dl-programs: Combining dl-programs with preference for Semantic Web. (Manuscript, 2006)"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. WWW 2003","author":"B.N. Grosof","year":"2003","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. ACM Press, New York (2003)"},{"key":"3_CR34","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, W3C Member Submission. (2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"3_CR35","doi-asserted-by":"crossref","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.: AL-log: Integrating datalog and description logics. J. Intell. Inf. Syst.\u00a010, 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"3_CR36","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. Artificial Intelligence\u00a0104, 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"3_CR37","unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics: Preliminary report. In: Proc. DL 1999, pp. 160\u2013164 (1999)"},{"key":"3_CR38","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. J. Web Sem.\u00a03, 61\u201373 (2005)","journal-title":"J. Web Sem."},{"key":"3_CR39","unstructured":"Rosati, R.: DL log: Tight integration of description logics and disjunctive datalog. In: Proc. KR 2006, pp. 68\u201378. AAAI Press, Stanford (2006)"},{"key":"3_CR40","unstructured":"Yang, F., Chen, X.: DLclog: A hybrid system integrating rules and description logics with circumscription. In: Proc. DL 2007 (2007), http:\/\/www.inf.unibz.it\/krdb\/events\/dl-2007\/"},{"key":"3_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"3_CR42","volume-title":"Proc. RuleML 2006","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A logic for hybrid rules. In: Proc. RuleML 2006, IEEE Computer Society Press, Washington (2006), http:\/\/2006.ruleml.org\/online-proceedings\/rule-integ.pdf"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"RR 2007","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Marchiori, M., Pan, S.E., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, Springer, Heidelberg (2007)"},{"key":"3_CR44","first-page":"477","volume-title":"Proc. IJCAI 2007","author":"B. Motik","year":"2007","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proc. IJCAI 2007, pp. 477\u2013482. AAAI Press, Stanford (2007)"},{"key":"3_CR45","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\u2013151 (2004)"},{"key":"3_CR46","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Schindlauer, R.: Exploiting conjunctive queries in description logic programs. In: Proc. DL 2007 (2007), http:\/\/www.inf.unibz.it\/krdb\/events\/dl-2007\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:12Z","timestamp":1619519412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_3","relation":{},"subject":[]}}