ONTOarg: A decision support framework for ontology integration based on argumentation

Expert Systems with Applications

Volumn 40, Issue 5, 2013, Pages 1858-1870

  Gómez, Sergio Alejandro ^a,b   Chesñevar, Carlos Iván ^b   Simari, Guillermo Ricardo ^b  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b Consejo Nacional de Investigaciones Científicas y Técnicas ^*  (Argentina)

Author keywords

Defeasible argumentation; Defeasible logic programming; Description logics; Inconsistency handling; Ontology integration

Indexed keywords

DEFEASIBLE ARGUMENTATION; DEFEASIBLE LOGIC PROGRAMMING; DESCRIPTION LOGIC; INCONSISTENCY HANDLING; ONTOLOGY INTEGRATION;

DECISION SUPPORT SYSTEMS; FORMAL LANGUAGES; INTEGRATION; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS;

DATA DESCRIPTION;

EID: 84872013470     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2012.10.025     Document Type: Article

References (61)

1. G. Antoniou, and A. Bikakis DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web IEEE Transactions on Knowledge and Data Engineering 19 2 2007 233 245 (Pubitemid 46104026)
2. G. Antoniou, D. Billington, and M. Maher Normal forms for defeasible logic Proceedings of international joint conference and symposium on logic programming 1998 MIT Press 160 174
3. G. Antoniou, M.J. Maher, and D. Billington Defeasible logic versus logic programming without negation as failure Journal of Logic Programming 42 2000 47 57 (Pubitemid 30532542)
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider The description logic handbook-Theory, implementation and applications 2003 Cambridge University Press
5. T.J.M. Bench-Capon, and P.E. Dunne Argumentation in artificial intelligence Artificial Intelligence 171 2007 619 641 (Pubitemid 47285079)
6. Berners-Lee, T., Hendler, J. & Lassila, O. (2001). The Semantic Web', Scient. American.
7. R. Brena, C. Chesñevar, and J. Aguirre Argumentation-supported information distribution in a multiagent system for knowledge management Proceedings of ArgMAS 2005 (Utrecht, Netherlands, July 2005) In LNCS 4049 2006 Springer-Verlag 279 296 (Pubitemid 44165613)
8. G. Brewka, J. Dix, and K. Konolige Non monotonic reasoning An overview 1997 CSLI Publications Stanford, USA
9. Calvanese, D., Giacomo, G.D. & Lenzerini, M. (2001). A framework for ontology integration. In First semantic web working symposium (pp. 303-316).
10. M. Caminada On the issue of contraposition of defeasible rules P. Besnard, S. Doutre, A. Hunter, COMMA Frontiers in Artificial Intelligence and Applications Vol. 172 2008 IOS Press 109 115
11. D. Carbogim, D. Robertson, and J. Lee Argument-based applications to knowledge engineering The Knowledge Engineering Review 15 2 2000 119 149
12. Cecchi, L., Fillottrani, P. & Simari, G. (2006). On complexity of DeLP through game semantics. In J. Dix & A. Hunter, (Eds.). 11th International workshop on nonmonotonic reasoning (pp. 386-394).
13. Chesñevar, C. & Maguitman, A., (2004a). An argumentative approach to assessing natural language usage based on the web corpus. In Proceedings of the 16th ECAI Conference, Valencia, Spain (pp. 581-585).
14. Chesñevar, C. & Maguitman, A., (2004b). ArgueNet: An Argument-Based Recommender System for Solving Web Search Queries. In Proceedings of the 2nd IEEE International IS-2004 Conference (pp. 282-287) Varna, Bulgaria.
15. C. Chesñevar, R. Brena, and J. Aguirre Knowledge distribution in large organizations using defeasible logic programming Proceedings of the 18th Canadian conference on AI (LNCS, Vol. 3501) 2005 Springer-Verlag 244 256
16. Chesñevar, C., Brena, R. & Aguirre, J., (2005b). Modelling power and trust for knowledge distribution: An argumentative approach. In LNAI Springer Series Proceedings of the 3rd Mexican International Conference on Artificial Intelligence-MICAI 2005, vol. 3789 (pp. 98-108). (Pubitemid 43763515)
17. C. Chesñevar, A. Maguitman, and R. Loui Logical models of argument ACM Computing Surveys 32 4 2000 337 383
18. C. Chesñevar, A. Maguitman, and G. Simari Argument-based critics and recommenders: A qualitative perspective on user support systems Data & Knowledge Engineering (DKE) 59 2 2006 293 319 (Pubitemid 44376565)
19. Chesñevar, C., Simari, G., Alsinet, T. & Godo, L., 2004. A logic programming framework for possibilistic argumentation with vague knowledge. In Proceedings of the international conference in uncertainty in artificial intelligence (UAI 2004), Banff, Canada (pp. 76-84).
20. Chesñevar, C., Simari, G., Godo, L. & Alsinet, T., 2005. Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties. In LNAI/LNCS Springer Series, Vol. 3571 (Proceedings of the 8th ECSQARU Intl. Conference, Barcelona, Spain) (pp. 353-365).
21. Y. Dimopoulos, and A. Kakas Logic programming without negation as failure J. Lloyd, Logic programming 1995 MIT Press Cambridge, MA 369 383
22. Eiter, T., Lukasiewicz, T., Schindlauer, R. & Tompits, H., 2004. Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004 (pp. 141-151).
23. A. García, and G. Simari Defeasible logic programming an argumentative approach Theory and Practice of Logic Programming 4 1 2004 95 138
24. Gómez, S. & Chesñevar, C., 2004. A hybrid approach to pattern classification using neural networks and defeasible argumentation. In Proceedings of 17th international FLAIRS conference Miami, Florida, USA, American association for artificial intelligence (pp. 393-398).
25. S.A. Gómez, C.I. Chesñevar, and G.R. Simari Defeasible reasoning in web forms through argumentation International Journal of Information Technology & Decision Making 7 2008 71 101
26. S. Gómez, C. Chesñevar, and G. Simari Reasoning with inconsistent ontologies through argumentation Applied Artificial Intelligence 1 24 2010 102 148
27. Grosof, B., Horrocks, I., Volz, R. & Decker, S., 2003. Logic programs: Combining logic programs with description logics. In WWW2003, May 20-24, Budapest, Hungary.
28. T.R. Gruber A translation approach to portable ontologies Knowledge Acquisition 5 2 1993 199 220
29. Haarslev, V. & Möller, R., 2001. RACER System Description, Technical report, University of Hamburg, Computer Science Department.
30. P. Haase, and B. Motik A mapping system for the integration of OWL-DL ontologies A. Hahn, S. Abels, L. Haak, IHIS 05: Proceedings of the first international workshop on interoperability of heterogeneous information systems 2005 ACM Press 9 16 (Pubitemid 44447464)
31. Heymans, S. & Vermeir, D., 2002. A Defeasible Ontology Language, CoopIS/DOA/ODBASE 2002 (pp. 1033-1046).
32. Horridge, M., Parsia, B. & Sattler, U., 2008. Laconic and Precise Justifications in OWL, In 'Proceedings of the international semantic web conference (ISWC 2008)'.
33. Huang, Z., van Harmelen, F. & ten Teije, A., 2005, Reasoning with Inconsistent Ontologies. In L.P. Kaelbling & A. Saffiotti, (Eds.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland (pp. 454-459).
34. Imam, F., MacCaull, W. & Kennedy, M., 2007. Merging healthcare ontologies: Inconsistency tolerance and implementation issues In Twentieth IEEE International Symposium on Computer-Based Medical Systems (CBMS '07) (pp. 74-85).
35. N.K. Janjua, and F.K. Hussain Web@idss argumentation-enabled web-based idss for reasoning over incomplete and conflicting information Knowledge-Based Systems 32 0 2012 9 27
36. A.C. Kakas, and F. Toni Computing argumentation in logic programming Journal of Logic and Computation 9 4 1999 515 562
37. A.C. Kakas, P. Mancarella, and P.M. Dung The acceptability semantics for logic programs Proceedings of the 11th international conference on logic programming 1994 MIT Press Santa Margherita, Italy 504 519
38. Klein, M., 2001. Combining and relating ontologies: An analysis of problems and solutions. In A. Gomez-Perez, M. Gruninger, H. Stuckenschmidt & M. Uschold (Eds.), Workshop on ontologies and information sharing, IJCAI'01, Seattle, USA.
39. L. Laera, V. Tamma, J. Euzenat, T. Bench-Capon, and T. Payne Reaching agreement over ontology alignments Proceedings of the 5th International Semantic Web Conference (ISWC 2006), Athens, GA Lecture Notes in Computer Science Vol. 4273 2006 Springer Berlin/ Heidelberg
40. Lenzerini, M., 2002. Data integration: A theoretical perspective, In Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2002, Madison, Winsconsin, USA.
41. J. Lloyd Foundations of logic programming 1987 Springer-Verlag
42. S. Modgil, F. Toni, F. Bex, I. Bratko, C. Chesñevar, and W. Dvořák The added value of argumentation: examples and challenges O. Sascha, Handbook of agreement technologies Vol. 8 2013 Springer Verlag New York, USA
43. D. Nute Defeasible reasoning J.H. Fetzer, Aspects of artificial intelligence 1988 Kluwer Academic Publishers. Norwell, MA 251 288
44. D. Nute Basic defeasible logic L. Fariñas del Cerro, Intensional logics for programming 1992 Clarendon Press Oxford
45. Parsia, B. & Sirin, E., 2004. Pellet: An OWL DL Reasoner. In 3rd International semantic web conference (ISWC2004).
46. S. Parsons, C. Sierrra, and N. Jennings Agents that reason and negotiate by arguing Journal of Logic and Computation 8 1998 261 292 (Pubitemid 128637747)
47. J. Pollock Knowledge and justification 1974 Princeton
48. J.L. Pollock Defeasible reasoning Cognitive Science 11 1987 481 518
49. J.L. Pollock Cognitive carpentry: A blueprint for how to build a person 1995 Bradford/MIT Press
50. H. Prakken, and G. Sartor The role of logic in computational models of legal argument-A critical survey A. Kakas, F. Sadri, Computational logic: logic programming and beyond 2002 Springer 342 380
51. H. Prakken, and G. Vreeswijk Logical systems for defeasible argumentation D. Gabbay, F. Guenther, Handbook of philosophical logic 2002 Kluwer Academic Publishers 219 318
52. I. Rahwan, and G.R. Simari Argumentation in artificial intelligence 2009 Springer
53. I. Rahwan, S.D. Ramchurn, N.R. Jennings, P. Mcburney, S. Parsons, and L. Sonenberg Argumentation-based negotiation Knowledge Engineering Review 18 4 2003 343 375
54. M.M. Ribeiro, and R. Wassermann Base revision for ontology debugging Journal of Logic and Computation 19 5 2009 721 743
55. C. Sierra, and P. Noriega Agent-mediated interaction from auctions to negotiation and argumentation Foundations and applications of multi-Agent systems LNCS series Vol. 2403 2002 Springer 27 48
56. G. Simari, and R. Loui A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 1992 125 157
57. F. Stolzenburg, A. García, C. Chesñevar, and G. Simari Computing generalized specificity Journal of Applied Non-Classical Logics 13 1 2003 87 113
58. B. Verheij Virtual arguments On the design of argument assistants for lawyers and other arguers 2005 Asser Press The Hague
59. P.D. Wasserman Neural computing Theory and practice 1989 Van Nostrand Reinhold
60. Williams, M. & Hunter, A., 2007. Harnessing ontologies for argument-based decision-making in breast cancer. In Proceedings of the international conference on tools with AI (ICTAI'07) (pp. 254-261).
61. P. Zhang, J. Sun, and H. Chen Frame-based argumentation for group decision task generation and identification Decision Support Systems 39 2005 643 659 (Pubitemid 40061307)