{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:16:01Z","timestamp":1725891361127},"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_34","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"370-373","source":"Crossref","is-referenced-by-count":3,"title":["Efficient OWL Reasoning with Logic Programs \u2013 Evaluations"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rudolph","sequence":"first","affiliation":[]},{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Sintek","sequence":"additional","affiliation":[]},{"given":"Denny","family":"Vrandecic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (February 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"34_CR2","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universit\u00e4t Karlsruhe (2006)"},{"key":"34_CR3","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, pp. 466\u2013471(2005)"},{"key":"34_CR4","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: On the complexity of Horn description logics. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the 2nd Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol.\u00a0216 (November 2006)"},{"key":"34_CR5","first-page":"17","volume-title":"RuleML2006","author":"M. Kr\u00f6tzsch","year":"2006","unstructured":"Kr\u00f6tzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML2006. Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, pp. 17\u201326. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11574620_29","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Hitzler","year":"2005","unstructured":"Hitzler, P., Vrandecic, D.: Resolution-Based Approximate Reasoning for OWL DL. In: Gil, Y., et al. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning\u00a013, 145\u2013172 (1994)","journal-title":"Journal of Automated Reasoning"},{"key":"34_CR8","unstructured":"Grau, B.C.: OWL 1.1 web ontology language tractable fragments (2004), \n                    \n                      http:\/\/owl1-1.cs.manchester.ac.uk\/tractable.html"}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:09:07Z","timestamp":1605762547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_34","relation":{},"subject":[]}}