{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:04:43Z","timestamp":1725519883679},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540887362"},{"type":"electronic","value":"9783540887379"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88737-9_13","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T06:59:22Z","timestamp":1224226762000},"page":"165-180","source":"Crossref","is-referenced-by-count":10,"title":["Approximate OWL-Reasoning with Screech"],"prefix":"10.1007","author":[{"given":"Tuvshintur","family":"Tserendorj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"13_CR2","first-page":"48","volume-title":"Proc. of WWW 2003","author":"B. Grosof","year":"2003","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proc. of WWW 2003, Budapest, Hungary, May 2003, pp. 48\u201357. ACM, New York (2003)"},{"key":"13_CR3","unstructured":"Volz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, Institute AIFB, University of Karlsruhe (2004)"},{"key":"13_CR4","first-page":"17","volume-title":"Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, 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.) Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Athens, Georgia, pp. 17\u201326. IEEE Computer Society, Los Alamitos (2006)"},{"key":"13_CR5","volume-title":"Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description Logic Rules. In: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008). IOS Press, Amsterdam (to appear, 2008)"},{"key":"13_CR6","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Elp: Tractable rules for OWL 2. In: Proceedings of the 7th International Semantic Web Conference (ISWC 2008) (to appear, 2008)"},{"key":"13_CR7","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":"13_CR8","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universit\u00e4t Karlsruhe (2006)"},{"key":"13_CR9","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Motik","year":"2006","unstructured":"Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol.\u00a04246. Springer, Heidelberg (2006)"},{"key":"13_CR10","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":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-540-72982-2_34","volume-title":"Web Reasoning and Rule Systems","author":"S. Rudolph","year":"2007","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P., Sintek, M., Vrandecic, D.: Efficient OWL reasoning with logic programs \u2013 evaluations. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 370\u2013373. Springer, Heidelberg (2007)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MIC.2007.51","volume":"11","author":"D. Fensel","year":"2007","unstructured":"Fensel, D., Harmelen, F.V.: Unifying reasoning and search to web scale. IEEE Internet Computing\u00a011, 94\u201396 (2007)","journal-title":"IEEE Internet Computing"},{"key":"13_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36109-X_26","volume-title":"Flexible Query Answering Systems","author":"H. Stuckenschmidt","year":"2002","unstructured":"Stuckenschmidt, H., van Harmelen, F.: Approximating terminological queries. In: Larsen, H., et al. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522. Springer, Heidelberg (2002)"},{"key":"13_CR15","unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proceedings of the International Workshop on Description Logics, DL 2004, Whistler, Canada, pp. 31\u201340 (2004)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11431053_22","volume-title":"The Semantic Web: Research and Applications","author":"P. Groot","year":"2005","unstructured":"Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11581116_26","volume-title":"Web Information Systems Engineering \u2013 WISE 2005 Workshops","author":"H. Wache","year":"2005","unstructured":"Wache, H., Groot, P., Stuckenschmidt, H.: Scalable instance retrieval for the semantic web by approximation. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol.\u00a03807, pp. 245\u2013254. Springer, Heidelberg (2005)"},{"key":"13_CR18","first-page":"1434","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"J.Z. Pan","year":"2007","unstructured":"Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1434\u20131439. AAAI Press, Menlo Park (2007)"},{"key":"13_CR19","first-page":"1459","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"H. Stuckenschmidt","year":"2007","unstructured":"Stuckenschmidt, H.: Partial matchmaking using approximate subsumption. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1459\u20131464. AAAI Press, Menlo Park (2007)"},{"key":"13_CR20","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":"13_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-24750-0_2","volume-title":"Handbook on Ontologies","author":"J. Angele","year":"2004","unstructured":"Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 29\u201350. Springer, Heidelberg (2004)"},{"key":"13_CR23","unstructured":"Selman, B., Kautz, H.A.: Knowledge compilation using horn approximations. In: Proc. 9th National Conference on Artificial Intelligence (AAAI 1991), pp. 904\u2013909 (1991)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88737-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T20:04:54Z","timestamp":1551643494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88737-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540887362","9783540887379"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88737-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}