{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:56:21Z","timestamp":1725544581141},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_32","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T16:40:30Z","timestamp":1158165630000},"page":"386-398","source":"Crossref","is-referenced-by-count":26,"title":["Knowledge Base Revision in Description Logics"],"prefix":"10.1007","author":[{"given":"Guilin","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiru","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Bell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning\u00a014(1), 149\u2013180 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"Baader, F., Buchheit, M., Hollander, B.: Cardinality restrictions on concepts. Artificial Intelligence\u00a088, 195\u2013213 (1996)","journal-title":"Artificial Intelligence"},{"key":"32_CR3","volume-title":"The Description Logic Handbook: Theory, implementation and application","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, Cambridge (2003)"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1002\/int.20026","volume":"19","author":"S. Benferhat","year":"2004","unstructured":"Benferhat, S., Baida, R.E.: A stratified first order logic approach for access control. International Journal of Intelligent Systems\u00a019, 817\u2013836 (2004)","journal-title":"International Journal of Intelligent Systems"},{"unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of AAAI 1988, pp. 3\u20137 (1988)","key":"32_CR5"},{"issue":"5","key":"32_CR6","doi-asserted-by":"publisher","first-page":"3443","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 3443 (2001)","journal-title":"Scientific American"},{"unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the AGM postulates: preliminary results and applications. In: Proc. of NMR 2004, pp. 171\u2013179 (2004)","key":"32_CR7"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11574620_18","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G. Flouris","year":"2005","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to dLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 216\u2013231. Springer, Heidelberg (2005)"},{"key":"32_CR9","volume-title":"Knowledge in Flux-Modeling the Dynamic of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11431053_13","volume-title":"The Semantic Web: Research and Applications","author":"P. Haase","year":"2005","unstructured":"Haase, P., Stojanovic, L.: Consistent evolution of OWL ontologies. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11574620_27","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Haase","year":"2005","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"S.O. Hansson","year":"1992","unstructured":"Hansson, S.O.: In denfence of base contraction. Synthese\u00a091, 239\u2013245 (1992)","journal-title":"Synthese"},{"unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of IJCAI 2001, pp. 199\u2013204 (2001)","key":"32_CR13"},{"unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, pp. 254\u2013259 (2005)","key":"32_CR14"},{"doi-asserted-by":"crossref","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Updating description logic ABoxes. In: Proc. of KR 2006 (2006)","key":"32_CR15","DOI":"10.25368\/2022.153"},{"key":"32_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-30133-2_34","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"S.H. Kang","year":"2004","unstructured":"Kang, S.H., Lau, S.K.: Ontology revision using the concept of belief revision. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS, vol.\u00a03214, pp. 261\u2013267. Springer, Heidelberg (2004)"},{"issue":"3","key":"32_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence\u00a052(3), 263\u2013294 (1992)","journal-title":"Artificial Intelligence"},{"key":"32_CR18","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1613\/jair.1542","volume":"23","author":"C. Lutz","year":"2005","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. Journal of Artificial Intelligence Research\u00a023, 667\u2013726 (2005)","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645\u2013650 (2005)","key":"32_CR19"},{"key":"32_CR20","series-title":"LNAI","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS (LNAI), vol.\u00a0422. Springer, Heidelberg (1990)"},{"key":"32_CR21","first-page":"217","volume-title":"Computational Intelligence II: Proc. of the International Symposium Computational Intelligence 1989","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: What is Hybrid in Hybrid Representation and Reasoning Systems? In: Gardin, F., Mauri, G., Filippini, M.G. (eds.) Computational Intelligence II: Proc. of the International Symposium Computational Intelligence 1989, pp. 217\u2013228. North-Holland, Amsterdam (1990)"},{"doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633\u2013640 (2005)","key":"32_CR22","DOI":"10.1145\/1060745.1060837"},{"unstructured":"Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics, Available at: http:\/\/www.cs.qub.ac.uk\/G.Qi\/qlb06e.pdf","key":"32_CR23"},{"issue":"2","key":"32_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A. Schaerf","year":"1994","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. Data and Knowledge Engineering\u00a013(2), 141\u2013176 (1994)","journal-title":"Data and Knowledge Engineering"},{"unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003, pp. 355\u2013360 (2003)","key":"32_CR25"},{"key":"32_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive Concept descriptions with complements. Artificial Intelligence\u00a048, 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"unstructured":"Stojanovic, L.: Methods and Tools for Ontology Evolution, PhD thesis, University of Karlsruhe (2004)","key":"32_CR27"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T21:01:29Z","timestamp":1683579689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11853886_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}