{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T18:43:59Z","timestamp":1770576239017,"version":"3.49.0"},"reference-count":69,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2010,2,2]]},"DOI":"10.1080\/08839510903448692","type":"journal-article","created":{"date-parts":[[2010,1,30]],"date-time":"2010-01-30T16:10:57Z","timestamp":1264867857000},"page":"102-148","source":"Crossref","is-referenced-by-count":25,"title":["REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION"],"prefix":"10.1080","volume":"24","author":[{"given":"Sergio","family":"Alejandro G\u00f3mez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Iv\u00e1n Ches\u00f1evar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo Ricardo","family":"Simari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.29"},{"key":"CIT0002","first-page":"160","volume-title":"Proceedings of International Joint Conference and Symposium on Logic Programming","author":"Antoniou G.","year":"1998"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00060-6"},{"key":"CIT0004","volume-title":"The Description Logic Handbook \u2013 Theory, Implementation and Applications","author":"Baader F.","year":"2003"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.001"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"CIT0007","first-page":"279","volume-title":"Proc. ArgMAS 2005","author":"Brena R.","year":"2006"},{"key":"CIT0008","volume-title":"Non monotonic reasoning. An overview","author":"Brewka G.","year":"1997"},{"key":"CIT0009","first-page":"303","volume-title":"Proc. 1st Semantic Web Working Symposium (SWWS 2001)","author":"Calvanese D.","year":"2001"},{"key":"CIT0010","first-page":"109","volume-title":"Frontiers in Artificial Intelligence and Applications","volume":"172","author":"Caminada M.","year":"2008"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900002058"},{"key":"CIT0012","first-page":"386","volume-title":"11th. Intl. Workshop on Nonmonotonic Reasoning","author":"Cecchi L. A.","year":"2006"},{"key":"CIT0013","first-page":"244","volume-title":"Proc. 18th Canadian Conference on AI LNCS","volume":"3501","author":"Ches\u00f1evar C.","year":"2005"},{"key":"CIT0014","first-page":"98","volume":"3789","author":"Ches\u00f1evar C.","year":"2005","journal-title":"LNAI"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.09.005"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1145\/371578.371581"},{"key":"CIT0017","first-page":"581","volume-title":"Proc. 16th ECAI Conf","author":"Ches\u00f1evar C.","year":"2004"},{"key":"CIT0018","first-page":"282","volume-title":"Proc. 2nd IEEE Intl. IS-2004 Conference","author":"Ches\u00f1evar C.","year":"2004"},{"key":"CIT0019","first-page":"76","volume-title":"Proc. Intl. Conference in Uncertainty in Artificial Intelligence (UAI 2004)","author":"Ches\u00f1evar C.","year":"2004"},{"key":"CIT0020","first-page":"353","volume-title":"LNAI\/LNCS Springer Series","volume":"3571","author":"Ches\u00f1evar C.","year":"2005"},{"key":"CIT0021","first-page":"369","volume-title":"Logic Programming","author":"Dimopoulos Y.","year":"1995"},{"key":"CIT0022","first-page":"141","author":"Eiter T.","year":"2004","journal-title":"KR 2004"},{"key":"CIT0023","volume-title":"Ontology Matching","author":"Euzenat J.","year":"2007"},{"key":"CIT0024","unstructured":"Ferreti , E. , M. Errecalde , A. J. Garc\u00eda , and G. R. Simari . 2007 . An application of defeasible logic programming to decision making in a robotic environment . In: Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'07 ."},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"CIT0026","first-page":"245","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"Geffner H.","year":"1990"},{"key":"CIT0027","unstructured":"G\u00f3mez , S. A. , C. I. Ches\u00f1evar , and G. R. Simari . 2006 . An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming . In: Procs. XII Argentinian Conference in Computer Science (CACIC\u201906) , 1185 \u2013 1196 ."},{"key":"CIT0028","first-page":"11","volume-title":"Proc. Knowledge Representation in Ontologies Workshop (KROW 2008)","volume":"90","author":"G\u00f3mez S. A.","year":"2008"},{"key":"CIT0030","unstructured":"G\u00f3mez , S. , and C. Ches\u00f1evar . 2004 . A hybrid approach to pattern classification using neural networks and defeasible argumentation . In: Proc. 17th Intl. FLAIRS Conference , 393 \u2013 398 . Miami , FL , American Assoc. for Artificial Intelligence ."},{"key":"CIT0031","volume-title":"WWW2003","author":"Grosof B. N.","year":"2003"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"CIT0033","doi-asserted-by":"crossref","unstructured":"Haarslev , V. , and R. M\u00f6ller . 2001 . RACER System Description. Technical Report, University of Hamburg, Computer Science Department.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"CIT0034","first-page":"1033","author":"Heymans S.","year":"2002","journal-title":"CoopIS\/DOA\/ODBASE"},{"key":"CIT0035","doi-asserted-by":"crossref","unstructured":"Horridge , M. , B. Parsia , and U. Sattler . 2008 . Laconic and precise justifications in OWL . In: Procs. of the VII International Semantic Web Conference (ISWC 2008) , 323 \u2013 338 . Karlsruhe , Germany .","DOI":"10.1007\/978-3-540-88564-1_21"},{"key":"CIT0036","doi-asserted-by":"crossref","unstructured":"Horrocks , I. 1998 . The FaCT System . In: TABLEAUX \u201998: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , 307 \u2013 312 . London , UK : Springer-Verlag .","DOI":"10.1007\/3-540-69778-0_30"},{"key":"CIT0037","first-page":"454","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI\u201905)","author":"Huang Z.","year":"2005"},{"key":"CIT0038","unstructured":"Huang , Z. , F. van Harmelen , A. ten Teije , P. Groot , and C. Visser . 2004 . Reasoning with inconsistent ontologies: A general framework, Technical report, Department of Artificial Intelligence, Vrije Universiteit Amsterdam ."},{"key":"CIT0039","unstructured":"Kakas , A. C. , P. Mancarella , and P. M. Dung . 1994 . The acceptability semantics for logic programs . In: Proceedings 11th. International Conference on Logic Programming , 504 \u2013 519 . Santa Margherita , Italy : MIT Press ."},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.4.515"},{"key":"CIT0041","volume-title":"Workshop on Ontologies and Information Sharing, IJCAI\u201901","author":"Klein M.","year":"2001"},{"key":"CIT0042","unstructured":"Kr\u00f6tzch , M.,S. Rudolph, andP. Hitzler.2007. Complexity of horn description logics. Technical Report, Institute AIFB, Universit\u00e4t Karlsruhe, Germany."},{"key":"CIT0043","doi-asserted-by":"crossref","unstructured":"Laera , L. , V. Tamma , J. Euzenat , T. Bench-Capon , and T. Payne . 2006 . Reaching agreement over ontology alignments . In: Proc. 5th International Semantic Web Conference (ISWC 2006) , Athens , GA .","DOI":"10.1007\/11926078_27"},{"key":"CIT0044","unstructured":"Lam , S. C. , J. Z. Pan , D. Sleeman , and W. Vasconcelos . 2006 . A fine-grained approach to resolving unsatisfiable ontologies . In: Proc. 2006 IEEE\/WIC\/ACM International Conference on Web Intelligence , 428 \u2013 434 ."},{"key":"CIT0045","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J.","year":"1987"},{"key":"CIT0046","unstructured":"McGuiness , D. L. , and F. van Harmelen . 2004 . OWL Web Ontology Language Overview"},{"key":"CIT0047","unstructured":"Meyer , T. , K. Lee , R. Booth , and J. Z. Pan . 2006 . Finding maximally satisfiable terminologies for the description logic \ud835\udc9c\u2112\ud835\udc9e . In: Proceedings of AAAI-06 . Boston , MA ."},{"key":"CIT0048","unstructured":"Mitra , P. 2004 . An algebraic framework for the interoperation of ontologies. PhD thesis, Dept. of Electrical Engineering Stanford University ."},{"key":"CIT0049","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/978-94-009-2699-8_9","volume-title":"Aspects of Artificial Intelligence","author":"Nute D.","year":"1988"},{"key":"CIT0050","volume-title":"Intensional Logics for Programming","author":"Nute D.","year":"1992"},{"key":"CIT0051","unstructured":"Parsia , B. , and E. Sirin . 2004 . Pellet: An OWL DL Reasoner . In: 3rd International Semantic Web Conference (ISWC2004) . Hiroshima , Japan ."},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.261"},{"key":"CIT0053","volume-title":"Knowledge and Justification","author":"Pollock J. L.","year":"1974"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1104_4"},{"key":"CIT0055","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for How to Build a Person","author":"Pollock J. L.","year":"1995"},{"key":"CIT0056","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45632-5_14"},{"key":"CIT0057","first-page":"219","volume-title":"Handbook of Philosophical Logic","author":"Prakken H.","year":"2002"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888904000098"},{"key":"CIT0059","unstructured":"Reiter , R. , and G. Criscuolo . 1981 . On interacting defaults . In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI\u201981) , 94 \u2013 100 ."},{"key":"CIT0060","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2006.02.002"},{"key":"CIT0061","unstructured":"Sandewall , E. 1986 . Non-monotonic inference rules for multiple inheritance with exceptions . In: Proceedings IEEE 74 , 1345 \u2013 1353 ."},{"key":"CIT0062","doi-asserted-by":"crossref","unstructured":"Sierra , C. , and P. Noriega . 2002 . Agent-mediated interaction. from auctions to negotiation and argumentation . In: Foundations and Applications of Multi-Agent Systems \u2013 In LNCS Series , Vol. 2403 , 27 \u2013 48 . Springer .","DOI":"10.1007\/3-540-45634-1_3"},{"key":"CIT0063","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90069-A"},{"key":"CIT0064","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.13.87-113"},{"key":"CIT0065","first-page":"119","volume-title":"LNCS","volume":"5341","author":"Terracina G.","year":"2008"},{"key":"CIT0066","volume-title":"Virtual Arguments, On the Design of Argument Assistants for Lawyers and Other Arguers","author":"Verheij B.","year":"2005"},{"key":"CIT0067","unstructured":"Volz , R. 2004 . Web ontology reasoning with logic databases. PhD thesis, Universit\u00e4t Fridericiana zu Karlsruhe . Karlsruhe , Germany ."},{"key":"CIT0068","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_53"},{"key":"CIT0069","unstructured":"Williams , M., andA. Hunter.2007.Harnessing ontologies for argument-based decision-making in breast cancer. Proc. of the Intl. Conf. on Tools with AI (ICTAI\u201907),254\u2013261."},{"key":"CIT0070","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2004.03.006"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510903448692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T05:15:44Z","timestamp":1590556544000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510903448692"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,2]]},"references-count":69,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,2,2]]}},"alternative-id":["10.1080\/08839510903448692"],"URL":"https:\/\/doi.org\/10.1080\/08839510903448692","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,2]]}}}