{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:00Z","timestamp":1725565440512},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_21","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"234-246","source":"Crossref","is-referenced-by-count":26,"title":["Efficient Inferencing for OWL EL"],"prefix":"10.1007","author":[{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)"},{"key":"21_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Professional Book Center, pp. 364\u2013369 (2005),"},{"key":"21_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Clark, K.G., Patel-Schneider, P.F. (eds.) Proc. OWLED 2008 DC Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol.\u00a0496, CEUR-WS.org (2008)"},{"key":"21_CR4","unstructured":"Delaitre, V., Kazakov, Y.: Classifying $\\mathcal{ELH}$ ontologies in SQL databases. In: Patel-Schneider, P.F., Hoekstra, R. (eds.) Proc. OWLED 2009 Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol.\u00a0529, CEUR-WS.org (2009)"},{"key":"21_CR5","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"key":"21_CR6","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for the description logic underlying OWL\u00a0EL. Tech. Rep. 3005, Institute AIFB, Karlsruhe Institute of Technology (2010), http:\/\/www.aifb.kit.edu\/web\/Techreport3005"},{"key":"21_CR7","unstructured":"Kr\u00f6tzsch, M., Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL\u00a02 profiles. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proc. 23rd Int. Workshop on Description Logics, DL 2010 (2010)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL\u00a02. In: Sheth, et al. [12], pp. 649\u2013664","DOI":"10.1007\/978-3-540-88564-1_41"},{"key":"21_CR9","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"21_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11916277_16","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, pp. 227\u2013241. Springer, Heidelberg (2006)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Description logic reasoning with decision diagrams: Compiling $\\mathcal{SHIQ}$ to disjunctive datalog. In: Sheth, et al. [12], pp. 435\u2013450","DOI":"10.1007\/978-3-540-88564-1_28"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2008","year":"2008","unstructured":"Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.): ISWC 2008. LNCS, vol.\u00a05318. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T14:10:38Z","timestamp":1591884638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}