{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T14:35:40Z","timestamp":1776522940015,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":93,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642037535","type":"print"},{"value":"9783642037542","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03754-2_7","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T11:58:58Z","timestamp":1251719938000},"page":"255-356","source":"Crossref","is-referenced-by-count":92,"title":["Ontologies and Databases: The DL-Lite Approach"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Lembo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Poggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariano","family":"Rodriguez-Muro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Rosati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co., Reading (1995)"},{"key":"7_CR2","unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI\u00a02005), pp. 1670\u20131671 (2005)"},{"key":"7_CR3","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI\u00a02007), pp. 361\u2013366 (2007)"},{"key":"7_CR4","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. Technical Report BBKCS-09-03, School of Computer Science and Information Systems, Birbeck College, London (2009), http:\/\/www.dcs.bbk.ac.uk\/research\/techreps\/2009\/bbkcs-09-03.pdf"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proc. of the 14th Int. Symp. on Temporal Representation and Reasoning (TIME\u00a02007), pp. 11\u201322 (2007)","DOI":"10.1109\/TIME.2007.62"},{"key":"7_CR6","unstructured":"Baader, F.: Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, IJCAI 1991 (1991)"},{"key":"7_CR7","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR8","first-page":"1","volume":"57","author":"F. Baader","year":"2003","unstructured":"Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. Fundamenta Informaticae\u00a057, 1\u201333 (2003)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069(1), 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"7_CR10","unstructured":"Bechhofer, S., M\u00f6ller, R., Crowther, P.: The DIG description logic interface. In: Proc. of the 2003 Description Logic Workshop (DL\u00a02003). CEUR Electronic Workshop Proceedings, vol.\u00a081, pp. 196\u2013203 (2003), http:\/\/ceur-ws.org\/"},{"issue":"1\u20132","key":"7_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1\u20132), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"7_CR12","unstructured":"Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI 1984), pp. 34\u201337 (1984)"},{"key":"7_CR13","volume-title":"Readings in Knowledge Representation","year":"1985","unstructured":"Brachman, R.J., Levesque, H.J. (eds.): Readings in Knowledge Representation. Morgan Kaufmann, San Francisco (1985)"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science\u00a09(2), 171\u2013216 (1985)","journal-title":"Cognitive Science"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research\u00a01, 109\u2013138 (1993)","journal-title":"J. of Artificial Intelligence Research"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-45816-6_33","volume-title":"Conceptual Modeling - ER 2002","author":"A. Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the expressive power of data integration systems. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, pp. 338\u2013350. Springer, Heidelberg (2002)"},{"key":"7_CR17","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003), pp. 16\u201321 (2003)"},{"key":"7_CR18","unstructured":"Calvanese, D., De Giacomo, G.: Expressive description logics. In: Baader, et al. (eds.) [7], ch.\u00a05, pp. 178\u2013218 (2003)"},{"key":"7_CR19","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Linking data to ontologies: The description logic DL-Lite A . In: Proc. of the 2nd Int. Workshop on OWL: Experiences and Directions (OWLED\u00a02006). CEUR Electronic Workshop Proceedings, vol.\u00a0216 (2006), http:\/\/ceur-ws.org\/"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-88594-8_2","volume-title":"Semantics in Data and Knowledge Bases","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R., Ruzzi, M.: Data integration through ${\\textit{DL-lite}_{\\mathcal A}}$ ontologies. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 26\u201347. Springer, Heidelberg (2008)"},{"key":"7_CR21","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI\u00a02005), pp. 602\u2013607 (2005)"},{"key":"7_CR22","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u00a02006), pp. 260\u2013270 (2006)"},{"key":"7_CR23","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02007), pp. 274\u2013279 (2007)"},{"issue":"3","key":"7_CR24","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., 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"},{"key":"7_CR25","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-based identification constraints in description logics. In: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u00a02008), pp. 231\u2013241 (2008)"},{"key":"7_CR26","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 84\u201389 (1999)"},{"key":"7_CR27","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Answering queries using views over description logics knowledge bases. In: Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI\u00a02000), pp. 386\u2013391 (2000)"},{"key":"7_CR28","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: 2ATAs make DLs easy. In: Proc. of the 2002 Description Logic Workshop (DL\u00a02002). CEUR Electronic Workshop Proceedings, vol.\u00a053, pp. 107\u2013118 (2002), http:\/\/ceur-ws.org\/"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45632-5_2","volume-title":"Computational Logic: Logic Programming and Beyond","author":"D. Calvanese","year":"2002","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Description logics for information integration. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol.\u00a02408, pp. 41\u201360. Springer, Heidelberg (2002)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.1016\/B978-044450813-3\/50025-4","volume-title":"Handbook of Automated Reasoning, ch.\u00a023","author":"D. Calvanese","year":"2001","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in expressive description logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch.\u00a023, vol.\u00a0II, pp. 1581\u20131634. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"7_CR31","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","volume":"11","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research\u00a011, 199\u2013240 (1999)","journal-title":"J. of Artificial Intelligence Research"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proc. of the 9th ACM Symp. on Theory of Computing (STOC 1977), pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"7_CR33","unstructured":"Chen, C., Haarslev, V., Wang, J.: LAS: Extending Racer by a Large ABox Store. In: Proc. of the 2005 Description Logic Workshop (DL\u00a02005). CEUR Electronic Workshop Proceedings, vol.\u00a0147 (2005), http:\/\/ceur-ws.org\/"},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/78935.78937","volume":"37","author":"S.S. Cosmadakis","year":"1990","unstructured":"Cosmadakis, S.S., Kanellakis, P.C., Vardi, M.: Polynomial-time implication problems for unary inclusion dependencies. J. of the ACM\u00a037(1), 15\u201346 (1990)","journal-title":"J. of the ACM"},{"key":"7_CR35","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI\u00a02006), pp. 1271\u20131276 (2006)"},{"key":"7_CR36","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI\u00a02007), pp. 403\u2013408 (2007)"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-0-387-35561-0_20","volume-title":"Database Semantic: Semantic Issues in Multimedia Systems, ch.\u00a020","author":"S. Decker","year":"1999","unstructured":"Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: Meersman, R., Tari, Z., Stevens, S. (eds.) Database Semantic: Semantic Issues in Multimedia Systems, ch.\u00a020, pp. 351\u2013370. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F.M. Donini","year":"1997","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Information and Computation\u00a0134, 1\u201358 (1997)","journal-title":"Information and Computation"},{"issue":"4","key":"7_CR39","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"F.M. Donini","year":"1994","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: From subsumption to instance checking. J. of Logic and Computation\u00a04(4), 423\u2013452 (1994)","journal-title":"J. of Logic and Computation"},{"key":"7_CR40","volume-title":"Computers and Intractability \u2014 A guide to NP-completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability \u2014 A guide to NP-completeness. W. H. Freeman and Company, San Francisco (1979)"},{"issue":"4","key":"7_CR41","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1142\/S0218843000000181","volume":"9","author":"F. Goasdoue","year":"2000","unstructured":"Goasdoue, F., Lattes, V., Rousset, M.-C.: The use of CARIN language and algorithms for information integration: The Picsel system. Int. J. of Cooperative Information Systems\u00a09(4), 383\u2013401 (2000)","journal-title":"Int. J. of Cooperative Information Systems"},{"issue":"5\/6","key":"7_CR42","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T. Gruber","year":"1995","unstructured":"Gruber, T.: Towards principles for the design of ontologies used for knowledge sharing. Int. J. of Human and Computer Studies\u00a043(5\/6), 907\u2013928 (1995)","journal-title":"Int. J. of Human and Computer Studies"},{"issue":"2","key":"7_CR43","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specification. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"7_CR44","series-title":"Frontiers in Artificial Intelligence","first-page":"3","volume-title":"Proc. of the Int. Conf. on Formal Ontology in Information Systems (FOIS 1998)","author":"N. Guarino","year":"1998","unstructured":"Guarino, N.: Formal ontology in information systems. In: Proc. of the Int. Conf. on Formal Ontology in Information Systems (FOIS 1998). Frontiers in Artificial Intelligence, pp. 3\u201315. IOS Press, Amsterdam (1998)"},{"key":"7_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"issue":"4","key":"7_CR46","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: A survey. J. of Very Large Database\u00a010(4), 270\u2013294 (2001)","journal-title":"J. of Very Large Database"},{"issue":"2","key":"7_CR47","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.920600","volume":"16","author":"J. Heflin","year":"2001","unstructured":"Heflin, J., Hendler, J.: A portrait of the Semantic Web in action. IEEE Intelligent Systems\u00a016(2), 54\u201359 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR48","series-title":"Semantic Web And Beyond Computing for Human Experience","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-0-387-69900-4_4","volume-title":"Ontology Management, Semantic Web, Semantic Web Services, and Business Applications","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., Ma, L., Anicic, D., Ma, Z., Steinmetz, N., Pan, Y., Mei, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Schonberg, E., Srinivas, K., Feier, C., Hench, G., Wetzstein, B., Keller, U.: Ontology reasoning with large data repositories. In: Hepp, M., De Leenheer, P., de Moor, A., Sure, Y. (eds.) Ontology Management, Semantic Web, Semantic Web Services, and Business Applications. Semantic Web And Beyond Computing for Human Experience, vol.\u00a07, pp. 89\u2013128. Springer, Heidelberg (2008)"},{"key":"7_CR49","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636\u2013647 (1998)"},{"key":"7_CR50","unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proc. of the 2004 Description Logic Workshop (DL\u00a02004). CEUR Electronic Workshop Proceedings, vol.\u00a0104 (2004), http:\/\/ceur-ws.org\/"},{"issue":"1","key":"7_CR51","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The making of a web ontology language. J. of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"issue":"3","key":"7_CR52","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. of Logic and Computation\u00a09(3), 385\u2013410 (1999)","journal-title":"J. of Logic and Computation"},{"issue":"3","key":"7_CR53","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for $\\mathcal{SHOIQ}$ . J. of Automated Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"7_CR54","first-page":"193","volume-title":"Databases","author":"R. Hull","year":"1988","unstructured":"Hull, R.: A survey of theoretical research on typed complex database objects. In: Paredaens, J. (ed.) Databases, pp. 193\u2013256. Academic Press, London (1988)"},{"key":"7_CR55","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005), pp. 466\u2013471 (2005)"},{"issue":"1","key":"7_CR56","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"D.S. Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. of Computer and System Sciences\u00a028(1), 167\u2013189 (1984)","journal-title":"J. of Computer and System Sciences"},{"key":"7_CR57","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G.: Schema mappings, data exchange, and metadata management. In: Proc. of the 24rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u00a02005), pp. 61\u201375 (2005)","DOI":"10.1145\/1065167.1065176"},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G., Vardi, M.Y.: Conjunctive-query containment and constraint satisfaction. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1998), pp. 205\u2013213 (1998)","DOI":"10.1145\/275487.275511"},{"key":"7_CR59","unstructured":"Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M.: Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI\u00a02009 (2009)"},{"key":"7_CR60","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u00a02008), pp. 285\u2013295 (2008)"},{"key":"7_CR61","volume-title":"Theory of Computation","author":"D. Kozen","year":"2006","unstructured":"Kozen, D.: Theory of Computation. Springer, Heidelberg (2006)"},{"key":"7_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-75560-9_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Krisnadhi","year":"2007","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $\\mathcal{EL}$ family of description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS, vol.\u00a04790, pp. 333\u2013347. Springer, Heidelberg (2007)"},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u00a02002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"7_CR64","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Data exchange and incomplete information. In: Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u00a02006), pp. 60\u201369 (2006)","DOI":"10.1145\/1142351.1142360"},{"key":"7_CR65","volume-title":"Ontology learning for the Semantic Web","author":"A. Maedche","year":"2003","unstructured":"Maedche, A.: Ontology learning for the Semantic Web. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"7_CR66","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Qian, X.: A logical semantics for object-oriented databases. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 89\u201398 (1993)","DOI":"10.1145\/170035.170057"},{"key":"7_CR67","volume-title":"Mind Design","author":"M. Minsky","year":"1981","unstructured":"Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind Design. The MIT Press, Cambridge (1981); A longer version appeared in The Psychology of Computer Vision (1975), Republished in [13]"},{"key":"7_CR68","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, R., Haarslev, V.: Description logic systems. In: Baader, et al. (eds.) [7], ch.\u00a08, pp. 282\u2013305","DOI":"10.1017\/CBO9780511711787.010"},{"issue":"3","key":"7_CR69","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B. Nebel","year":"1988","unstructured":"Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence\u00a034(3), 371\u2013383 (1988)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR70","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1041410.1041421","volume":"33","author":"N.F. Noy","year":"2004","unstructured":"Noy, N.F.: Semantic integration: A survey of ontology-based approaches. SIGMOD Record\u00a033(4), 65\u201370 (2004)","journal-title":"SIGMOD Record"},{"issue":"1","key":"7_CR71","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning\u00a041(1), 61\u201398 (2008)","journal-title":"J. of Automated Reasoning"},{"key":"7_CR72","unstructured":"Pan, J.Z., Stamou, G.B., Stoilos, G., Thomas, E.: Expressive querying over fuzzy DL-Lite ontologies. In: Proc. of the 2007 Description Logic Workshop (DL\u00a02007). CEUR Electronic Workshop Proceedings, vol.\u00a0250 (2007), http:\/\/ceur-ws.org\/"},{"key":"7_CR73","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley Publ. Co., Reading (1994)"},{"issue":"3","key":"7_CR74","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/122296.122313","volume":"2","author":"P.F. Patel-Schneider","year":"1991","unstructured":"Patel-Schneider, P.F., McGuinness, D.L., Brachman, R.J., Resnick, L.A., Borgida, A.: The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bull.\u00a02(3), 108\u2013113 (1991)","journal-title":"SIGART Bull."},{"key":"7_CR75","first-page":"133","volume":"X","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics\u00a0X, 133\u2013173 (2008)","journal-title":"J. on Data Semantics"},{"key":"7_CR76","unstructured":"Poggi, A., Rodriguez, M., Ruzzi, M.: Ontology-based database access with DIG-Mastro and the OBDA Plugin for Prot\u00e9g\u00e9. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of the 4th Int. Workshop on OWL: Experiences and Directions, OWLED\u00a02008\u00a0DC (2008)"},{"key":"7_CR77","unstructured":"Racer Systems GmbH & Co. KG. Release notes for RacerPro 1.9.2 beta, http:\/\/www.sts.tu-harburg.de\/~r.f.moeller\/racer\/Racer-1-9-2-beta-Release-Notes\/release-notes-1-9-2se8.html (last access, July 2008)"},{"key":"7_CR78","doi-asserted-by":"crossref","unstructured":"Reingold, O.: Undirected connectivity in log-space. J. of the ACM\u00a055(4) (2008)","DOI":"10.1145\/1391289.1391291"},{"key":"7_CR79","first-page":"119","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 119\u2013140. Plenum Publ. Co., New York (1978)"},{"key":"7_CR80","unstructured":"Rodr\u00edguez-Muro, M., Calvanese, D.: An OBDA extension to the DIG\u00a01.1 Interface (July 2008), http:\/\/www.inf.unibz.it\/~rodriguez\/OBDA\/dig-11-obda\/"},{"key":"7_CR81","unstructured":"Rodriguez-Muro, M., Calvanese, D.: Towards an open framework for ontology based data access with Prot\u00e9g\u00e9 and DIG\u00a01.1. In: Proc. of the 5th Int. Workshop on OWL: Experiences and Directions, OWLED\u00a02008 (2008)"},{"key":"7_CR82","first-page":"286","volume-title":"Proc. of the ICDE Workshop on Information Integration Methods, Architectures, and Systems (IIMAS\u00a02008)","author":"M. Rodriguez-Muro","year":"2008","unstructured":"Rodriguez-Muro, M., Lubyte, L., Calvanese, D.: Realizing ontology based data access: A plug-in for Prot\u00e9g\u00e9. In: Proc. of the ICDE Workshop on Information Integration Methods, Architectures, and Systems (IIMAS\u00a02008), pp. 286\u2013289. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"7_CR83","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), pp. 466\u2013471 (1991)"},{"issue":"1","key":"7_CR84","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"7_CR85","unstructured":"Sirin, E., Parsia, B.: Pellet system description. In: Proc. of the 2006 Description Logic Workshop (DL\u00a02006). CEUR Electronic Workshop Proceedings, vol.\u00a0189 (2006), http:\/\/ceur-ws.org\/"},{"key":"7_CR86","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Technical report, University of Maryland Institute for Advanced Computer Studies, UMIACS (2005)"},{"key":"7_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/11853886_36","volume-title":"Logics in Artificial Intelligence","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: Towards top-k query answering in description logics: The case of DL-lite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS, vol.\u00a04160, pp. 439\u2013451. Springer, Heidelberg (2006)"},{"issue":"4","key":"7_CR88","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1041410.1041420","volume":"33","author":"M. Uschold","year":"2004","unstructured":"Uschold, M., Gr\u00fcninger, M.: Ontologies and semantics for seamless connectivity. SIGMOD Record\u00a033(4), 58\u201364 (2004)","journal-title":"SIGMOD Record"},{"key":"7_CR89","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-1-4615-5643-5_10","volume-title":"Logics for Databases and Information Systems","author":"R. Meyden van der","year":"1998","unstructured":"van der Meyden, R.: Logical approaches to incomplete information. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 307\u2013356. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"7_CR90","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: The complexity of relational query languages. In: Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC 1982), pp. 137\u2013146 (1982)","DOI":"10.1145\/800070.802186"},{"key":"7_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"M.Y. Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 628\u2013641. Springer, Heidelberg (1998)"},{"key":"7_CR92","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences\u00a032, 183\u2013221 (1986)","journal-title":"J. of Computer and System Sciences"},{"key":"7_CR93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03927-4","volume-title":"Introduction to Circuit Complexity: A Uniform Approach","author":"H. Vollmer","year":"1999","unstructured":"Vollmer, H.: Introduction to Circuit Complexity: A Uniform Approach. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03754-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:44:16Z","timestamp":1558500256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03754-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037535","9783642037542"],"references-count":93,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03754-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}