{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:46Z","timestamp":1725488926478},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_1","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T07:18:26Z","timestamp":1186903106000},"page":"1-15","source":"Crossref","is-referenced-by-count":13,"title":["Reasoning with Expressive Description Logics: Theory and Practice"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"1_CR1","unstructured":"F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems, or: Making KRIS get a move on. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201992), pages 270\u2013281, 1992."},{"key":"1_CR2","first-page":"109","volume":"4","author":"F. Baader","year":"1994","unstructured":"F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management, 4:109\u2013132, 1994.","journal-title":"Applied Artificial Intelligence. Special Issue on Knowledge Base Management"},{"key":"1_CR3","unstructured":"F. Baader and P. Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201991), pages 452\u2013457, 1991."},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F. Baader","year":"1999","unstructured":"F. Baader, R. K\u00fcsters, A. Borgida, and D. L. McGuinness. Matching in description logics. J. of Logic and Computation, 9(3):411\u2013447, 1999.","journal-title":"J. of Logic and Computation"},{"key":"1_CR5","unstructured":"A. B. Baker. Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD thesis, University of Oregon, 1995."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens. OilEd: a reason-able ontology editor for the semantic web. In Proc. of the Joint German\/Austrian Conf. on Artificial Intelligence (KI 2001), number 2174 in Lecture Notes in Artificial Intelligence, pages 396\u2013408. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45422-5_28"},{"key":"1_CR7","unstructured":"T. Berners-Lee. Weaving the Web. Harpur, San Francisco, 1999."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"P. Blackburn and J. Seligman. Hybrid languages. J. of Logic, Language and Information, 4:251\u2013272, 1995.","journal-title":"J. of Logic, Language and Information"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"A. Borgida and P. F. Patel-Schneider. A semantics and complete algorithm for sub-sumption in the CLASSIC description logic. J. of Artificial Intelligence Research, 1:277\u2013308, 1994.","journal-title":"J. of Artificial Intelligence Research"},{"key":"1_CR10","unstructured":"S. Brandt, R. K\u00fcsters, and A.-Y. Turhan. Approximation and difference in description logics. In Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u20192002), pages 203\u2013214, 2002."},{"key":"1_CR11","unstructured":"S. Brandt and A.-Y. Turhan. Using non-standard inferences in description logics \u2014 what does it buy me? In Proc. of KI-2001 Workshop on Applications of Description Logics (KIDLWS\u201901), volume 44 of CEUR ( http:\/\/ceur-ws.org\/ ), 2001."},{"key":"1_CR12","unstructured":"P. Bresciani, E. Franconi, and S. Tessaris. Implementing and testing expressive description logics: Preliminary report.In Proc. of the 1995 Description Logic Workshop (DL\u201995), pages 131\u2013139, 1995."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u201998), pages 149\u2013158, 1998.","DOI":"10.1145\/275487.275504"},{"key":"1_CR14","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. Answering queries using views in description logics. In Proc. of the 1999 Description Logic Workshop (DL\u201999), pages 9\u201313. CEUR Electronic Workshop Proceedings, http:\/\/ceur-ws.org\/Vol-22\/ , 1999."},{"key":"1_CR15","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description logic framework for information integration. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 2\u201313, 1998."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Information integration: Conceptual modeling and reasoning support. In Proc. of the 6th Int. Conf. on Cooperative Information Systems (CoopIS\u201998), pages 280\u2013291, 1998.","DOI":"10.1109\/COOPIS.1998.706234"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"S. Decker, F. van Harmelen, J. Broekstra, M. Erdmann, D. Fensel, I. Horrocks, M. Klein, and S. Melnik. The semantic web: The roles of XML and RDF. IEEE Internet Computing, 4(5), 2000.","DOI":"10.1109\/4236.877487"},{"key":"1_CR18","first-page":"151","volume-title":"Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u2019 91)","author":"F. M. Donini","year":"1991","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages.In J. Allen, R. Fikes, and E. Sandewall, editors, Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u2019 91), pages 151\u2013162. Morgan Kaufmann, Los Altos, 1991."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F. M. Donini","year":"1997","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. Information and Computation, 134:1\u201358, 1997.","journal-title":"Information and Computation"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. Klein. OIL in a nutshell. In R. Dieng, editor, Proc. of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW\u201900), number 1937 in Lecture Notes in Artificial Intelligence, pages 1\u201316. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-39967-4_1"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D. Fensel","year":"2001","unstructured":"D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuinness, and P. 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":"1_CR22","unstructured":"E. Gr\u00e4del, M. Otto, and E. Rosen. Two-variable logic with counting is decidable. In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS\u201997), pages 306\u2013317. IEEE Computer Society Press, 1997."},{"key":"1_CR23","unstructured":"V. Haarslev and R. M\u00f6ller. High performance reasoning with very large knowledge bases: A practical case study. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), 2001."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"V. Haarslev and R. M\u00f6ller. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), 2001.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0004-3702(94)90071-X","volume":"68","author":"J. Heinsohn","year":"1994","unstructured":"J. Heinsohn, D. Kudenko, B. Nebel, and H.-J. Profitlich. An empirical analysis of terminological representation systems. Artificial Intelligence, 68:367\u2013397, 1994.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"1_CR26","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/5254.895857","volume":"15","author":"J. Hendler","year":"2000","unstructured":"J. Hendler and D. L. McGuinness. The darpa agent markup language\u201d. IEEE Intelligent Systems, 15(6):67\u201373, 2000.","journal-title":"IEEE Intelligent Systems"},{"key":"1_CR27","unstructured":"B. Hollunder and F. Baader. Qualifying number restrictions in concept languages. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201991), pages 335\u2013346, 1991."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"I. Horrocks. The FaCT system. In H. de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX\u201998), volume 1397 of Lecture Notes in Artificial Intelligence, pages 307\u2013312. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-69778-0_30"},{"key":"1_CR29","unstructured":"I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u2019 98), pages 636\u2013647, 1998."},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"I. Horrocks and P. 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":"1_CR31","unstructured":"I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002), 2002. To appear."},{"key":"1_CR32","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"I. Horrocks and U. Sattler. Ontology reasoning in the $$ \\mathcal{S}\\mathcal{H}\\mathcal{O}\\mathcal{Q}{\\text{(D)}} $$ description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001). Morgan Kaufmann, Los Altos, 2001."},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR\u201999), number 1705 in Lecture Notes in Artificial Intelligence, pages 161\u2013180. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48242-3_11"},{"issue":"3","key":"1_CR34","first-page":"239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8(3):239\u2013264, 2000.","journal-title":"J. of the Interest Group in Pure and Applied Logic"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic $$ \\mathcal{S}\\mathcal{H}\\mathcal{I}\\mathcal{Q} $$ . In Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000), number 1831 in Lecture Notes in Artificial Intelligence, pages 482\u2013496. Springer-Verlag, 2000.","DOI":"10.1007\/10721959_39"},{"key":"1_CR36","unstructured":"I. Horrocks and S. Tessaris. A conjunctive query language for description logic aboxes. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 399\u2013404, 2000."},{"key":"1_CR37","unstructured":"I. Horrocks, S. Tessaris, U. Sattler, and S. Tobies. How to decide query containment under constraints using a description logic.In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000). CEUR ( http:\/\/ceur-ws.org\/ ), 2000."},{"key":"1_CR38","unstructured":"I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u20192000), pages 285\u2013296, 2000."},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"R. K\u00fcsters. Non-Standard Inferences in Description Logics, volume 2100 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2001.","DOI":"10.1007\/3-540-44613-3"},{"key":"1_CR40","unstructured":"D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS, Frontiers in Artificial Intelligence and Applications. IOS-press, 1998."},{"key":"1_CR41","unstructured":"D. L. McGuinness. Ontologies for electronic commerce. In Proc. of the AAAI\u2019 99 Artificial Intelligence for Electronic Commerce Workshop, 1999."},{"key":"1_CR42","unstructured":"D. L. McGuinness, R. Fikes, J. Rice, and S. Wilder. The Chimaera ontology environment. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), 2000."},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"D. L. McGuinness and J. R. Wright. An industrial strength description logic-based configuration platform. IEEE Intelligent Systems, pages 69\u201377, 1998.","DOI":"10.1109\/5254.708435"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"S. McIlraith, T. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46\u201353, March\/April 2001.","DOI":"10.1109\/5254.920599"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235\u2013249, 1990.","journal-title":"Artificial Intelligence"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF00244513","volume":"4","author":"F. Oppacher","year":"1988","unstructured":"F. Oppacher and E. Suen. HARP: A tableau-based theorem prover. J. of Automated Reasoning, 4:69\u2013100, 1988.","journal-title":"J. of Automated Reasoning"},{"key":"1_CR47","unstructured":"P. F. Patel-Schneider. DLP system description. In Proc. of the 1998 Description Logic Workshop (DL\u201998), pages 87\u201389. CEUR Electronic Workshop Proceedings, http:\/\/ceur-ws.org\/Vol-11\/ , 1998."},{"key":"1_CR48","unstructured":"P. F. Patel-Schneider. DLP. In Proc. of the 1999 Description Logic Workshop (DL\u201999), pages 9\u201313. CEUR Electronic Workshop Proceedings, http:\/\/ceur-ws.org\/Vol-22\/ , 1999."},{"key":"1_CR49","unstructured":"M.-C. Rousset. Backward reasoning in ABoxes for query answering. In Proc. of the 1999 Description Logic Workshop (DL\u201999), pages 18\u201322. CEUR Electronic Workshop Proceedings, http:\/\/ceur-ws.org\/Vol-22\/ , 1999."},{"key":"1_CR50","unstructured":"P.-H. Speel, F. van Raalte, P. E. van der Vet, and N. J. I. Mars. Runtime and memory usage performance of description logics. In G. Ellis, R. A. Levinson, A. Fall, and V. Dahl, editors, Knowledge Retrieval, Use and Storage for Efficiency: Proc. of the 1st Int. KRUSE Symposium, pages 13\u201327, 1995."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:55:57Z","timestamp":1556754957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}