REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION

REFERENCES

• Antoniou , G. , and A. Bikakis . 2007 . DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web . IEEE Trans. on Knowledge and Data Eng. 19 ( 2 ): 233 – 245 .
   Web of Science ®Google Scholar
• Antoniou , G. , D. Billington , and M. Maher . 1998 . Normal forms for defeasible logic . In: Proceedings of International Joint Conference and Symposium on Logic Programming , 160 – 174 . Boston : MIT Press .
   Google Scholar
• Antoniou , G. , M. J. Maher , and D. Billington . 2000 . Defeasible logic versus logic programming without negation as failure . Journal of Logic Programming 42 : 47 – 57 .
   Web of Science ®Google Scholar
• Baader , F. , D. Calvanese , D. McGuinness , D. Nardi , and P. Patel-Schneider . eds. 2003 . The Description Logic Handbook – Theory, Implementation and Applications , Cambridge : Cambridge University Press .
   Google Scholar
• Bench-Capon , T. J. M. , and P. E. Dunne . 2007 . Argumentation in artificial intelligence . Artif. Intell. 171 ( 10–15 ): 619 – 641 .
   Web of Science ®Google Scholar
• Berners-Lee , T. , J. Hendler , and O. Lassila . 2001 . The semantic web . Scientific American 284 ( 5 ): 34 – 43 .
   PubMed Web of Science ®Google Scholar
• Brena , R. , C. Chesñevar , and J. Aguirre . 2006 . Argumentation-supported information distribution in a multiagent system for knowledge management . In: Proc. ArgMAS 2005 ( Utrecht , The Netherlands , July 2005). LNCS 4049 , 279 – 296 , Springer-Verlag .
   Google Scholar
• Brewka , G. , J. Dix , and K. Konolige . 1997 . Non monotonic reasoning. An overview , CSLI Publications , Stanford , USA .
   Google Scholar
• Calvanese , D. , G. D. Giacomo , and M. Lenzerini . 2001 . A framework for ontology integration . In: Proc. 1st Semantic Web Working Symposium (SWWS 2001) , 303 – 316 .
   Google Scholar
• Caminada , M. 2008 . On the issue of contraposition of defeasible rules . In: Frontiers in Artificial Intelligence and Applications , eds. P. Besnard , S. Doutre , and A. Hunter , Vol. 172 , 109 – 115 . ‘COMMA’ , IOS Press .
   Google Scholar
• Carbogim , D. , D. Robertson , and J. Lee . 2000 . Argument-based applications to knowledge engineering . The Knowledge Engineering Review 15 ( 2 ): 119 – 149 .
   Google Scholar
• Cecchi , L. A. , P. R. Fillottrani , and G. R. Simari . 2006 . On complexity of DeLP through game semantics . In: 11th. Intl. Workshop on Nonmonotonic Reasoning , eds. J. Dix and A. Hunter , 386 – 394 .
   Google Scholar
• Chesñevar , C. , R. Brena , and J. Aguirre . 2005a . Knowledge distribution in large organizations using defeasible logic programming . In: Proc. 18th Canadian Conference on AI LNCS , Vol. 3501 , 244 – 256 . Springer-Verlag .
   Google Scholar
• Chesñevar , C. , R. Brena , and J. Aguirre . 2005b . Modelling power and trust for knowledge distribution: an argumentative approach . LNAI Springer Series (Proc. 3rd Mexican International Conference on Artificial Intelligence – MICAI 2005) 3789 : 98 – 108 .
   Google Scholar
• Chesñevar , C. I. , A. G. Maguitman , and G. R. Simari . 2006 . Argument-based critics and recommenders: A qualitative perspective on user support systems . Data Knowl. Eng. 59 ( 2 ): 293 – 319 .
   Google Scholar
• Chesñevar , C. I. , A. Maguitman , and R. Loui . 2000 . Logical models of argument . ACM Computing Surveys 32 ( 4 ): 337 – 383 .
   Web of Science ®Google Scholar
• Chesñevar , C. , and A. Maguitman . 2004a . An argumentative approach to assessing natural language usage based on the web corpus . In: Proc. 16th ECAI Conf ., 581 – 585 . Valencia , Spain .
   Google Scholar
• Chesñevar , C. , and A. Maguitman . 2004b . ArgueNet: An argument-based recommender system for solving web search queries . In: Proc. 2nd IEEE Intl. IS-2004 Conference , 282 – 287 . Varna , Bulgaria .
   Google Scholar
• Chesñevar , C. , G. Simari , T. Alsinet , and L. Godo . 2004. A logic programming framework for possibilistic argumentation with vague knowledge. In: Proc. Intl. Conference in Uncertainty in Artificial Intelligence (UAI 2004) , 76–84. Banff , Canada.
   Google Scholar
