{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:38:43Z","timestamp":1778215123821,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642331572","type":"print"},{"value":"9783642331589","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33158-9_4","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T05:54:23Z","timestamp":1345269263000},"page":"112-183","source":"Crossref","is-referenced-by-count":33,"title":["OWL 2 Profiles: An Introduction to Lightweight Ontology Languages"],"prefix":"10.1007","author":[{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2098","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research\u00a036, 1\u201369 (2098)","journal-title":"J. of Artificial Intelligence Research"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03754-2_1","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"F. Baader","year":"2009","unstructured":"Baader, F.: Description Logics. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol.\u00a05689, pp. 1\u201339. Springer, Heidelberg (2009)"},{"key":"4_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proc. 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005, pp. 364\u2013369. Professional Book Center (2005)"},{"key":"4_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 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":"4_CR5","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"4_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL \u2014 A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"4_CR7","unstructured":"Brickley, D., Guha, R.V. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), \n                  \n                    http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. of the ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"J. of the ACM"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Glimm, B., Kr\u00f6tzsch, M.: SPARQL beyond subgraph matching. In: Patel-Schneider, et al. (eds.) [36], pp. 241\u2013256","DOI":"10.1007\/978-3-642-17746-0_16"},{"key":"4_CR11","unstructured":"Glimm, B., Ogbuji, C. (eds.): SPARQL 1.1 Entailment Regimes. W3C Working Draft (January 05, 2012), \n                  \n                    http:\/\/www.w3.org\/TR\/sparql11-entailment\/"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: Rewriting and optimization. In: Abiteboul, S., B\u00f6hm, K., Koch, C., Tan, K.L. (eds.) Proc. 27th Int. Conf. on Data Engineering (ICDE 2011), pp. 2\u201313. IEEE Computer Society (2011)","DOI":"10.1109\/ICDE.2011.5767965"},{"key":"4_CR13","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL\u00a02 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC (2009)","DOI":"10.1201\/9781420090512"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.4018\/jswis.2009040103","volume":"5","author":"A. Hogan","year":"2009","unstructured":"Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the Web. Int. J. of Semantic Web Inf. Syst.\u00a05(2), 49\u201390 (2009)","journal-title":"Int. J. of Semantic Web Inf. Syst."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples. In: Patel-Schneider, et al. (eds.) [36], pp. 337\u2013353","DOI":"10.1007\/978-3-642-17746-0_22"},{"issue":"2\u20133","key":"4_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. of Web Semantics\u00a03(2\u20133), 79\u2013115 (2005)","journal-title":"J. of Web Semantics"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent Classification of \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 Ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"4_CR19","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Unchain my \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 reasoner. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings, vol.\u00a0745, CEUR-WS.org (2011)"},{"key":"4_CR20","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: ELK: a reasoner for OWL EL ontologies. Tech. rep. (2012), \n                  \n                    http:\/\/code.google.com\/p\/elk-reasoner\/wiki\/Publications"},{"key":"4_CR21","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Practical Reasoning with Nominals in the EL Family of Description Logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 264\u2013274. AAAI Press (2012)"},{"key":"4_CR22","unstructured":"Klyne, G., Carroll, J.J. (eds.): Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 10, 2004), \n                  \n                    http:\/\/www.w3.org\/TR\/rdf-concepts\/"},{"key":"4_CR23","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2010, pp. 247\u2013257. AAAI Press (2010)"},{"key":"4_CR24","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Walsh, T. (ed.) Proc. 22nd Int. Joint Conf. on Artificial Intelligence, IJCAI 2011, pp. 2656\u20132661. AAAI Press\/IJCAI (2011)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Proc. 19th Int. Conf. on World Wide Web, WWW 2010, pp. 531\u2013540. ACM (2010)","DOI":"10.1145\/1772690.1772745"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-76298-0_23","volume-title":"The Semantic Web","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Conjunctive Queries for a Tractable Fragment of OWL\u00a01.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 310\u2013323. Springer, Heidelberg (2007)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexities of Horn description logics. ACM Trans. Comp. Log (to appear, 2012) preprint, \n                  \n                    http:\/\/tocl.acm.org\/accepted.html","DOI":"10.1145\/2422085.2422087"},{"key":"4_CR28","unstructured":"Kr\u00f6tzsch, M., Siman\u010d\u00edk, F., Horrocks, I.: A description logic primer. CoRR abs\/1201.4089 (2012)"},{"key":"4_CR29","unstructured":"Lawley, M.J., Bousquet, C.: Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL 2 EL reasoner. In: Taylor, K., Meyer, T., Orgun, M. (eds.) Proc. 6th Australasian Ontology Workshop, IAOA 2010. Conferences in Research and Practice in Information Technology, vol.\u00a0122, pp. 45\u201349. Australian Computer Society Inc. (2010)"},{"key":"4_CR30","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 using a relational database system. In: Boutilier, C. (ed.) Proc. 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009, pp. 2070\u20132075. IJCAI (2009)"},{"key":"4_CR31","unstructured":"Mendez, J., Ecke, A., Turhan, A.Y.: Implementing completion-based inferences for the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                -family. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proceedings of the International Description Logics Workshop, vol.\u00a0745, CEUR (2011)"},{"key":"4_CR32","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), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"4_CR33","series-title":"LNCS","first-page":"1","volume-title":"Reasoning Web 2012","author":"M. Ortiz","year":"2012","unstructured":"Ortiz, M., Simkus, M.: Reasoning and Query Answering in Description Logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol.\u00a07487, pp. 1\u201353. Springer, Heidelberg (2012)"},{"key":"4_CR34","unstructured":"OWL Working Group, W.: OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"4_CR35","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley (1994)"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web \u2013 ISWC 2010","year":"2010","unstructured":"Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.): ISWC 2010, Part I. LNCS, vol.\u00a06496. Springer, Heidelberg (2010)"},{"key":"4_CR37","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: A comparison of query rewriting techniques for DL-lite. In: Cuenca Grau, B., Horrocks, I., Motik, B., Sattler, U. (eds.) CEUR Workshop Proceedings of Proc. 22nd Int. Workshop on Description Logics (DL 2009), vol.\u00a0477, CEUR-WS.org (2009)"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-23032-5_2","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data","author":"S. Rudolph","year":"2011","unstructured":"Rudolph, S.: Foundations of Description Logics. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 76\u2013136. Springer, Heidelberg (2011)"},{"key":"4_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-74615-7_2","volume-title":"Reasoning Web","author":"U. Sattler","year":"2007","unstructured":"Sattler, U.: Reasoning in Description Logics: Basics, Extensions, and Relatives. In: Antoniou, G., A\u00dfmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol.\u00a04636, pp. 154\u2013182. Springer, Heidelberg (2007)"},{"key":"4_CR40","unstructured":"Schneider, M. (ed.): OWL\u00a02 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"key":"4_CR41","unstructured":"Sipser, M.: Introduction to the Theory of Computation. Thomson Course Technology, International edition of second edn. (2005)"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: Proc. Int. Conf. on Parallel Processing (ICPP 2008), pp. 75\u201382. IEEE Computer Society (2008)","DOI":"10.1109\/ICPP.2008.64"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: WebPIE: a Web-scale parallel inference engine using MapReduce. J. of Web Semantics (2011) (in press, accepted manuscript), Preprint, \n                  \n                    http:\/\/www.cs.vu.nl\/~frankh\/postscript\/JWS11.pdf","DOI":"10.2139\/ssrn.3198932"},{"key":"4_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-04930-9_43","volume-title":"The Semantic Web - ISWC 2009","author":"J. Weaver","year":"2009","unstructured":"Weaver, J., Hendler, J.A.: Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 682\u2013697. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Advanced Query Answering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33158-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T23:19:04Z","timestamp":1557184744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33158-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331572","9783642331589"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33158-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}