{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T09:45:03Z","timestamp":1789638303060,"version":"4.0.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313646","type":"print"},{"value":"9783642313653","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31365-3_29","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T20:35:34Z","timestamp":1340310934000},"page":"371-377","source":"Crossref","is-referenced-by-count":5,"title":["Logical Difference Computation with CEX2.5"],"prefix":"10.1007","author":[{"given":"Boris","family":"Konev","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Ludwig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Proceedings of OWLED 2009. CEUR Workshop Proceedings, vol.\u00a0529. CEUR-WS.org (2008)"},{"issue":"1-2","key":"29_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.3233\/FI-2011-412","volume":"108","author":"S. Crafa","year":"2011","unstructured":"Crafa, S., Ranzato, F., Tapparo, F.: Saving space in a time efficient simulation algorithm. Fundamenta Informaticae\u00a0108(1-2), 23\u201342 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-540-70545-1_49","volume-title":"Computer Aided Verification","author":"R.J. Glabbeek van","year":"2008","unstructured":"van Glabbeek, R.J., Ploeger, B.: Correcting a Space-Efficient Simulation Algorithm. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 517\u2013529. Springer, Heidelberg (2008)"},{"issue":"1","key":"29_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.websem.2003.07.007","volume":"1","author":"J. Golbeck","year":"2003","unstructured":"Golbeck, J., Fragaso, G., Hartel, F., Hendler, J., Oberhaler, J., Parsia, B.: The national cancer institute\u2019s thesaurus and ontology. Journal of Web Semantics\u00a01(1), 75\u201380 (2003)","journal-title":"Journal of Web Semantics"},{"key":"29_CR5","unstructured":"Gon\u00e7alves, R.S., Parsia, B., Sattler, U.: Analysing multiple versions of an ontology: A study of the NCI thesaurus. In: Proceedings of DL 2011. CEUR Workshop Proceedings, vol.\u00a0745. CEUR-WS.org (2011)"},{"key":"29_CR6","unstructured":"IHTSDO: SNOMED Clinical Terms User Guide. The International Health Terminology Standards Development Organisation (IHTSDO) (2008)"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.datak.2010.10.001","volume":"70","author":"E. Jim\u00e9nez-Ruiz","year":"2011","unstructured":"Jim\u00e9nez-Ruiz, E., Grau, B.C., Horrocks, I., Llavori, R.B.: Supporting concurrent ontology development: Framework, algorithms and tool. Data & Knowledge Engineering\u00a070(1), 146\u2013164 (2011)","journal-title":"Data & Knowledge Engineering"},{"key":"29_CR8","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Proceedings of IJCAI 2009, pp. 2040\u20132045 (2009)"},{"key":"29_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-45810-7_20","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"M. Klein","year":"2002","unstructured":"Klein, M., Fensel, D., Kiryakov, A., Ognyanov, D.: Ontology Versioning and Change Detection on the Web. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol.\u00a02473, pp. 197\u2013259. Springer, Heidelberg (2002)"},{"key":"29_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-71070-7_21","volume-title":"Automated Reasoning","author":"B. Konev","year":"2008","unstructured":"Konev, B., Walther, D., Wolter, F.: The Logical Difference Problem for Description Logic Terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 259\u2013274. Springer, Heidelberg (2008)"},{"key":"29_CR11","unstructured":"Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical diff for the lightweight description logic $\\mathcal{EL}$ (submitted), http:\/\/www.csc.liv.ac.uk\/~frank\/publ\/publ.html"},{"key":"29_CR12","first-page":"2070","volume-title":"Proceedings of IJCAI 2009","author":"C. Lutz","year":"2009","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $\\mathcal{EL}$ using a relational database system. In: Proceedings of IJCAI 2009, pp. 2070\u20132075. AAAI Press, Menlo Park (2009)"},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-642-04930-9_26","volume-title":"The Semantic Web - ISWC 2009","author":"J. Mei","year":"2009","unstructured":"Mei, J., Liu, S., Xie, G., Kalyanpur, A., Fokoue, A., Ni, Y., Li, H., Pan, Y.: A Practical Approach for Scalable Conjunctive Query Answering on Acyclic $\\mathcal{EL}^+$ Knowledge Base. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 408\u2013423. Springer, Heidelberg (2009)"},{"key":"29_CR14","first-page":"744","volume-title":"Proceedings of AAAI 2002","author":"N.F. Noy","year":"2002","unstructured":"Noy, N.F., Musen, M.A.: PromptDiff: A fixed-point algorithm for comparing ontology versions. In: Proceedings of AAAI 2002, pp. 744\u2013750. AAAI Press, Menlo Park (2002)"},{"issue":"1","key":"29_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0933-3657(98)00045-1","volume":"15","author":"D.E. Oliver","year":"1999","unstructured":"Oliver, D.E., Shahar, Y., Shortliffe, E.H., Musen, M.A.: Representation of change in controlled medical terminologies. Artificial Intelligence in Medicine\u00a015(1), 53\u201376 (1999)","journal-title":"Artificial Intelligence in Medicine"},{"key":"29_CR16","unstructured":"Palma, R., Haase, P., Corcho, O., G\u00f3mez-P\u00e9rez, A.: Change representation for OWL 2 ontologies. In: Proceedings of OWLED 2009. CEUR Workshop Proceedings, vol.\u00a0529. CEUR-WS.org (2009)"},{"key":"29_CR17","first-page":"133","volume":"10","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Linking data to ontologies. Journal of Data Semantics\u00a010, 133\u2013173 (2008)","journal-title":"Journal of Data Semantics"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31365-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:58:25Z","timestamp":1620129505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31365-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313646","9783642313653"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31365-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}