• Chesñevar , C. , G. Simari , L. Godo , and T. Alsinet . 2005 . Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties . LNAI/LNCS Springer Series , Vol. 3571 (Proc. 8th ECSQARU Intl. Conference , 353 – 365 . Barcelona , Spain ).
   Google Scholar
• Dimopoulos , Y. , and A. Kakas . 1995 . Logic programming without negation as failure . In: Logic Programming , ed. J. Lloyd , 369 – 383 . Cambridge , MA : MIT Press .
   Google Scholar
• Eiter , T. , T. Lukasiewicz , R. Schindlauer , and H. Tompits . 2004 . Combining answer set programming with description logics for the semantic web . KR 2004 , 141 – 151 .
   Google Scholar
• Euzenat , J. , and P. Shvaiko . 2007 . Ontology Matching . Berlin/Heidelberg : Springer-Verlag .
   Google Scholar
• Ferreti , E. , M. Errecalde , A. J. García , 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 .
   Google Scholar
• García , A. J. , and G. R. Simari . 2004 . Defeasible logic programming: An argumentative approach . Theory and Practice of Logic Programming 4 ( 1 ): 95 – 138 .
   Google Scholar
• Geffner , H. , and J. Pearl . 1990 . A framework for reasoning with defaults . In: Knowledge Representation and Defeasible Reasoning , eds. R. L. H. E. Kyburg , and G. Carlson , 245 – 265 . London : Kluwer Academic Publishers .
   Google Scholar
• Gómez , S. A. , C. I. Chesñevar , 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’06) , 1185 – 1196 .
   Google Scholar
• Gómez , S. A. , C. I. Chesñevar, and G. R. Simari . 2008a . An argumentative approach to reasoning with inconsistent ontologies . In: Proc. Knowledge Representation in Ontologies Workshop (KROW 2008) , eds. T. Meyer and M. A. Orgun , Vol. CPRIT 90 , 11 – 20 . Sydney , Australia .
   Google Scholar
• Gómez , S. A. , C. I. Chesñevar, and G. R. Simari . 2008b . Defeasible reasoning in web forms through argumentation . International Journal of Information Technology & Decision Making 7 : 71 – 101 .
   Google Scholar
• Gómez , S. , and C. Chesñevar . 2004 . A hybrid approach to pattern classification using neural networks and defeasible argumentation . In: Proc. 17th Intl. FLAIRS Conference , 393 – 398 . Miami , FL , American Assoc. for Artificial Intelligence .
   Google Scholar
• Grosof , B. N. , I. Horrocks , R. Volz , and S. Decker . 2003 . Description logic programs: combining logic programs with description logics . WWW2003 , Budapest , Hungary .
   Google Scholar
• Gruber , T. R. 1993 . A translation approach to portable ontologies . Knowledge Acquisition 5 ( 2 ): 199 – 220 .
   Web of Science ®Google Scholar
• Haarslev , V. , and R. Möller . 2001 . RACER System Description. Technical Report, University of Hamburg, Computer Science Department.
   Google Scholar
• Heymans , S. , and D. Vermeir . 2002 . A defeasible ontology language . In: CoopIS/DOA/ODBASE , 1033 – 1046 .
   Google Scholar
• 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 – 338 . Karlsruhe , Germany .
   Google Scholar
• Horrocks , I. 1998 . The FaCT System . In: TABLEAUX ’98: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , 307 – 312 . London , UK : Springer-Verlag .
   Google Scholar
• Huang , Z. , F. van Harmelen , and A. ten Teije . 2005 . Reasoning with inconsistent ontologies . In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI’05) , eds. L. P. Kaelbling and A. Saffiotti , 454 – 459 . Scotland : Edinburgh .
   Google Scholar
• 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 .
   Google Scholar
• 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 – 519 . Santa Margherita , Italy : MIT Press .
   Google Scholar
• Kakas , A. C. , and F. Toni . 1999 . Computing argumentation in logic programming . Journal of Logic and Computation 9 ( 4 ): 515 – 562 .
   Web of Science ®Google Scholar
• Klein , M. 2001 . Combining and relating ontologies: an analysis of problems and solutions . In: Workshop on Ontologies and Information Sharing, IJCAI’01 , eds. A. Gomez-Perez , M. Gruninger , H. Stuckenschmidt , and M. Uschold . Seattle , USA .
   Google Scholar
• Krötzch , M. , S. Rudolph , and P. Hitzler . 2007. Complexity of horn description logics. Technical Report, Institute AIFB, Universität Karlsruhe, Germany.
   Google Scholar
• 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 .
   Google Scholar
• 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 – 434 .
   Google Scholar
• Lloyd , J. 1987 . Foundations of Logic Programming . Berlin , Germany : Springer-Verlag .
   Google Scholar
• McGuiness , D. L. , and F. van Harmelen . 2004 . OWL Web Ontology Language Overview
   Google Scholar
• Meyer , T. , K. Lee , R. Booth , and J. Z. Pan . 2006 . Finding maximally satisfiable terminologies for the description logic 𝒜ℒ𝒞 . In: Proceedings of AAAI-06 . Boston , MA .
   Google Scholar
