{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,28]],"date-time":"2023-12-28T06:57:33Z","timestamp":1703746653519},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,10,1]],"date-time":"2006-10-01T00:00:00Z","timestamp":1159660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s10462-007-9044-3","type":"journal-article","created":{"date-parts":[[2007,9,27]],"date-time":"2007-09-27T15:49:26Z","timestamp":1190908166000},"page":"115-128","source":"Crossref","is-referenced-by-count":19,"title":["A revision-based approach to handling inconsistency in description logics"],"prefix":"10.1007","volume":"26","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","family":"Bell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,28]]},"reference":[{"issue":"1","key":"9044_CR1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader F, Hollunder B (1995a) Embedding defaults into terminological knowledge representation formalisms. J Autom Reason 14(1):149\u2013180","journal-title":"J Autom Reason"},{"issue":"1","key":"9044_CR2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F Baader","year":"1995","unstructured":"Baader F, Hollunder B (1995b) Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J Autom Reason 15(1):41\u201368","journal-title":"J Autom Reason"},{"key":"9044_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F Baader","year":"1996","unstructured":"Baader F, Buchheit M, Hollunder B (1996) Cardinality restrictions on concepts. Artif Intell 88:195\u2013213","journal-title":"Artif Intell"},{"key":"9044_CR4","volume-title":"The description logic handbook: theory, implementation and application","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2003) The description logic handbook: theory, implementation and application. Cambridge University Press, Cambridge"},{"key":"9044_CR5","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1002\/int.20026","volume":"19","author":"S Benferhat","year":"2004","unstructured":"Benferhat S, Baida RE (2004) A stratified first order logic approach for access control. Int J Intell Syst 19:817\u2013836","journal-title":"Int J Intell Syst"},{"issue":"1\u20132","key":"9044_CR6","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.artint.2003.08.003","volume":"153","author":"S Benferhat","year":"2004","unstructured":"Benferhat S, Kaci S, Berre DL, Williams M-A (2004) Weakening conflicting information for iterated revision and knowledge integration. Artif Intell 153(1\u20132):339\u2013371","journal-title":"Artif Intell"},{"issue":"5","key":"9044_CR7","doi-asserted-by":"crossref","first-page":"3443","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):3443","journal-title":"Sci Am"},{"key":"9044_CR8","doi-asserted-by":"crossref","unstructured":"Borgida A (1994) On the relationship between description logic and predicate logic. In: Proceedings of the 3rd international conference on information and knowledge management (CIKM\u201994), Gaithersburg, Maryland pp 219\u2013225","DOI":"10.1145\/191246.191283"},{"key":"9044_CR9","doi-asserted-by":"crossref","unstructured":"Flouris G, Plexousakis D, Antoniou G (2005) On applying the AGM theory to DLs and OWL. In: Proceedings of the 4th international conference on semantic web (ISWC\u201905), pp 216\u2013231","DOI":"10.1007\/11574620_18"},{"key":"9044_CR10","doi-asserted-by":"crossref","unstructured":"Friedrich G, Shchekotykhin KM (2005) A general diagnosis method for ontologies. In: Proceedings of the 4th international conference on semantic web (ISWC\u201905), Galway, Ireland pp 232\u2013246","DOI":"10.1007\/11574620_19"},{"key":"9044_CR11","volume-title":"Knowledge in flux-modeling the dynamic of epistemic states","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P (1988) Knowledge in flux-modeling the dynamic of epistemic states. MIT, Cambridge, Mass"},{"key":"9044_CR12","doi-asserted-by":"crossref","unstructured":"Haarslev V, M\u00f6ller R (2001) RACER system description. In: Proceedings of the 1st international joint conference on automated reasoning (IJCAR\u201901), Siena, Italy pp 701\u2013706","DOI":"10.1007\/3-540-45744-5_59"},{"key":"9044_CR13","doi-asserted-by":"crossref","unstructured":"Haase P, van Harmelen F, Huang Z, Stuckenschmidt H, Sure Y (2005) A framework for handling inconsistency in changing ontologies. In: Proceedings of the 4th international semantic web conference (ISWC\u201905). LNCA3729, Galway, Ireland pp 353\u2013367","DOI":"10.1007\/11574620_27"},{"key":"9044_CR14","unstructured":"Haase P, V\u00f6lker J (2005) Ontology learning and reasoning\u2014dealing with uncertainty and inconsistency. In: Proceedings of the international workshop on uncertainty reasoning for the semantic Web, Galway, Ireland pp 45\u201355"},{"key":"9044_CR15","doi-asserted-by":"crossref","unstructured":"Horrocks I (1998) The FaCT system. In: de Swart H (ed) Proceeding of the Tableaux\u201998, LNAI 1397, Oisterwijk, The Netherlands pp 307\u2013312","DOI":"10.1007\/3-540-69778-0_30"},{"key":"9044_CR16","unstructured":"Horrocks I, Sattler U (2001) Ontology reasoning in the $${\\mathcal{SHOQ}}$$ (D) description logic. In: Proceedings of the 17th international joint conference on artificial intelligence (IJCAI\u201901), Seattle, Washington, USA pp 199\u2013204"},{"key":"9044_CR17","unstructured":"Huang Z, van Harmelen F, ten Teije A (2005) Reasoning with inconsistent ontologies. In: Proceedings of the 19th international joint conference on artificial intelligence (IJCAI\u201905), Edinburgh, Scotland, UK pp 254\u2013259"},{"key":"9044_CR18","doi-asserted-by":"crossref","unstructured":"Ma Y, Qi G, Hitzler P, Lin Z (2007) Measuring inconsistency for description logics based on paraconsistent semantics. In: Proceeding of the European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU\u201907) Hammamet, Tunisia pp 30\u201341","DOI":"10.1007\/978-3-540-75256-1_6"},{"key":"9044_CR19","unstructured":"Meyer T, Lee K, Booth R (2005) Knowledge integration for description logics. In: Proceedings of the 20th national conference on artificial intelligence (AAAI\u201905), Pittsburgh, Pennsylvania, USA pp 645\u2013650"},{"key":"9044_CR20","volume-title":"Mind design.","author":"M Minsky","year":"1981","unstructured":"Minsky M (1981) A framework for representing knowledge. In: Haugeland J (eds). Mind design. MIT, Cambridge"},{"key":"9044_CR21","doi-asserted-by":"crossref","unstructured":"Parsia B, Sirin E, Kalyanpur A (2005) Debugging OWL ontologies. In: Proceedings of the 14th international World Wide Web conference (WWW\u201905), Chiba, Japan pp 633\u2013640","DOI":"10.1145\/1060745.1060837"},{"key":"9044_CR22","unstructured":"Qi G, Liu W, Bell DA (2005) A revision-based approach to resolving conflicting information. In: Proceedings of the 21st conference on uncertainty in artificial intelligence (UAI\u201905), Edinburgh, Scotland, UK pp 477\u2013484"},{"key":"9044_CR23","unstructured":"Quantz J, Royer V (1992) A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd conference on principles of knowledge representation and reasoning (KR\u201992), Cambridge, MA, USA pp 294\u2013305"},{"key":"9044_CR24","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/bs.3830120511","volume":"12","author":"MR Quillian","year":"1967","unstructured":"Quillian MR (1967) Word concepts: a theory and simulation of some basic capabilities. Behav Sci 12:410\u2013430","journal-title":"Behav Sci"},{"issue":"1\u20132","key":"9044_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A Logic for default reasoning. Artif Intell 13(1\u20132):81\u2013132","journal-title":"Artif Intell"},{"issue":"2","key":"9044_CR26","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A Schaerf","year":"1994","unstructured":"Schaerf A (1994) Reasoning with individuals in concept languages. Data Knowl Eng 13(2):141\u2013176","journal-title":"Data Knowl Eng"},{"key":"9044_CR27","unstructured":"Schlobach S, Cornet R (2003) Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th international joint conference on artificial intelligence (IJCAI\u20192003), Acapulco, Mexico pp 355\u2013360"},{"key":"9044_CR28","unstructured":"Schlobach S (2005) Diagnosing terminologies. In: Proceedings of the 20th national conference on artificial intelligence (AAAI\u201905), Pittsburgh, pennsylvania, USA pp 670\u2013675"},{"key":"9044_CR29","doi-asserted-by":"crossref","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 (1991) Attributive concept descriptions with complements. Artif Intell 48:1\u201326","journal-title":"Artif Intell"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9044-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-007-9044-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9044-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:45:06Z","timestamp":1559151906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-007-9044-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["9044"],"URL":"https:\/\/doi.org\/10.1007\/s10462-007-9044-3","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10]]}}}