{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:53Z","timestamp":1725891353475},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_12","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"163-177","source":"Crossref","is-referenced-by-count":5,"title":["$\\mathcal{ALC}^{u}_{\\mathbb{P}}$ : An Integration of Description Logic and General Rules"],"prefix":"10.1007","author":[{"given":"Jing","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Boley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies - A survey. Deliverables I3-D3, REWERSE (March 2005), http:\/\/rewerse.net\/deliverables\/m12\/i3-d3.pdf"},{"key":"12_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR3","unstructured":"Berners-Lee, T.: AAAI-06 Invited Talk: Artificial Intelligence and the Semantic Web, http:\/\/www.w3.org\/2006\/Talks\/0718-aaai-tbl\/Overview.html"},{"key":"12_CR4","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive Query Containment in Description Logics with n-ary Relations. In: Proceedings of International Workshop on Description Logics, vol. 410 of URA-CNRS (1997)"},{"key":"12_CR5","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":"12_CR6","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A Logic for Hybrid Rules. In: Proceedings of RuleML 2006 Workshop: Ontology and Rule Integration (November 2006)"},{"issue":"3","key":"12_CR7","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.: 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":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"12_CR9","first-page":"141","volume-title":"Proceedings of the 9th KR","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: Proceedings of the 9th KR, pp. 141\u2013151. AAAI Press, Stanford (2004)"},{"key":"12_CR10","first-page":"1070","volume-title":"Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP)","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP), pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the 12th International World Wide Web Conference","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the 12th International World Wide Web Conference, pp. 48\u201357. ACM Press, New York (2003)"},{"key":"12_CR12","unstructured":"Heymans, S.: Decidable Open Answer Set Programming. Phd thesis, Theoretical Computer Science Lab (TINF), Vrije Universiteit Brussel (February 2006)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99\u201308, RWTH Aachen, Germany (1999)","DOI":"10.25368\/2022.94"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic SHIQ. In: McAllester, D. (ed.) Automated Deduction - CADE-17. LNCS, vol.\u00a01831, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"key":"12_CR15","first-page":"152","volume-title":"Proceedings of the 9th KR","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. In: Proceedings of the 9th KR, pp. 152\u2013162. AAAI Press, Stanford (2004)"},{"issue":"1-2","key":"12_CR16","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. Artifician Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artifician Intelligence"},{"key":"12_CR17","doi-asserted-by":"crossref","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 (second, extended edition). Springer, Heidelberg (1987)"},{"key":"12_CR18","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)"},{"issue":"1","key":"12_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"12_CR20","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of Answering Unions of Conjunctive Queries in shiq. Technical report, Faculty of Computer Science, Free University of Bozen-Bolzano (2006)"},{"issue":"1","key":"12_CR21","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics\u00a03(1), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"12_CR22","first-page":"68","volume-title":"Proceedings of the 10th KR","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In: Proceedings of the 10th KR, pp. 68\u201378. AAAI Press, Stanford (2006)"},{"key":"12_CR23","unstructured":"W3C. OWL: Web Ontology Language Semantics and Abstract Syntax. http:\/\/www.w3.org\/TR\/owl-absyn\/"},{"key":"12_CR24","unstructured":"W3C. Rule Interchange Format Working Group. http:\/\/www.w3.org\/2005\/rules\/"},{"key":"12_CR25","unstructured":"W3C. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. http:\/\/www.w3.org\/Submission\/SWRL\/"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:55:32Z","timestamp":1683914132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_12","relation":{},"subject":[]}}