{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:31:48Z","timestamp":1725471108922},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540395867"},{"type":"electronic","value":"9783540395874"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853107_3","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T07:49:56Z","timestamp":1159516196000},"page":"33-47","source":"Crossref","is-referenced-by-count":4,"title":["Combining Safe Rules and Ontologies by Interfacing of Reasoners"],"prefix":"10.1007","author":[{"given":"Uwe","family":"A\u00dfmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Henriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"DIG Interface, WWW Page (March 14, available at (2006), http:\/\/dig.sourceforge.net\/"},{"key":"3_CR2","unstructured":"XSB (March 14, 2006), available at: http:\/\/xsb.sourceforge.net\/"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Antoniou, G.: Nonmonotonic rule systems using ontologies. In: Proc. Intl. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (2002)","DOI":"10.1007\/3-540-48005-6_30"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. Apt","year":"1994","unstructured":"Apt, K., Bol, R.: Logic programming and negation: A survey. J. of Logic Programming\u00a019\/20, 9\u201371 (1994)","journal-title":"J. of Logic Programming"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., B\u00fcrckert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.H.: Concept logics. Technical Report RR-90-10 (1990)","DOI":"10.1007\/978-3-642-76274-1_10"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"3_CR6","unstructured":"Baader, F., Calvanese, D., McGuiness, D., et al. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR7","unstructured":"Berners-Lee, T.: Semantic web tower. WWW Page (2001), available at: http:\/\/www.w3.org\/2001\/09\/06-ecdl\/slide17-0.html"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-36560-5_22","volume-title":"Web, Web-Services, and Database Systems","author":"F. Bry","year":"2003","unstructured":"Bry, F., Schaffert, S.: The XML query language Xcerpt: Design principles, examples, and semantics. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol.\u00a02593, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"key":"3_CR9","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R., Vetere, G.: DL-lite: Practical Reasoning for Rich DLs. In: Proceedings of the 2004 Description Logic Workshop (DL 2004). CEUR Electronic Workshop Proceedings (2004), http:\/\/ceur-ws.org\/Vol-104"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-Log: Integrating datalog and description logics. Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Intelligent Information Systems"},{"key":"3_CR11","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of the International Conference of Knowledge Representation and Reasoning (KR 2004) (2004)"},{"issue":"5","key":"3_CR12","first-page":"77","volume":"11","author":"A. Frisch","year":"1991","unstructured":"Frisch, A., Cohn, A.: Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Mag.\u00a011(5), 77\u201383 (1991)","journal-title":"AI Mag."},{"key":"3_CR13","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)"},{"key":"3_CR14","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 12th International Conference on the World Wide Web (2003)","DOI":"10.1145\/775152.775160"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Defeasible Description Logics. In: RuleML, pp. 98\u2013112 (2004)","DOI":"10.1007\/978-3-540-30504-0_8"},{"key":"3_CR16","unstructured":"Haarslev, V.: The New Racer Query Language - nRQL. PDF document. available at: www.cs.concordia.ca\/~haarslev\/racer\/racer-queries.pdf"},{"key":"3_CR17","unstructured":"Haarslev, V., M\u00f6ller, R.: Description of the RACER system and its applications. In: DL2001 Workshop on Description Logics, Stanford, CA (2001)"},{"key":"3_CR18","first-page":"723","volume-title":"Proc. of the Thirteenth International World Wide Web Conference (WWW 2004)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pp. 723\u2013731. ACM Press, New York (2004)"},{"key":"3_CR19","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 399\u2013404. AAAI Press \/ The MIT Press (2000)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: RuleML, pp. 170\u2013181 (2004)","DOI":"10.1007\/978-3-540-30504-0_13"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Wang, K., Antoniou, G., Topor, R.W., Sattar, A.: Merging and Aligning Ontologies in dl-Programs. In: RuleML, pp. 160\u2013171 (2005)","DOI":"10.1007\/11580072_13"},{"issue":"1-2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Levy","year":"1998","unstructured":"Levy, A., Rousset, M.: CARIN: A representation language combining horn rules and description logics. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"3_CR24","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. J. of Web Semantics\u00a03, 41\u201360 (2005)","journal-title":"J. of Web Semantics"},{"key":"3_CR25","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":"3_CR26","doi-asserted-by":"crossref","unstructured":"Staab, S. (ed.): Where are the rules. IEEE Intelligent Systems, 76\u201383 (September\/October 2003)","DOI":"10.1109\/MIS.2003.1234775"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853107_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:42:58Z","timestamp":1605642178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853107_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540395867","9783540395874"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11853107_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}