{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:11:18Z","timestamp":1725495078217},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759744"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75975-1_17","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:40:55Z","timestamp":1194986455000},"page":"182-189","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Rules and Description Logics with Circumscription for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Fangkai","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoping","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook","year":"2003","key":"17_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"17_CR2","unstructured":"Bonatti, P., Lutz, C., Wolter, F.: Description Logics with Circumscription. In: KR 2006 (2006)"},{"key":"17_CR3","unstructured":"Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. In: Proc of IJCAI 2007 (2007)"},{"key":"17_CR4","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","year":"2006","unstructured":"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)"},{"issue":"1-2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","volume":"100","author":"F. Donini","year":"1998","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Schaerf, W.: \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log: Integrating Datalog and Description Logics. Artificial Intelligence\u00a0100(1-2), 225\u2013247 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","volume":"38","author":"M. Gelfond","year":"1989","unstructured":"Gelfond, M., Przymusinska, H., Przymusinki, T.: On the Relationship between Circumscription and Negation as Failure. Artificial Intelligence\u00a038, 75\u201394 (1989)","journal-title":"Artificial Intelligence"},{"key":"17_CR8","doi-asserted-by":"crossref","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 Generaltion Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generaltion Computing"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J.: Applications of circumscription in formalizing common sense knowledge. Artificial Intelligence\u00a028, 89\u2013116 (1986)","journal-title":"Artificial Intelligence"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2004)"},{"key":"17_CR11","unstructured":"Motik, B., Rosati, R.: A Faithful Integration of Description Logics with Logic Programming. In: Proc. of IJCAI 2007 (2007)"},{"key":"17_CR12","unstructured":"Lifschitz, V.: Nonmonotonic Databases and Epistemic Queries. In: Proc. IJCAI 1991 (1991)"},{"key":"17_CR13","doi-asserted-by":"crossref","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 Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"17_CR14","unstructured":"Rosati, R.: Towards expressive KR systems integrating Datalog and description logics: Preliminary report. In: Proc. of DL 1999 (1999)"},{"key":"17_CR15","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)"},{"issue":"1","key":"17_CR16","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 Semantics\u00a03(1), 61\u201373 (2005)","journal-title":"J. Web Semantics"},{"key":"17_CR17","unstructured":"Rosati, R.: \n                    \n                      \n                    \n                    $\\mathcal{DL}+log$\n                  : Tight integration of description logics and disjunctive datalog. In: Proc. of KR 2006 (2006)"},{"key":"17_CR18","unstructured":"Yang, F., Chen, X.: Integrating Rules and Description Logics with Circumscription for Semantic Web (Techinical Report), in \n                    \n                      http:\/\/mail.ustc.edu.cn\/~fkyang\/dlclog-full.pdf"}],"container-title":["Lecture Notes in Computer Science","Advances in Rule Interchange and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75975-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:37:55Z","timestamp":1619505475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75975-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759744"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75975-1_17","relation":{},"subject":[]}}