{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:00:55Z","timestamp":1725490855460},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735946"},{"type":"electronic","value":"9783540735953"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73595-3_7","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T05:31:33Z","timestamp":1188451893000},"page":"84-99","source":"Crossref","is-referenced-by-count":18,"title":["Conservative Extensions in the Lightweight Description Logic $\\mathcal{EL}$"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[]},{"given":"Frank","family":"Wolterinst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1002\/(SICI)1098-111X(200007)15:7<623::AID-INT3>3.0.CO;2-C","volume":"15","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Kehagias, K.: A note on the refinement of ontologies. Int. J. of Intelligent Systems\u00a015, 623\u2013632 (2000)","journal-title":"Int. J. of Intelligent Systems"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Professional Book Center (2005)","DOI":"10.25368\/2022.144"},{"key":"7_CR3","first-page":"96","volume-title":"Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999)","author":"F. Baader","year":"1999","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 96\u2013101. Morgan Kaufmann, San Francisco (1999)"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0167-6423(95)00003-B","volume":"24","author":"B. Bloom","year":"1995","unstructured":"Bloom, B., Paige, R.: Transformational design and implementation of a new efficient solution to the ready simulation problem. Sci. Comput. Program.\u00a024(3), 189\u2013220 (1995)","journal-title":"Sci. Comput. Program."},{"key":"7_CR5","first-page":"298","volume-title":"Proc. of the 16th European Conf. on Artificial Intelligence (ECAI-2004)","author":"S. Brandt","year":"2004","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: Proc. of the 16th European Conf. on Artificial Intelligence (ECAI-2004), pp. 298\u2013302. IOS Press, Amsterdam (2004)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th Symposium on Principles of Database Systems (PODS 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"7_CR7","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 2005), pp. 602\u2013607 (2005)"},{"key":"7_CR8","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 Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260\u2013270 (2006)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1635","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Handbook of Automated Reasoning, ch. 24","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Schlingloff, H.: Model checking. In: Handbook of Automated Reasoning, ch. 24, vol.\u00a0II, pp. 1635\u20131790. Elsevier, Amsterdam (2001)"},{"key":"7_CR10","first-page":"187","volume-title":"Proc. of the 10th Int. Conf. on Principles of Knowledge Repr. and Reasoning (KR 2006)","author":"S. Ghilardi","year":"2006","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? A case for conservative extensions in description logics. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Repr. and Reasoning (KR 2006), pp. 187\u2013197. AAAI Press, Stanford (2006)"},{"key":"7_CR11","volume-title":"Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007)","author":"B.C. Grau","year":"2007","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), AAAI Press, Stanford (2007)"},{"key":"7_CR12","first-page":"198","volume-title":"Proc. of the 10th Int. Conf. on Principles of Knowledge Repr. and Reasoning (KR 2006)","author":"B.C. Grau","year":"2006","unstructured":"Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Repr. and Reasoning (KR 2006), pp. 198\u2013209. AAAI Press, Stanford (2006)"},{"key":"7_CR13","volume-title":"Proc. of the 20th Int. Joint Conf. on Artificial Intelligence IJCAI-2007","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence IJCAI-2007, AAAI Press, Stanford (2007)"},{"key":"7_CR14","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic EL (2007), http:\/\/www.liv.csc.ac.uk\/~frank"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","volume":"40","author":"N. Sioutos","year":"2006","unstructured":"Sioutos, N., de Coronado, S., Haber, M., Hartel, F., Shaiu, W., Wright, L.: NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. Journal of Biomedical Informatics\u00a040(1), 30\u201343 (2006)","journal-title":"Journal of Biomedical Informatics"},{"key":"7_CR16","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT, Fall Symposium Special Issue (2000)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1137\/0208013","volume":"8","author":"L.J. Stockmeyer","year":"1979","unstructured":"Stockmeyer, L.J., Chandra, A.K.: Provably difficult combinatorial games. SIAM Journal on Computing\u00a08(2), 151\u2013174 (1979)","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-21"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73595-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:29:23Z","timestamp":1684006163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73595-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735946","9783540735953"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73595-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}