{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:14:51Z","timestamp":1771697691232,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":88,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642230318","type":"print"},{"value":"9783642230325","type":"electronic"}],"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_7","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T07:42:11Z","timestamp":1313653331000},"page":"382-415","source":"Crossref","is-referenced-by-count":25,"title":["OWL and Rules"],"prefix":"10.1007","author":[{"given":"Adila","family":"Krisnadhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederick","family":"Maier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04930-9_1","volume-title":"The Semantic Web - ISWC 2009","author":"J.J. Alferes","year":"2009","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 1\u201316. Springer, Heidelberg (2009)"},{"key":"7_CR2","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs\/1007.3515 (2010), http:\/\/arxiv.org\/abs\/1007.3515"},{"key":"7_CR3","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":"7_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2007)"},{"key":"7_CR5","unstructured":"Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-core\/"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-bld\/","DOI":"10.1109\/TKDE.2010.84"},{"key":"7_CR7","first-page":"400","volume-title":"Proc. of 10th Intern. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006)","author":"P. Bonatti","year":"2006","unstructured":"Bonatti, P., Lutz, C., Wolter, F.: Expressive Non-Monotonic Description Logics Based on Circumscription. In: Proc. of 10th Intern. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 400\u2013410. AAAI Press, Menlo Park (2006)"},{"issue":"3","key":"7_CR8","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.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM\u00a043, 20\u201374 (1996)","journal-title":"J. ACM"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-72982-2_5","volume-title":"Web Reasoning and Rule Systems","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, J.Z., de Marie, C.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 58\u201372. Springer, Heidelberg (2007)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-54712-6_221","volume-title":"Trends in Artificial Intelligence","author":"F. Donini","year":"1991","unstructured":"Donini, F., 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, vol.\u00a0549, pp. 88\u201397. Springer, Heidelberg (1991)"},{"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. J. Intell. Inf. Syst.\u00a010, 227\u2013252 (1998), doi:10.1023\/A:1008687430626","journal-title":"J. Intell. Inf. Syst."},{"issue":"2","key":"7_CR13","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. Logic\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logic"},{"key":"7_CR14","volume-title":"Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004)","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press, Menlo Park (2004)"},{"key":"7_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-87803-2_15","volume-title":"Logics in Artificial Intelligence","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Gottlob, G., Ortiz, M., \u0160imkus, M.: Query answering in the description logic horn- $\\mathcal{SHIQ}$ . In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 166\u2013179. Springer, Heidelberg (2008)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log.\u00a012(2), article 11 (2011)","DOI":"10.1145\/1877714.1877717"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell.\u00a0172, 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"7_CR18","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":"7_CR19","first-page":"1073","volume-title":"2006 IEEE \/ WIC \/ ACM International Conference on Web Intelligence (WI 2006)","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A prover for semantic-web reasoning under the answer-set semantics. In: 2006 IEEE \/ WIC \/ ACM International Conference on Web Intelligence (WI 2006), Hong Kong, China, December 18-22, pp. 1073\u20131074. IEEE Computer Society, Los Alamitos (2006)"},{"key":"7_CR20","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":"7_CR21","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":"7_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/308386.308444","volume-title":"PODS 1988: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems","author":"A.V. Gelder","year":"1988","unstructured":"Gelder, A.V., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: PODS 1988: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 221\u2013230. ACM Press, New York (1988)"},{"key":"7_CR23","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"7_CR24","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(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-11503-5_4","volume-title":"Practical Aspects of Declarative Languages","author":"A.S. Gomes","year":"2010","unstructured":"Gomes, A.S., Alferes, J.J., Swift, T.: Implementing Query Answering for Hybrid MKNF Knowledge Bases. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 25\u201339. Springer, Heidelberg (2010)"},{"issue":"2","key":"7_CR26","doi-asserted-by":"publisher","first-page":"89","DOI":"10.2753\/JEC1086-4415120204","volume":"12","author":"S. Grimm","year":"2008","unstructured":"Grimm, S., Hitzler, P.: Semantic Matchmaking of Web Resources with Local Closed-World Reasoning. International Journal of Electronic Commerce\u00a012(2), 89\u2013126 (2008)","journal-title":"International Journal of Electronic Commerce"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-05082-4_4","volume-title":"Web Reasoning and Rule Systems","author":"S. Grimm","year":"2009","unstructured":"Grimm, S., Hitzler, P.: A preferential tableaux calculus for circumscriptive ${\\mathcal ALCO}$ . In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 40\u201354. Springer, Heidelberg (2009)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of WWW 2003, Budapest, Hungary, pp. 48\u201357 (May 2003)","DOI":"10.1145\/775152.775160"},{"key":"7_CR29","unstructured":"Heymans, S., Predoiu, L., Feier, C., de\u00a0Bruijn, J., Nieuwenborgh, D.V.: G-hybrid knowledge bases. In: Proc. of ICLP 2006 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (2006)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-92673-3_5","volume-title":"Handbook on Ontologies","author":"P. Hitzler","year":"2009","unstructured":"Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn., pp. 111\u2013132. Springer, Heidelberg (2009)","edition":"2"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-10436-7_2","volume-title":"GeoSpatial Semantics","author":"P. Hitzler","year":"2009","unstructured":"Hitzler, P.: Towards reasoning pragmatics. In: Janowicz, K., Raubal, M., Levashkin, S. (eds.) GeoS 2009. LNCS, vol.\u00a05892, pp. 9\u201325. Springer, Heidelberg (2009)"},{"issue":"1\u20132","key":"7_CR32","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/SW-2010-0010","volume":"1","author":"P. Hitzler","year":"2010","unstructured":"Hitzler, P., van Harmelen, F.: A reasonable semantic web. Semantic Web\u00a01(1\u20132), 39\u201344 (2010)","journal-title":"Semantic Web"},{"key":"7_CR33","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC (2009)","DOI":"10.1201\/9781420090512"},{"key":"7_CR35","doi-asserted-by":"publisher","DOI":"10.1201\/b10397","volume-title":"Mathematical Aspects of Logic Programming Semantics","author":"P. Hitzler","year":"2010","unstructured":"Hitzler, P., Seda, A.K.: Mathematical Aspects of Logic Programming Semantics. CRC Press, Boca Raton (2010)"},{"key":"7_CR36","first-page":"723","volume-title":"Proceedings of the 13th international conference on World Wide Web, WWW 2004","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, pp. 723\u2013731. ACM, New York (2004)"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. of Web Semant.\u00a03, 23\u201340 (2005)","journal-title":"J. of Web Semant."},{"key":"7_CR38","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 (May 21, 2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"7_CR39","first-page":"466","volume-title":"Proceedings of the 19th international joint conference on Artificial intelligence","author":"U. Hustadt","year":"2005","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of the 19th international joint conference on Artificial intelligence, pp. 466\u2013471. Morgan Kaufmann Publishers Inc., San Francisco (2005)"},{"key":"7_CR40","first-page":"2040","volume-title":"Proceedings of the 21st international jont conference on Artifical intelligence","author":"Y. Kazakov","year":"2009","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn ${\\mathcal{SHIQ}}$ ontologies. In: Proceedings of the 21st international jont conference on Artifical intelligence, pp. 2040\u20132045. Morgan Kaufmann Publishers Inc., San Francisco (2009)"},{"issue":"4","key":"7_CR41","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":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-88737-9_1","volume-title":"Web Reasoning and Rule Systems","author":"M. Kifer","year":"2008","unstructured":"Kifer, M.: Rule interchange format: The framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 1\u201311. Springer, Heidelberg (2008)"},{"issue":"9-10","key":"7_CR43","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J., Hitzler, P.: Local closed-world reasoning with description logics under the well-founded semantics. Artificial Intelligence\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artificial Intelligence"},{"key":"7_CR44","unstructured":"Knorr, M., Alferes, J., Hitzler, P.: A well-founded semantics for hybrid MKNF knowledge bases. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, Italy. CEUR Workshop Proceedings, vol.\u00a0250 (June 2007)"},{"key":"7_CR45","first-page":"1079","volume-title":"Proceeding of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence","author":"M. Knorr","year":"2010","unstructured":"Knorr, M., Alferes, J.J.: Querying in $\\mathcal{EL}^{+}$ with nonmonotonic rules. In: Proceeding of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 1079\u20131080. IOS Press, Amsterdam (2010)"},{"key":"7_CR46","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A well-founded semantics for hybrid MKNF knowledge bases. In: Description Logics. CEUR Workshop Proceedings, vol.\u00a0250, Description Logics. CEUR Workshop Proceedings (2007), CEUR-WS.org"},{"key":"7_CR47","first-page":"99","volume-title":"Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence","author":"M. Knorr","year":"2008","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp. 99\u2013103. IOS Press, Amsterdam (2008)"},{"key":"7_CR48","unstructured":"Krisnadhi, A., Sengupta, K., Hitzler, P.: Local closed world semantics: Keep it simple, stupid! Tech. rep., Kno.e.sis Center, Wright State University, Dayton, Ohio (2011), http:\/\/www.pascal-hitzler.de\/"},{"key":"7_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-15675-5_21","volume-title":"Logics in Artificial Intelligence","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 234\u2013246. Springer, Heidelberg (2010)"},{"key":"7_CR50","unstructured":"Kr\u00f6tzsch, M.: Description Logic Rules, Studies on the Semantic Web, vol.\u00a0008. IOS Press\/AKA (2010)"},{"key":"7_CR51","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1145\/1963405.1963496","volume-title":"Proceedings of the 20th International World Wide Web Conference, WWW 2011","author":"M. Kr\u00f6tzsch","year":"2011","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Sadagopan, S., Ramamritham, K., Kumar, A., Ravindra, M., Bertino, E., Kumar, R. (eds.) Proceedings of the 20th International World Wide Web Conference, WWW 2011, Hyderabad, India, pp. 645\u2013654. ACM, New York (2011)"},{"key":"7_CR52","first-page":"452","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, pp. 452\u2013457. AAAI Press, Menlo Park (2007)"},{"key":"7_CR53","first-page":"80","volume-title":"Proceeding of the 18th European Conference on Artificial Intelligence","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description Logic Rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) Proceeding of the 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, vol.\u00a0178, pp. 80\u201384. IOS Press, Amsterdam (2008)"},{"key":"7_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"7_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-15918-3_8","volume-title":"Web Reasoning and Rule Systems","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Schmitt, P.H.: On the semantic relationship between datalog and description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 88\u2013102. Springer, Heidelberg (2010)"},{"key":"7_CR56","first-page":"323","volume-title":"Proceedings of 12th European Conference on Artificial Intelligence","author":"A.Y. Levy","year":"1996","unstructured":"Levy, A.Y., Rousset, M.C.: CARIN: A representation language combining Horn rules and description logics. In: Wahlster, W. (ed.) Proceedings of 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, pp. 323\u2013327. John Wiley and Sons, Chichester (1996)"},{"key":"7_CR57","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, 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"7_CR58","first-page":"381","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence","author":"V. Lifschitz","year":"1991","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, vol.\u00a01, pp. 381\u2013386. Morgan Kaufmann Publishers Inc., San Francisco (1991)"},{"key":"7_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-72667-8_28","volume-title":"The Semantic Web: Research and Applications","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 384\u2013398. Springer, Heidelberg (2007)"},{"key":"7_CR60","first-page":"453","volume-title":"Proc. of IJCAI 2007","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453\u2013459. AAAI Press, Menlo Park (2007)"},{"key":"7_CR61","unstructured":"McGuinness, D., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation (10 February 2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"7_CR62","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Universit\u00e4t Karlsruhe (TH), Germany (2006)"},{"issue":"14","key":"7_CR63","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1016\/j.artint.2009.06.003","volume":"173","author":"B. Motik","year":"2009","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing ontologies using description logics, description graphs, and rules. Artificial Intelligence\u00a0173(14), 1275\u20131309 (2009)","journal-title":"Artificial Intelligence"},{"key":"7_CR64","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"7_CR65","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":"7_CR66","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Universit\u00e4t Karlsruhe (TH), Germany (2006)"},{"key":"7_CR67","first-page":"296","volume-title":"Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"B. Motik","year":"2008","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Representing Structured Objects using Description Graphs. In: Brewka, G., Lang, J. (eds.) Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), August 16\u201319, pp. 296\u2013306. AAAI Press, Sydney (2008)"},{"key":"7_CR68","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Modeling Ontologies Using OWL, Description Graphs, and Rules. In: Ruttenberg, A., Sattler, U., Dolbear, C. (eds.) Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany, October 26\u201327 (2008)"},{"key":"7_CR69","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/1367497.1367573","volume-title":"Proc. of the 17th Int. World Wide Web Conference (WWW 2008)","author":"B. Motik","year":"2008","unstructured":"Motik, B., Grau, B.C., Sattler, U.: Structured Objects in OWL: Representation and Reasoning. In: Huai, J., Chen, R., Hon, H.W., Liu, Y., Ma, W.Y., Tomkins, A., Zhang, X. (eds.) Proc. of the 17th Int. World Wide Web Conference (WWW 2008), April 21\u201325, pp. 555\u2013564. ACM Press, Beijing (2008)"},{"key":"7_CR70","unstructured":"Motik, B., Rosati, R.: Closing semantic web ontologies. Tech. rep., University of Manchester, UK (2006)"},{"key":"7_CR71","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Veloso, M.M. (ed.) IJCAI 2007: Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, pp. 477\u2013482 (2007)"},{"issue":"5","key":"7_CR72","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling Description Logics and Rules. Journal of the ACM\u00a057(5), 1\u201362 (2010)","journal-title":"Journal of the ACM"},{"key":"7_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-30475-3_38","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B. Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 549\u2013563. Springer, Heidelberg (2004)"},{"issue":"1","key":"7_CR74","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":"7_CR75","unstructured":"OWL Working Group, W.: OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"7_CR76","series-title":"LNCS","first-page":"384","volume-title":"Reasoning Web 2011","author":"A. Paschke","year":"2011","unstructured":"Paschke, A.: Rules and Logic Programming for the Web. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 384\u2013417. Springer, Heidelberg (2011)"},{"key":"7_CR77","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic and the first order logic of here-and-there. Tech. rep., Univ. Rey Juan Carlos (2006)"},{"key":"7_CR78","unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics: preliminary report. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P.F. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a022 (1999), CEUR-WS.org"},{"key":"7_CR79","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. J. of Web Semant.\u00a03, 61\u201373 (2005)","journal-title":"J. of Web Semant."},{"key":"7_CR80","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":"7_CR81","first-page":"68","volume-title":"Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom","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.) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"7_CR82","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":"7_CR83","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-87803-2_30","volume-title":"Logics in Artificial Intelligence","author":"S. Rudolph","year":"2008","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 362\u2013374. Springer, Heidelberg (2008)"},{"key":"7_CR84","series-title":"LNCS","first-page":"384","volume-title":"Reasoning Web 2011","author":"S. Rudolph","year":"2011","unstructured":"Rudolph, S.: Foundations of description logics. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 384\u2013417. Springer, Heidelberg (2011)"},{"key":"7_CR85","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL 2008) CEUR Workshop Proceedings, Dresden, Germany, May 13-16, vol.\u00a0353 (2008)"},{"key":"7_CR86","unstructured":"Schindlauer, R.: Answer-Set Programming for the Semantic Web. Ph.D. thesis, Vienna University of Technology, Austria (2006)"},{"key":"7_CR87","unstructured":"Tsarkov, D., Sattler, U., Stevens, R.: A solution for the Man-Man problem in the Family History Knowledge Base. In: Hoekstra, R., Patel-Schneider, P.F. (eds.) Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009) CEUR Workshop Proceedings, Chantilly, VA, United States, October 23-24, vol.\u00a0529 (2009)"},{"key":"7_CR88","unstructured":"Volz, R.: Web Ontology Reasoning With Logic Databases. Ph.D. thesis, Universit\u00e4t Fridericiana zu Karlsruhe (TH), Germany (2004)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T01:03:44Z","timestamp":1638320624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23032-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230318","9783642230325"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23032-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}