{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T23:20:34Z","timestamp":1791069634737,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433248","type":"print"},{"value":"9783540458760","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45876-x_2","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:28:28Z","timestamp":1181183308000},"page":"2-13","source":"Crossref","is-referenced-by-count":36,"title":["DAML+OIL: A Reason-able Web Ontology Language"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"2_CR1","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."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BFb0095434","volume-title":"Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions","author":"F. Baader","year":"1998","unstructured":"F. Baader and R. K\u00fcsters. Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions. In Proc. of the 22nd German Annual Conf. on Artificial Intelligence (KI\u201998), volume 1504 of Lecture Notes in Computer Science, pages 129\u2013140. Springer-Verlag, 1998."},{"issue":"3","key":"2_CR3","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":"2_CR4","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":"2_CR5","unstructured":"T. Berners-Lee. Weaving the Web. Harpur, San Francisco, 1999."},{"key":"2_CR6","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 subsumption in the CLASSIC description logic. J. of Artificial Intelligence Research, 1:277\u2013308, 1994.","journal-title":"J. of Artificial Intelligence Research"},{"key":"2_CR7","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":"2_CR8","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":"2_CR9","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":"2_CR10","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":"2_CR11","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":"2_CR12","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":"2_CR13","unstructured":"R. Fikes and D. L. McGuinness. An axiomatic semantics for rdf, rdf schema, and daml+oil. In Stanford University KSLT echnical Report KSL-01-01. http:\/\/www.ksl.stanford.edu\/people\/dlm\/daml-semantics\/abstract-axiomaticsemantics.html , 2001."},{"key":"2_CR14","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":"2_CR15","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":"2_CR16","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"},{"issue":"6","key":"2_CR17","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. \u201cThe darpa agent markup language\u201d. IEEE Intelligent Systems, 15(6):67\u201373, 2000.","journal-title":"IEEE Intelligent Systems"},{"key":"2_CR18","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":"2_CR19","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":"2_CR20","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\u201998), pages 636\u2013647, 1998."},{"key":"2_CR21","unstructured":"I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001). Morgan Kaufmann, Los Altos, 2001."},{"key":"2_CR22","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"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic SHIQ. 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":"2_CR24","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":"2_CR25","unstructured":"D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS, Frontiers in Artificial Intelligence and Applications. IOS-press, 1998."},{"key":"2_CR26","unstructured":"D. L. McGuinness. Ontologies for electronic commerce. In Proc. of the AAAI\u201999 Artificial Intelligence for Electronic Commerce Workshop, 1999."},{"key":"2_CR27","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."},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"S. McIlraith, T. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46\u201353, March\/April 2001.","journal-title":"IEEE Intelligent Systems"},{"key":"2_CR29","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":"2_CR30","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."},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"The Gene Ontology Consortium","year":"2000","unstructured":"The Gene Ontology Consortium. Gene ontolgy: tool for the unification of biology. Nature Genetics, 25(1):25\u201329, 2000.","journal-title":"Nature Genetics"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45876-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:44:52Z","timestamp":1556480692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45876-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433248","9783540458760"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45876-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}