{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:40:33Z","timestamp":1743072033415,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249075"},{"type":"electronic","value":"9783642249082"}],"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-24908-2_10","type":"book-chapter","created":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T14:38:16Z","timestamp":1319121496000},"page":"33-48","source":"Crossref","is-referenced-by-count":0,"title":["Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules"],"prefix":"10.1007","author":[{"given":"Mohammad Sadnan","family":"Al Manir","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"Journal of Web Semantics"},{"unstructured":"W3c semantic web activity, November 2 (2001)","key":"10_CR2"},{"unstructured":"Kifer, M., Boley, H. (eds.): Rif basic logic dialect, w3c editor\u2019s draft, December 18 (2008)","key":"10_CR3"},{"unstructured":"de Bruijn, J. (ed.): Rif rdf and owl compatibility, w3c editor\u2019s draft, September 22 (2008)","key":"10_CR4"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web\u00a06(4), 309\u2013322 (2008)","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"unstructured":"W3C OWL Working Group (eds.): Owl 2 web ontology language, document overview, September 22 (2008)","key":"10_CR6"},{"issue":"1-2","key":"10_CR7","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(1-2), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog, pp. 68\u201378 (2006)","key":"10_CR8"},{"issue":"3","key":"10_CR9","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. J. Intell. Inf. Syst.\u00a010(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Sattler, U., Baader, F.: Number restrictions on complex roles in description logics, a preliminary report. In: Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR 1996), pp. 328\u2013338 (1996)","key":"10_CR10","DOI":"10.25368\/2022.70"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"S. Tobies","year":"1999","unstructured":"Tobies, S., Horrocks, I., Sattler, U.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"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, World Wide Web Consortium (2004)","key":"10_CR12"},{"doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","key":"10_CR13","DOI":"10.1145\/775152.775160"},{"issue":"1","key":"10_CR14","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. J. Web Sem.\u00a03(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 466\u2013471. Professional Book Center (2005)","key":"10_CR15"},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)","key":"10_CR16"},{"unstructured":"Krt\u00f6zsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: AAAI, pp. 452\u2013457. AAAI Press (2007)","key":"10_CR17"},{"key":"10_CR18","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-. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 166\u2013179. Springer, Heidelberg (2008)"},{"unstructured":"Tessaris, S.: Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester (2001)","key":"10_CR19"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191843.191927","volume":"23","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: Xsb as an efficient deductive database engine. SIGMOD Rec.\u00a023(2), 442\u2013453 (1994)","journal-title":"SIGMOD Rec."},{"unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 57\u201367. AAAI Press (2006)","key":"10_CR21"},{"unstructured":"The XSB System, http:\/\/xsb.sourceforge.net\/xsbsystem.html","key":"10_CR22"},{"unstructured":"EMCL Master Thesis 2008-09, http:\/\/www.emcl-study.eu\/fileadmin\/master_theses\/thesis_al.pdf","key":"10_CR23"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Modeling and Computing on the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24908-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T16:28:04Z","timestamp":1686414484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24908-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249075","9783642249082"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24908-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}