• Mitra , P. 2004 . An algebraic framework for the interoperation of ontologies. PhD thesis, Dept. of Electrical Engineering Stanford University .
   Google Scholar
• Nute , D. 1988 . Defeasible reasoning . In: Aspects of Artificial Intelligence , ed. J. H. Fetzer , 251 – 288 . Norwell , MA : Kluwer Academic Publishers .
   Google Scholar
• Nute , D. 1992 . Basic defeasible logic . In: Intensional Logics for Programming , ed. L. Fariñas del Cerro . Oxford : Claredon Press .
   Google Scholar
• Parsia , B. , and E. Sirin . 2004 . Pellet: An OWL DL Reasoner . In: 3rd International Semantic Web Conference (ISWC2004) . Hiroshima , Japan .
   Google Scholar
• Parsons , S. , C. Sierrra , and N. Jennings . 1998 . Agents that reason and negotiate by arguing . Journal of Logic and Computation 8 : 261 – 292 .
   Web of Science ®Google Scholar
• Pollock , J. L. 1974 . Knowledge and Justification . Princeton , NJ : Princeton University Press .
   Google Scholar
• Pollock , J. L. 1987 . Defeasible reasoning . Cognitive Science 11 : 481 – 518 .
   Web of Science ®Google Scholar
• Pollock , J. L. 1995 . Cognitive Carpentry: A Blueprint for How to Build a Person . Boston : Bradford/MIT Press .
   Google Scholar
• Prakken , H. , and G. Sartor . 2002 . The role of logic in computational models of legal argument – A critical survey . In: Computational Logic: Logic Programming and Beyond , eds. A. Kakas and F. Sadri , 342 – 380 . Springer .
   Google Scholar
• Prakken , H. , and G. Vreeswijk . 2002 . Logics for defeasible argumentation . In: Handbook of Philosophical Logic , eds. D. Gabbay and F. Guenthner , 219 – 318 . London : Kluwer Academic Publisher .
   Google Scholar
• Rahwan , I. , S. D. Ramchurn , N. R. Jennings , P. Mcburney , S. Parsons , and L. Sonenberg . 2003 . Argumentation-based negotiation . Knowl. Eng. Rev. 18 ( 4 ): 343 – 375 .
   Web of Science ®Google Scholar
• Reiter , R. , and G. Criscuolo . 1981 . On interacting defaults . In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI’81) , 94 – 100 .
   Google Scholar
• Ricca , F. , and N. Leone . 2007 . Disjunctive logic programming with types and objects: The DLV+ system . J. Applied Logic 5 ( 3 ): 545 – 573 .
   Google Scholar
• Sandewall , E. 1986 . Non-monotonic inference rules for multiple inheritance with exceptions . In: Proceedings IEEE 74 , 1345 – 1353 .
   Google Scholar
• Sierra , C. , and P. Noriega . 2002 . Agent-mediated interaction. from auctions to negotiation and argumentation . In: Foundations and Applications of Multi-Agent Systems – In LNCS Series , Vol. 2403 , 27 – 48 . Springer .
   Google Scholar
• Simari , G. R. , and R. P. Loui . 1992 . A mathematical treatment of defeasible reasoning and its implementation . Artificial Intelligence 53 : 125 – 157 .
   Web of Science ®Google Scholar
• Stolzenburg , F. , A. García , C. Chesñevar, and G. Simari . 2003 . Computing generalized specificity . J. N. Classical Logics 13 ( 1 ): 87 – 113 .
   Google Scholar
• Terracina , G. , E. D. Francesco , C. Panetta , and N. Leone . 2008 . Enhancing a DLP system for advanced database applications . In: LNCS , eds. D. Calvanese and G. Lausen , RR , Vol. 5341 , 119 – 134 . Springer .
   Google Scholar
• Verheij , B. 2005 . Virtual Arguments, On the Design of Argument Assistants for Lawyers and Other Arguers . The Hague : Asser Press .
   Google Scholar
• Volz , R. 2004 . Web ontology reasoning with logic databases. PhD thesis, Universität Fridericiana zu Karlsruhe . Karlsruhe , Germany .
   Google Scholar
• Wang , H. , M. Horridge , A. Rector , N. Drummond , and J. Seidenberg . 2005 . Debugging owl-dl ontologies: A heuristic approach . In: ISWC 2005, LNCS 3729 , 745 – 757 . Springer .
   Google Scholar
• Williams , M. , and A. Hunter . 2007. Harnessing ontologies for argument-based decision-making in breast cancer. Proc. of the Intl. Conf. on Tools with AI (ICTAI’07), 254–261.
   Google Scholar
• Zhang , P. , J. Sun , and H. Chen . 2005 . Frame-based argumentation for group decision task generation and identification . Decision Support Systems 39 : 643 – 659 .
   Web of Science ®Google Scholar