{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204612},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437604"},{"type":"electronic","value":"9783540480051"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48005-6_15","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T17:15:43Z","timestamp":1179594943000},"page":"177-191","source":"Crossref","is-referenced-by-count":54,"title":["Querying the Semantic Web: A Formal Approach"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Tessaris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"15_CR1","unstructured":"Franz Baader and Philipp Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of IJCAI-91, pages 452\u2013457, 1991."},{"key":"15_CR2","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"Tim Berners-Lee. Weaving the Web. Harpur, San Francisco, 1999."},{"issue":"1\u20132","key":"15_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Alexander Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1\u20132):353\u2013367, 1996.","journal-title":"Artificial Intelligence"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"J. Broekstra, A. Kampman, and F. van Harmelen. Sesame: An architecture for storing and querying RDF data and schema information. In H. Lieberman D. Fensel, J. Hendler and W. Wahlster, editors, Semantics for the WWW. MIT Press, 2001.","DOI":"10.1007\/3-540-48005-6_7"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS-98, pages 149\u2013158, 1998.","DOI":"10.1145\/275487.275504"},{"key":"15_CR6","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Answering queries using views over description logics knowledge bases. In Proc. of AAAI 2000, pages 386\u2013391, 2000."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modeling. In Jan Chomicki and G\u00fcnter Saake, editors, Logics for Databases and Information Systems, pages 229\u2013264. Kluwer Academic Publisher, 1998.","DOI":"10.1007\/978-1-4615-5643-5_8"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F. M. Donini","year":"1997","unstructured":"Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The complexity of concept languages. Information and Computation, 134:1\u201358, 1997.","journal-title":"Information and Computation"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D. Fensel","year":"2001","unstructured":"Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38\u201345, 2001.","journal-title":"IEEE Intelligent Systems"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Volker Haarslev and Ralf M\u00f6ller. RACER system description. In Proc. of IJCAR-01, 2001.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"15_CR11","unstructured":"I. Horrocks and P. Patel-Schneider. The generation of DAML+OIL. In Proc. of DL 2001, pages 30\u201335, 2001."},{"key":"15_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Proc. of CADE-2000","author":"I. Horrocks","year":"2000","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic $$ \\mathcal{S}\\mathcal{H}\\mathcal{I}\\mathcal{Q} $$ . In David MacAllester, editor, Proc. of CADE-2000, number 1831 in LNCS, pages 482\u2013496. Springer-Verlag, 2000."},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Ian Horrocks and Peter F. Patel-Schneider. Optimizing description logic subsumption. J. of Logic and Computation, 9(3):267\u2013293, 1999.","journal-title":"J. of Logic and Computation"},{"key":"15_CR14","unstructured":"Ian Horrocks and Ulrike Sattler. Ontology reasoning in the $$ \\mathcal{S}\\mathcal{H}\\mathcal{I}\\mathcal{Q} $$ (D) description logic. In Proc. of IJCAI-01. Morgan Kaufmann, 2001."},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-44404-1_21","volume-title":"Logic for Programming and Automated Reasoning (LPAR 2000)","author":"I. Horrocks","year":"2000","unstructured":"Ian Horrocks, Ulrike Sattler, Sergio Tessaris, and Stephan Tobies. How to decide query containment under constraints using a description logic. In Logic for Programming and Automated Reasoning (LPAR 2000), volume 1955 of LNCS, pages 326\u2013343. Springer, 2000."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of LPAR\u201999, number 1705 in LNAI, pages 161\u2013180. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48242-3_11"},{"key":"15_CR17","unstructured":"Ian Horrocks and Sergio Tessaris. A conjunctive query language for description logic aboxes. In Proc. of AAAI 2000, pages 399\u2013404, 2000."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Deborah L. McGuinness and Jon R. Wright. An industrial strength description logic-based configuration platform. IEEE Intelligent Systems, pages 69\u201377, 1998.","DOI":"10.1109\/5254.708435"},{"issue":"1","key":"15_CR19","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":"Manfred Schmidt-Schau\u00df and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"15_CR20","unstructured":"Sergio Tessaris. Querying expressive dls. In Proc. of DL 2001, 2001."},{"key":"15_CR21","unstructured":"Sergio Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, 2001."},{"key":"15_CR22","unstructured":"Sergio Tessaris and Graham Gough. Abox reasoning with transitive roles and axioms. In Proc. of DL\u201999, 1999."}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2014 ISWC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48005-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:43:16Z","timestamp":1556415796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48005-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437604","9783540480051"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48005-6_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}