{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T01:01:00Z","timestamp":1768438860953,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":105,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540856566","type":"print"},{"value":"9783540856580","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85658-0_1","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T06:00:43Z","timestamp":1220076043000},"page":"1-53","source":"Crossref","is-referenced-by-count":51,"title":["Rules and Ontologies for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Krennwallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Alsa\u00e7, G., Baral, C.: Reasoning in description logics using declarative logic programming. Technical report, CS Dept, Arizona State University (2001)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11574620_5","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Analyti","year":"2005","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Stable Model Theory for Extended RDF Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 21\u201336. Springer, Heidelberg (2005)"},{"key":"1_CR3","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, IST-2004-506779 REWERSE Deliverable I3-D3. (February 2005), http:\/\/rewerse.net\/publications\/"},{"key":"1_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"1_CR5","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"},{"key":"1_CR6","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":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-540-74610-2_7","volume-title":"Proceedings 23rd International Conference on Logic Programming (ICLP 2007)","author":"S. Baselice","year":"2007","unstructured":"Baselice, S., Bonatti, P.A., Criscuolo, G.: On finitely recursive programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 89\u2013103. Springer, Heidelberg (2007)"},{"key":"1_CR8","unstructured":"T.\u00a0Berners-Lee. Web for Real People, April 2005. Keynote Speech at the 14th World Wide Web Conference WWW2005, http:\/\/www.w3.org\/2005\/Talks\/0511-keynote-tbl\/ ."},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-74615-7_5","volume-title":"Reasoning Web","author":"H. Boley","year":"2007","unstructured":"Boley, H., Kifer, M., P\u0103tr\u00e2njan, P.-L., Polleres, A.: Rule interchange on the web. In: Antoniou, G., A\u00dfmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol.\u00a04636, pp. 269\u2013309. Springer, Heidelberg (2007)"},{"key":"1_CR10","unstructured":"Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect, W3C Working Draft (October2007), http:\/\/www.w3.org\/TR\/2007\/WD-rif-bld-20071030"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"Bonatti, P.A.: Reasoning with infinite stable models. Artificial Intelligence\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artificial Intelligence"},{"key":"1_CR12","unstructured":"Brickley, D., Guha, R. (eds.): RDF vocabulary description language 1.0: RDF Schema, W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74615-7_1","volume-title":"Reasoning Web","author":"F. Bry","year":"2007","unstructured":"Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., Wei, F.: Foundations of rule-based query answering. In: Antoniou, G., A\u00dfmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol.\u00a04636, pp. 1\u2013153. Springer, Heidelberg (2007)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-74610-2_30","volume-title":"Logic Programming","author":"A. Cal\u00ec","year":"2007","unstructured":"Cal\u00ec, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 428\u2013429. Springer, Heidelberg (2007)"},{"key":"1_CR15","unstructured":"F. Calimeri, S. Cozza, G. Ianni, N. Leone. DLV-Complex homepage, since 2008, http:\/\/www.mat.unical.it\/dlv-complex"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Embedding defaults into terminological representation systems. J. Automated Reasoning\u00a039, 385\u2013429 (2007)","journal-title":"J. Automated Reasoning"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Carroll, J., Bizer, C., Hayes, P., Stickler, P.: Named graphs. Journal of Web Semantics\u00a03(4) (2005)","DOI":"10.1016\/j.websem.2005.09.001"},{"key":"1_CR18","unstructured":"Clark, K.G., Feigenbaum, L., Torres, E.: SPARQL Protocol for RDF, W3C Proposed Recommendation (November 2007), http:\/\/www.w3.org\/TR\/2007\/PR-rdf-sparql-protocol-20071112\/"},{"key":"1_CR19","unstructured":"Connolly, D. (ed.): Gleaning Resource Descriptions from Dialects of Languages (GRDDL) (September 2007)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11853107_11","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"C.V. Dam\u00e1sio","year":"2006","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 149\u2013163. Springer, Heidelberg (2006)"},{"key":"1_CR21","unstructured":"de Bruijn, J.: Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling. PhD thesis, Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck, Innsbruck, Austria (2008)"},{"key":"1_CR22","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":"1_CR23","first-page":"304","volume-title":"Proceedings 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding non-ground logic programs into autoepistemic logic for knowledge base combination. In: Veloso, M. (ed.) Proceedings 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 304\u2013309. AAAI Press, Menlo Park (2007)"},{"key":"1_CR24","volume-title":"Proceedings Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006)","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A logic for hybrid rules. In: Proceedings Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), IEEE, Los Alamitos (2006), http:\/\/2006.ruleml.org\/online-proceedings\/rule-integ.pdf"},{"key":"1_CR25","unstructured":"de Bruijn, J., Polleres, A., Lara, R., Fensel, D.: OWL\u2212. Final draft d20.1v0.2, WSML (2005)"},{"key":"1_CR26","unstructured":"J.\u00a0de Bruijn (ed.). RIF RDF and OWL Compatibility, W3C Working Draft (October 2007), http:\/\/www.w3.org\/TR\/2007\/WD-rif-bld-20071030"},{"key":"1_CR27","unstructured":"Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, W3C Recommendation (February 2004)"},{"issue":"3","key":"1_CR28","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.: ${\\cal AL}$ -log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F.M. Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log.\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log."},{"key":"1_CR30","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: HD-Rules: a hybrid system interfacing prolog with dl-reasoners. In: 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services. ALPSWS 2007 (2007)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72982-2_1","volume-title":"Web Reasoning and Rule Systems","author":"W. Drabent","year":"2007","unstructured":"Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs). RFC 3987 (Proposed Standard) (January 2005)","DOI":"10.17487\/rfc3987"},{"key":"1_CR33","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Schindlauer, R.: Exploiting conjunctive queries in description logic programs. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), pp. 259\u2013266 (2007)"},{"key":"1_CR34","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Schindlauer, R.: Exploiting conjunctive queries in description logic programs. Technical Report INFSYS RR-1843-08-02, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, A-1040 Vienna, Austria, Extended version of the DL 2007\/ISAIM 2008 abstract (March 2008)"},{"key":"1_CR35","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. Technical Report INFSYS RR-1843-07-04, Institut f\u00fcr Informationssysteme, TU Wien (2007) (to appear in Artificial Intelligence)"},{"key":"1_CR36","unstructured":"T.\u00a0Eiter, G.\u00a0Ianni, A.\u00a0Polleres, and R.\u00a0Schindlauer. Answer set programming for the semantic web, (June 2006), http:\/\/asptut.gibbi.com\/"},{"key":"1_CR37","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 2006. LNCS, vol.\u00a04126, pp. 93\u2013127. Springer, Heidelberg (2006)"},{"key":"1_CR38","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Professional Book Center, pp. 90\u201396 (2005)"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"Proceedings of the Third European Semantic Web Conference (ESWC 2006)","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_CR40","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proceedings KR 2004, pp. 141\u2013151 (2004)"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"1_CR42","unstructured":"The Friend of a Friend (FOAF) Project, http:\/\/www.foaf-project.org\/"},{"key":"1_CR43","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":"1_CR44","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Przymusinska, H., Przymusinski, T.C.: The Extended Closed World Assumption and its Relationship to Parallel Circumscription. In: Proceedings Fifth ACM Symposium on Principles of Database Systems (PODS 1986), pp. 133\u2013139 (1986)","DOI":"10.1145\/6012.15410"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proceedings WWW 2003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"1_CR47","series-title":"Lecture Notes in Artificial Intelligence","first-page":"701","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)","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":"1_CR48","unstructured":"Hayes, P.: RDF semantics, http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"issue":"1","key":"1_CR49","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jal.2006.02.001","volume":"5","author":"S. Heymans","year":"2007","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Open answer set programming for the semantic web. J. Applied Logic\u00a05(1), 144\u2013169 (2007)","journal-title":"J. Applied Logic"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/11691372","volume-title":"Proceedings of the ICLP 2006 Workshop Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006)","author":"S. Heymans","year":"2006","unstructured":"Heymans, S., Predoiu, L., Feier, C., der Bruijn, J., van Nieuwenborgh, D.: G-hybrid knowledge bases. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 39\u201354. Springer, Heidelberg (2006)"},{"key":"1_CR51","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367 (2006)"},{"key":"1_CR52","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, May (2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"issue":"3","key":"1_CR53","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL\u00a08(3), 239\u2013264 (2000)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"1_CR54","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. J. Autom. Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"1_CR55","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546207_1","volume-title":"8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)","author":"M. Kifer","year":"2005","unstructured":"Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 1\u201312. Springer, Heidelberg (2005)"},{"issue":"4","key":"1_CR56","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"1_CR57","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A well-founded semantics for hybrid mknf knowledge bases. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), pp. 347\u2013354 (2007)"},{"issue":"3","key":"1_CR58","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1-2","key":"1_CR59","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(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"1_CR60","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings IJCAI 1991, pp. 381\u2013386 (1991)"},{"key":"1_CR61","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 edn. Springer, New York (1987)","edition":"2"},{"issue":"3","key":"1_CR62","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W., Topor, R.W.: Making prolog more expressive. Journal of Logic Programming\u00a01(3), 225\u2013240 (1984)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"1_CR63","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reasoning\u00a045(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reasoning"},{"key":"1_CR64","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-75256-1_19","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU, pp. 187\u2013198 (2007)"},{"key":"1_CR65","unstructured":"Malhotra, A., Melton, J., Walsh, N. (eds.): XQuery 1.0 and XPath 2.0 Functions and Operators, W3C Recommendation (January 2007), http:\/\/www.w3.org\/TR\/xpath-functions\/"},{"key":"1_CR66","unstructured":"Marin, D.: A formalization of RDF. Technical Report TR\/DCC-2006-8, TR Dept. Computer Science, Universidad de Chile (2006)"},{"key":"1_CR67","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.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"1_CR68","unstructured":"B.\u00a0Motik and R.\u00a0Rosati. Closing semantic web ontologies. Technical report, University of Manchester, March 2007, http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/boris.motik\/publications\/mr06closing-report.pdf"},{"key":"1_CR69","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 477\u2013482 (2007)"},{"issue":"1","key":"1_CR70","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: Science, Services and Agents on the World Wide Web\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"1_CR71","unstructured":"Nilsson, M., Powell, A., Johnston, P., Naeve, A.: Expressing dublin core metadata using the resource description framework (rdf), DCMI Recommendation (January 2008)"},{"key":"1_CR72","unstructured":"Pan, J.Z., Franconi, E., Tessaris, S., Stamou, G., Tzouvaras, V., Serafini, L., Horrocks, I.R., Glimm, B.: Specification of Coordination of Rule and Ontology Languages. Project Deliverable D2.5.1, KnowledgeWeb NoE (June 2004)"},{"key":"1_CR73","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation (February 2004)"},{"issue":"1-2","key":"1_CR74","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell.\u00a047(1-2), 3\u201341 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR75","unstructured":"Pearce, D., Valverde, A.: Quantfied equilibrium logic. Technical report, Universidad Rey Juan Carlos (2006)"},{"key":"1_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11926078_3","volume-title":"The Semantic Web - ISWC 2006","author":"J. P\u00e9rez","year":"2006","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of sparql. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 30\u201343. Springer, Heidelberg (2006)"},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: Proceedings of the 16th World Wide Web Conference (WWW 2007), Banff, Canada (May 2007)","DOI":"10.1145\/1242572.1242679"},{"key":"1_CR78","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011. Springer, Heidelberg (2006)"},{"key":"1_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 332\u2013347. Springer, Heidelberg (2006)"},{"key":"1_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"878","DOI":"10.1007\/978-3-540-76848-7_59","volume-title":"Proceedings of the 6th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2007)","author":"A. Polleres","year":"2007","unstructured":"Polleres, A., Scharffe, F., Schindlauer, R.: SPARQL++ for mapping between RDF vocabularies. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 878\u2013896. Springer, Heidelberg (2007)"},{"key":"1_CR81","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A Logical Framework for Default Reasoning. Artificial Intelligence\u00a036, 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"key":"1_CR82","unstructured":"Prud\u2019hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF, W3C Recommendation (January 2007), http:\/\/www.w3.org\/TR\/2008\/REC-rdf-sparql-query-20080115\/"},{"key":"1_CR83","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On Closed-World Databases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"1_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. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR85","unstructured":"Rosati, R.: Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In: Proceedings of the 1999 International Workshop on Description Logics (DL 1999), pp. 160\u2013164 (1999)"},{"issue":"1","key":"1_CR86","doi-asserted-by":"publisher","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(1), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"1_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"1_CR88","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 2006. LNCS, vol.\u00a04126, pp. 128\u2013151. Springer, Heidelberg (2006)"},{"key":"1_CR89","first-page":"68","volume-title":"Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: Tight Integration of Description Logics and Disjunctive Datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"1_CR90","doi-asserted-by":"crossref","unstructured":"Simkus, M., Eiter, T.: FDNC: Decidable non-monotonic disjunctive logic programs with function symbols. In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR, pp. 514\u2013530, Full paper Tech.Rep.INFSYS RR-1843-08-01, TU Vienna. (2007), http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr0801.pdf","DOI":"10.1007\/978-3-540-75560-9_37"},{"key":"1_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 364\u2013378. Springer, Heidelberg (2002)"},{"key":"1_CR92","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Technical Report\u00a068, UMIACS, University of Maryland (2005)"},{"key":"1_CR93","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning Web, Fourth International Summer School 2008, Tutorial Lectures","author":"U. Straccia","year":"2008","unstructured":"Straccia, U.: Reasoning about Uncertainty. In: Reasoning Web, Fourth International Summer School 2008, Tutorial Lectures. LNCS, vol.\u00a05224, Springer, Heidelberg (2008)"},{"key":"1_CR94","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/11595014_22","volume-title":"Progress in Artificial Intelligence","author":"Y. Sure","year":"2005","unstructured":"Sure, Y., Bloehdorn, S., Haase, P., Hartmann, J., Oberle, D.: The SWRC ontology - semantic web for research communities. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 218\u2013231. Springer, Heidelberg (2005)"},{"key":"1_CR95","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":"1_CR96","doi-asserted-by":"crossref","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. Journal of Web Semantics\u00a03(2) (July 2005)","DOI":"10.1016\/j.websem.2005.06.001"},{"key":"1_CR97","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: Fact++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130. Springer, Heidelberg (2006)"},{"key":"1_CR98","unstructured":"Ullman, J.D.: Principles of Database & Knowledge Base Systems. Comp.\u00a0Science Press (1989)"},{"key":"1_CR99","unstructured":"Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Proceedings ICLP 1997, pp. 346\u2013360 (1997)"},{"issue":"3","key":"1_CR100","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","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":"1_CR101","unstructured":"W3C. The Resource Description Framework, http:\/\/www.w3.org\/RDF\/"},{"key":"1_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-30504-0_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2004","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 170\u2013181. Springer, Heidelberg (2004)"},{"key":"1_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1007\/978-3-540-39718-2_41","volume-title":"The Semantic Web - ISWC 2003","author":"J. Wielemaker","year":"2003","unstructured":"Wielemaker, J., Schreiber, G., Wielinga, B.: Prolog-based infrastructure for RDF: Scalability and performance. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 644\u2013658. Springer, Heidelberg (2003)"},{"key":"1_CR104","volume-title":"Proccedings of ICDE 2008","author":"Z. Wu","year":"2008","unstructured":"Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing and Inference Engine for RDFS\/OWL Constructs and User-Defined Rules in Oracle. In: Proccedings of ICDE 2008, IEEE Computer Society Press, Los Alamitos (to appear, 2008)"},{"key":"1_CR105","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume-title":"Journal on Data Semantics I","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 69\u201397. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85658-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T14:19:54Z","timestamp":1557757194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85658-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540856566","9783540856580"],"references-count":105,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85658-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}