Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/15907
Full metadata record
DC FieldValueLanguage
dc.contributor.authorZHANG, Xiaowang-
dc.contributor.authorLin, Zuoquan-
dc.date.accessioned2013-10-29T12:48:19Z-
dc.date.available2013-10-29T12:48:19Z-
dc.date.issued2013-
dc.identifier.citationCOMPUTING AND INFORMATICS, 32 (5), p. 924-948-
dc.identifier.issn1335-9150-
dc.identifier.urihttp://hdl.handle.net/1942/15907-
dc.description.abstractArgumentation frameworks for ontology reasoning and management have received extensive interests in the field of artificial intelligence in recent years. As one of the most popular argumentation frameworks, Besnard and Hunter's framework is built on arguments in the form of łangle Phi, phi rangle where Phi is consistent and minimal for entailing phi. However, the problem of generating arguments over ontologies is still open. This paper presents an approach to generating arguments over DL-Lite ontologies by searching support paths in focal graphs. Moreover, theoretical results and examples are provided to ensure the correctness of this approach. Finally, we show that approach has the same complexity as propositional revision.-
dc.description.sponsorshipResearch Foundation Flanders under grant G.0489.10N.-
dc.language.isoen-
dc.rightsCopyright: Publishers of Computing and Informatics.-
dc.subject.otherDL-Lite, ontology, argument, focal graph, support path-
dc.titleAn Approach to Generating Arguments over DL-Lite Ontologies-
dc.typeJournal Contribution-
dc.identifier.epage948-
dc.identifier.issue5-
dc.identifier.spage924-
dc.identifier.volume32-
local.bibliographicCitation.jcatA1-
dc.description.notes[Xiaowang Zhang] Hasselt University, Diepenbeek 3590, Belgium; [Zuoquan Lin] Peking University, Beijing 100871, P. R. China.-
dc.relation.references[1] A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev, “The DL-Lite Family and Relations,” J. Artif. Intell. Res. 36 (2009) 1–69. [2] A.Kalyanpur, B. Parsia, E. Sirin, C. B. Grau, “Debugging unsatisfiable classes in OWL ontologies”, J. Web Sem., 3(4)(2006) 268 – 293. [3] B. Motik, “Reasoning in Description Logics using Resolution and Deductive Databases”, Ph. D. Thesis, Karlsruhe University, 2006. [4] C. Tempich, E. P. B. Simperl, M. Luczak, R. Studer and H. S. Pinto, “Argumentation-based Ontology Engineering,” IEEE Intel. Sys., 22(6)(2007)52 – 59. [5] D. Calvanese, G. D.Giacomo, D. Lembo, M. Lenzerini and R. Rosati, “Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family,” J. Autom. Reasoning, 39(3)(2007) 385 – 429. [6] E. Black, A. Hunter and J. Z. Pan, “An Argument-based Approach to Using Multiple Ontologies,”. Proc. 3rd Int. Conf. Scalable Uncertainty Management, eds. L. Godo, A. Pugliese, Washington, DC, 2009, pp. 68 – 79. [7] E. C. Paraiso and A. Malucelli, “Ontologies Supporting Intelligent Agent-Based Assistance, ” Comput. Inform., 30(4)(2011) 829 –855. [8] F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, UK, 2003. [9] G. Flouris, Z. Huang, J. Z. Pan, D. Plexousakis and H. Wache, “Inconsistencies, Negations and Changes in Ontologies,” Proc. 21st National Conf. Artif. Intell., USA 2006, pp. 1295 – 1300. [10] I. Horrocks, “Ontologies and the Semantic Web,” Comm. ACM, 51(12)(2008) 58 – 67. [11] L. E. Bertossi and A. Hunter, T. Schaub, Inconsistency Tolerance, Springer, 2005. [12] P. Besnard and A. Hunter, “A Logic-based Theory of Deductive Arguments,” Artif. Intell., 128(1-2)(2001) 203 – 235. [13] P. M. Dung, “On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games,” Artif. Intell. 77(2)(1995), 321– 358. [14] S. A. G´omez, C. I. Ches˜nevar and G. R. Simari, “An Argumentative Approach to Reasoning with Inconsistent Ontologies”. Proc. 1st Knowledge Representation Ontology Workshop eds. T. Meyer and M. A. Orgun, Australia, 2008, pp. 11–20. [15] S. A. G´omez, C. I. Ches˜nevar and G. R. Simari, “Reasoning with Inconsistent Ontologies Through Argumentation,” Applied Artif. Intell., 24(1-2)(2010)102 –148. [16] S. Parsons, M. Wooldridge and L. Amgoud, “Properties and Complexity of Some Formal Inter-agent dialogues,” J. Log. Comp., 13(3) (2003) 347 – 376.[17] S. Schlobach and R. Cornet, “Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies,” Proc. 18th Int. Joint Conf. Artif. Intell. eds. G. Gottlob and T. Walsh, Acapulco, 2003, pp. 355 – 362. [18] T. Berners-Lee, J. Hendler and O. Lassila, The Semantic Web: Scientific American, Scientific American Magazine, USA, 2001. [19] T. Eiter and G. Gottlob, “The Complexity of Logic-based Abduction,” J. ACM, 42 (1995) 3 – 42. [20] T. Meyer, K. Lee and R. Booth, R, “Knowledge Integration for Description Logics,” Proc. 20th National Conf. Artif. Intell. eds. M. Veloso and S. Kambhampati, Pennsylvania, 2005, pp. 645 – 650. [21] V. Efstathiou and A. Hunter, “Focused Search for Arguments from Propositional Knowledge,” Proc. 2nd Int. Conf. Computational Models of Argument eds. P. Besnard, S. Doutre and A. Hunter, Toulouse, 2008, pp. 159–170. [22] V. Efstathiou and A. Hunter, “JArgue: An Implemented Argumentation system for classical Propositional Logic,” online demo, 2010. [23] V. Efstathiou and A. Hunter, “Algorithms for Generating Arguments and Counterarguments in Propositional Logic,” Int. J. Approx. Reasoning, 52 (2011) 672 – 704. [24] W. Funika, P. Godowski, P. Pegiel and D. Krol, “Semantic-Oriented Performance Monitoring of Distributed Applications, ” Comput. Inform., 31(2)(2012) 427 – 446. [25] X. Zhang and Z. Lin, “An Argumentation-based Approach to Handling Inconsistencies in DL-Lite,” Proc. 32nd Ann. German Conf. Artif. Intell. eds. B. Mertsching, M. Hund and M. Zaheer Aziz, Paderborn, 2009, pp. 615 – 622. [26] X. Zhang, G. Xiao and Z. Lin, “A Tableau Algorithm for Handling Inconsistency in OWL,” Proc. 6th European Semantic Web Conf. eds. L. Aroyo et al, Heraklion, 2009, pp. 399 – 413. [27] X. Zhang, Z. Zhang and Z. Lin, “An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC,” Proc. 22nd Int. Workshop Description Logics eds. B. Cuenca Grau, I. Horrocks, B. Motik and U. Sattler, Oxford, 2009. [28] X. Zhang and Z. Lin, “An Argumentation Framework for Description Logic Ontology Reasoning and Management,” J. Intell. Inf. Syst., DOI:10.1007/s10844-012-0230-7. [29] Y. Ma, P. Hitzler and Z. Lin, “Algorithms for Paraconsistent Reasoning with OWL,” Proc 4th European Semantic Web Conf. eds. E. Franconi, M. Kifer and W. May, Innsbruck, 2007, pp. 399 – 413. [30] Z. Huang, F.van Harmelen and A. ten Teije, “Reasoning with Inconsistent Ontologies,” Proc. 19th Int. Joint Conf. Artif. Intell., eds. L. Pack Kaelbling and A. Saffiotti, Edinburgh, 2005, pp. 454 – 459. [31] Z. Wang, K. Wang and R. W. Topor, “A New Approach to Knowledge Base Revision in DL-Lite,” Proc. 24th National Conf. Artif. Intell. eds. M. Fox and D. Poole, Atlanta, 2010, pp. 369 – 374.-
local.type.refereedRefereed-
local.type.specifiedArticle-
dc.identifier.isi000327410900002-
dc.identifier.urlhttp://cai.type.sk/content/2013/5/an-approach-to-generating-arguments-over-dl-lite-ontologies/-
item.validationecoom 2014-
item.fulltextWith Fulltext-
item.accessRightsOpen Access-
item.fullcitationZHANG, Xiaowang & Lin, Zuoquan (2013) An Approach to Generating Arguments over DL-Lite Ontologies. In: COMPUTING AND INFORMATICS, 32 (5), p. 924-948.-
item.contributorZHANG, Xiaowang-
item.contributorLin, Zuoquan-
crisitem.journal.issn1335-9150-
crisitem.journal.eissn1335-9150-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
CAI874.pdfPublished version485.2 kBAdobe PDFView/Open
Show simple item record

WEB OF SCIENCETM
Citations

1
checked on Apr 8, 2024

Page view(s)

14
checked on Sep 7, 2022

Download(s)

12
checked on Sep 7, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.