Reasoning with inconsistent ontologies through argumentation

Applied Artificial Intelligence

Volumn 24, Issue 1-2, 2010, Pages 102-148

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

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; LOGIC PROGRAMMING; QUERY PROCESSING;

COMPLEX ENTITIES; DEFEASIBLE LOGIC; DESCRIPTION LOGIC; GLOBAL AS VIEW APPROACHES; LOGIC PROGRAMS; ONTOLOGY'S; ONTOLOGY: INTEGRATION;

ONTOLOGY;

EID: 76349110800     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839510903448692     Document Type: Conference Paper

References (70)

1. 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.
2. 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.
3. 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.
4. 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.
5. Bench-Capon, T. J. M., and P. E. Dunne. 2007. Argumentation in artificial intelligence. Artif. Intell. 171(10-15):619-641.
6. Berners-Lee, T., J. Hendler, and O. Lassila. 2001. The semantic web. Scientific American 284(5):34-43.
7. Brena, R., C. Chesñëvar, 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.
8. Brewka, G., J. Dix, and K. Konolige. 1997. Non monotonic reasoning. An overview, CSLI Publications, Stanford, USA.
9. 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.
10. 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.
11. Carbogim, D., D. Robertson, and J. Lee. 2000. Argument-based applications to knowledge engineering. The Knowledge Engineering Review 15(2):119-149.
12. 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.
13. 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.
14. 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.
15. 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.
16. Chesñevar, C. I., A. Maguitman, and R. Loui. 2000. Logical models of argument. ACM Computing Surveys 32(4):337-383.
17. 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.
18. 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.
19. Varna, Bulgari 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.
20. 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).
21. Dimopoulos, Y., and A. Kakas. 1995. Logic programming without negation as failure. In: Logic Programming, ed. J. Lloyd, 369-383. Cambridge, MA: MIT Press.
22. 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.
23. Euzenat, J., and P. Shvaiko. 2007. Ontology Matching. Berlin/Heidelberg: Springer-Verlag.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. Grosof, B. N., I. Horrocks, R. Volz, and S. Decker. 2003. Description logic programs: combining logic programs with description logics. WWW2003, Budapest, Hungary.
32. Gruber, T. R. 1993. A translation approach to portable ontologies. Knowledge Acquisition 5(2):199-220.
33. Haarslev, V., and R. Möller. 2001. RACER System Description. Technical Report, University of Hamburg, Computer Science Department.
34. Heymans, S., and D. Vermeir, 2002. A defeasible ontology language. In: CoopIS/DOA/ODBASE, 1033-1046.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. Kakas, A. C., and F. Toni. 1999. Computing argumentation in logic programming. Journal of Logic and Computation 9(4):515-562.
41. 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.
42. Krötzch, M., S. Rudolph, and P. Hitzler. 2007. Complexity of horn description logics. Technical Report, Institute AIFB, Universität Karlsruhe, Germany.
43. 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.
44. 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.
45. Lloyd, J. 1987. Foundations of Logic Programming. Berlin, Germany: Springer-Verlag.
46. McGuiness, D. L., and F. van Harmelen. 2004. OWL Web Ontology Language Overview.
47. 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.
48. Mitra, P. 2004. An algebraic framework for the interoperation of ontologies. PhD thesis, Dept. of Electrical Engineering Stanford University.
49. Nute, D. 1988. Defeasible reasoning. In: Aspects of Artificial Intelligence, ed. J. H. Fetzer, 251-288. Norwell, MA: Kluwer Academic Publishers.
50. Nute, D. 1992. Basic defeasible logic. In: Intensional Logics for Programming, ed. L. Fariñas del Cerro. Oxford: Claredon Press.
51. Parsia, B., and E. Sirin. 2004. Pellet: An OWL DL Reasoner. In: 3rd International Semantic Web Conference (ISWC2004). Hiroshima, Japan.
52. Parsons, S., C. Sierrra, and N. Jennings. 1998. Agents that reason and negotiate by arguing. Journal of Logic and Computation 8:261-292.
53. Pollock, J. L. 1974. Knowledge and Justification. Princeton, NJ: Princeton University Press.
54. Pollock, J. L. 1987. Defeasible reasoning. Cognitive Science 11:481-518.
55. Pollock, J. L. 1995. Cognitive Carpentry: A Blueprint for How to Build a Person. Boston: Bradford/MIT Press.
56. 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.
57. 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.
58. 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.
59. Reiter, R., and G. Criscuolo. 1981. On interacting defaults. In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI,81), 94-100.
60. Ricca, F., and N. Leone. 2007. Disjunctive logic programming with types and objects: The DLV+ system. J. Applied Logic 5(3):545-573.
61. Sandewall, E. 1986. Non-monotonic inference rules for multiple inheritance with exceptions. In: Proceedings IEEE 74, 1345-1353.
62. 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.
63. Simari, G. R., and R. P. Loui. 1992. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53:125-157.
64. Stolzenburg, F., A. García, C. Chesñevar, and G. Simari. 2003. Computing generalized specificity. J. N. Classical Logics 13(1):87-113.
65. 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.
66. Verheij, B. 2005. Virtual Arguments, On the Design of Argument Assistants for Lawyers and Other Arguers. The Hague: Asser Press.
67. Volz, R. 2004. Web ontology reasoning with logic databases. PhD thesis, Universität Fridericiana zu Karlsruhe. Karlsruhe, Germany.
68. 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.
69. 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.
70. Zhang, P., J. Sun, and H. Chen. 2005. Frame-based argumentation for group decision task generation and identification. Decision Support Systems 39:643-659.