{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:54Z","timestamp":1725891354403},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_29","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"348-357","source":"Crossref","is-referenced-by-count":6,"title":["Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"W\u0142odzimierz","family":"Drabent","sequence":"first","affiliation":[]},{"given":"Jakob","family":"Henriksson","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11853107_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"U. A\u00dfmann","year":"2006","unstructured":"A\u00dfmann, U., Henriksson, J., Maluszynski, J.: Combining safe rules and ontologies by interfacing of reasoners. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 33\u201347. Springer, Heidelberg (2006)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. Proc. of International Conference on Web Reasoning and Rule Systems. LNCS, vol.\u00a04524, Springer, Heidelberg (to appear, 2007)","DOI":"10.1007\/978-3-540-72982-2_1"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Proc. of European Semantic Web Conference, pp. 273\u2013287 (2006)","DOI":"10.1007\/11762256_22"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: RuleML, pp. 81\u201397 (2004)","DOI":"10.1007\/978-3-540-30504-0_7"},{"key":"29_CR5","unstructured":"Haarslev, V., et al.: RacerPro. WWW Page (Accessed February 10, 2007) \n                    \n                      http:\/\/www.racer-systems.com\/products\/racerpro\/"},{"key":"29_CR6","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":"29_CR7","unstructured":"Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68\u201378 (2006)"},{"key":"29_CR8","unstructured":"XSB: WWW Page (Accessed February 7, 2007) \n                    \n                      http:\/\/xsb.sourceforge.net\/"}],"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_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:09:05Z","timestamp":1605762545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_29","relation":{},"subject":[]}}