{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:48:47Z","timestamp":1725731327428},"publisher-location":"New York, NY","reference-count":18,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461468790"},{"type":"electronic","value":"9781461468806"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-6880-6_15","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T12:08:16Z","timestamp":1371038896000},"page":"169-180","source":"Crossref","is-referenced-by-count":1,"title":["Consequence-Based Procedure for Description Logics with Self-Restriction"],"prefix":"10.1007","author":[{"given":"Cong","family":"Wang","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,2]]},"reference":[{"key":"15_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: IJCAI, pp.\u00a0364\u2013369, 2005"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"15_CR2","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, Cambridge (2003)"},{"issue":"6","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1145\/293347.293352","volume":"45","author":"L. Bachmair","year":"1998","unstructured":"Bachmair, L., Ganzinger, H.: Ordered chaining calculi for first-order theories of transitive relations. J. ACM 45(6), 1007\u20131049 (1998)","journal-title":"J. ACM"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson and Voronkov [14], pp.\u00a019\u201399","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"15_CR5","first-page":"57","volume-title":"KR","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp.\u00a057\u201367. AAAI Press, Atlanta, Georgia (2006)"},{"key":"15_CR6","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. In: IJCAI, pp.\u00a0448\u2013453, 2005"},{"key":"15_CR7","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn shiq ontologies. In: Boutilier, C. (ed.) IJCAI, pp.\u00a02040\u20132045, 2009"},{"key":"15_CR8","volume-title":"KR","author":"Y. Kazakov","year":"2012","unstructured":"Kazakov, Y., Kroetzsch, M., Simancik, F.: Practical reasoning with nominals in the el family of description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press, Atlanta, Georgia (2012)"},{"key":"15_CR9","first-page":"305","volume-title":"International Semantic Web Conference (1). Lecture Notes in Computer Science","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Simancik, F.: Concurrent classification of el ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N.F., Blomqvist, E. (eds.) International Semantic Web Conference (1). Lecture Notes in Computer Science, vol.\u00a07031, pp.\u00a0305\u2013320. Springer, New York (2011)"},{"key":"15_CR10","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. Ph.D. thesis (2006). \n                  http:\/\/www.dblp.org\/rec\/bibtex\/phd\/de\/Motik2006"},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B. Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Nieuwenhuis, R., Rubio, A.: Paramodulation-based theorem proving. In: Robinson and Voronkov [14], pp.\u00a0371\u2013443","DOI":"10.1016\/B978-044450813-3\/50009-6"},{"key":"15_CR13","volume-title":"KR","author":"M. Ortiz","year":"2010","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the horn-dl fragments of owl 1 and 2. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press, Atlanta, Georgia (2010)"},{"key":"15_CR14","unstructured":"Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press (2001). \n                  http:\/\/www.dblp.org\/rec\/bibtex\/conf\/dlog\/2003handbook"},{"key":"15_CR15","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0353. CEUR-WS.org (2008)"},{"key":"15_CR16","first-page":"362","volume-title":"JELIA. Lecture Notes in Computer Science","author":"S. Rudolph","year":"2008","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA. Lecture Notes in Computer Science, vol.\u00a05293, pp.\u00a0362\u2013374. Springer, New York (2008)"},{"key":"15_CR17","unstructured":"Simancik, F.: Elimination of complex rias without automata. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"15_CR18","first-page":"1093","volume-title":"IJCAI","author":"F. Simancik","year":"2011","unstructured":"Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Walsh, T. (ed.) IJCAI. pp.\u00a01093\u20131098. IJCAI\/AAAI, Atlanta, Georgia (2011)"}],"container-title":["Springer Proceedings in Complexity","Semantic Web and Web Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6880-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:37:48Z","timestamp":1557790668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-6880-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461468790","9781461468806"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6880-6_15","relation":{},"ISSN":["2213-8684","2213-8692"],"issn-type":[{"type":"print","value":"2213-8684"},{"type":"electronic","value":"2213-8692"}],"subject":[],"published":{"date-parts":[[2013]]}}}