{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:25:20Z","timestamp":1725805520563},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112084"},{"type":"electronic","value":"9783319112091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11209-1_6","type":"book-chapter","created":{"date-parts":[[2014,9,22]],"date-time":"2014-09-22T08:48:23Z","timestamp":1411375703000},"page":"63-78","source":"Crossref","is-referenced-by-count":3,"title":["Algorithm for Adapting Cases Represented in a Tractable Description Logic"],"prefix":"10.1007","author":[{"given":"Liang","family":"Chang","sequence":"first","affiliation":[]},{"given":"Uli","family":"Sattler","sequence":"additional","affiliation":[]},{"given":"Tianlong","family":"Gu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log.\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"6_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"6_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, pp. 364\u2013369. Morgan Kaufmann (2005)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-17746-0_8","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"D. Calvanese","year":"2010","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-lite knowledge bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 112\u2013128. Springer, Heidelberg (2010)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Chang, L., Sattler, U., Gu, T.L.: Algorithm for adapting cases represented in a tractable description logic. arXiv: 1405.4180 (2014)","DOI":"10.1007\/978-3-319-11209-1_6"},{"key":"6_CR6","unstructured":"Chang, L., Sattler, U., Gu, T.L.: An ABox revision algorithm for the description logic \n                    \n                      \n                    \n                    $\\mathcal{EL_{\\bot}}$\n                  . In: Proc. of the 27th International Workshop on Description Logics (2014)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-14274-1_6","volume-title":"Case-Based Reasoning. Research and Development","author":"J. Cojan","year":"2010","unstructured":"Cojan, J., Lieber, J.: An algorithm for adapting cases represented in an expressive description logic. In: Bichindaritz, I., Montani, S. (eds.) ICCBR 2010. LNCS, vol.\u00a06176, pp. 51\u201365. Springer, Heidelberg (2010)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"T.G.O. Consortium","year":"2000","unstructured":"Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11574620_13","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"M. d\u2019Aquin","year":"2005","unstructured":"d\u2019Aquin, M., Lieber, J., Napoli, A.: Decentralized case-based reasoning for the semantic web. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 142\u2013155. Springer, Heidelberg (2005)"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-48508-2_11","volume-title":"Case-Based Reasoning Research and Development","author":"M. G\u00f3mez-Albarr\u00e1n","year":"1999","unstructured":"G\u00f3mez-Albarr\u00e1n, M., Gonz\u00e1lez Calero, P.A., D\u00edaz-Agudo, B., Fern\u00e1ndez-Conde, C.J.: Modelling the CBR life cycle using description logics. In: Althoff, K.-D., Bergmann, R., Karl Branting, L. (eds.) ICCBR 1999. LNCS (LNAI), vol.\u00a01650, pp. 147\u2013161. Springer, Heidelberg (1999)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. Web Semantics"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for \n                    \n                      \n                    \n                    $\\mathcal{SHOIQ}$\n                  . J. Autom. Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052(3), 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.jcss.2013.01.006","volume":"79","author":"E. Kharlamov","year":"2013","unstructured":"Kharlamov, E., Zheleznyakov, D., Calvanese, D.: Capturing model-based ontology evolution at the instance level: The case of DL-Lite. J. Comput. Syst. Sci.\u00a079(6), 835\u2013872 (2013)","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-33353-8_24","volume-title":"Logics in Artificial Intelligence","author":"K. Lehmann","year":"2012","unstructured":"Lehmann, K., Turhan, A.-Y.: A Framework for Semantic-Based Similarity Measures for \n                    \n                      \n                    \n                    $\\mathcal{ELH}$\n                  -Concepts. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 307\u2013319. Springer, Heidelberg (2012)"},{"key":"6_CR16","unstructured":"Lenzerini, M., Savo, D.F.: On the evolution of the instance level of DL-Lite knowledge bases. In: Proc. of the 24th International Workshop on Description Logics (2011)"},{"key":"6_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-74141-1_17","volume-title":"Case-Based Reasoning Research and Development","author":"J. Lieber","year":"2007","unstructured":"Lieber, J.: Application of the revision theory to adaptation in case-based reasoning: the conservative adaptation. In: Weber, R.O., Richter, M.M. (eds.) ICCBR 2007. LNCS (LNAI), vol.\u00a04626, pp. 239\u2013253. Springer, Heidelberg (2007)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-23291-6_22","volume-title":"Case-Based Reasoning Research and Development","author":"A.A. S\u00e1nchez-Ruiz","year":"2011","unstructured":"S\u00e1nchez-Ruiz, A.A., Onta\u00f1\u00f3n, S., Gonz\u00e1lez-Calero, P.A., Plaza, E.: Measuring similarity in description logics using refinement operators. In: Ram, A., Wiratunga, N. (eds.) ICCBR 2011. LNCS, vol.\u00a06880, pp. 289\u2013303. Springer, Heidelberg (2011)"},{"key":"6_CR19","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. J. American Medical Informatics Assoc., Fall Symposium Special Issue (2000)"},{"key":"6_CR20","unstructured":"Wiener, C.H., Katz, Y., Parsia, B.: Belief base revision for expressive description logics. In: Proc. of the 4th International Workshop on OWL: Experiences and Directions (2006)"}],"container-title":["Lecture Notes in Computer Science","Case-Based Reasoning Research and Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11209-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T23:08:26Z","timestamp":1558998506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11209-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112084","9783319112091"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11209-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}