The Community for Technology Leaders
RSS Icon
Issue No.06 - November/December (2007 vol.22)
pp: 66-74
Paolo Torroni , University of Bologna
Marco Gavanelli , University of Ferrara
Federico Chesani , University of Bologna
This article identifies an important role that argumentation should play in the development of the Semantic Web vision. It proposes the ArgSCIFF architecture, which supports high-level reasoning and argumentation-driven interaction among Semantic Web services. ArgSCIFF is based on a concrete, implemented operational model. The authors demonstrate the architecture's ideas and functioning by way of a running example. This article is part of a special issue on argumentation technology.
argumentation frameworks, logic programming, Semantic Web
Paolo Torroni, Marco Gavanelli, Federico Chesani, "Argumentation in the Semantic Web", IEEE Intelligent Systems, vol.22, no. 6, pp. 66-74, November/December 2007, doi:10.1109/MIS.2007.100
1. M. Alberti et al., "Verifiable Agent Interaction in Abductive Logic Programming: The SCIFFFramework," to be published in ACM Trans. Computational Logic; http://tocl.acm.orgaccepted.html.
2. T.H. Fung and R. Kowalski, "The IFF Proof Procedure for Abductive Logic Programming," J. Logic Programming, vol. 33, no. 2, 1997, pp. 151–165.
3. L. Laera et al., "Reaching Agreement over Ontology Alignments," Proc. 5th Int'l Semantic Web Conf. (ISWC 06), LNCS 4273, Springer, 2006, pp. 371–384.
4. P. Dung, "On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games," Artificial Intelligence, vol. 77, no. 2, 1995, pp. 321–357.
5. M. Alberti et al., "Mapping Deontic Operators to Abductive Expectations," Computational and Mathematical Organization Theory, vol. 12, nos. 2–3, 2006, pp. 205–225.
6. M. Alberti et al., "Web Service Contracting: Specification and Reasoning with SCIFF," Proc. 4th European Semantic Web Conf. (ESWC 07), LNCS 4519, Springer, 2007, pp. 68–83.
7. A. Wyner, T. Bench-Capon, and K. Atkinson, "Three Senses of 'Argument,'" Proc. Workshop Argumentation and Nonmonotonic Reasoning (ArgNMR 07), 2007, pp. 1–15; ArgNMR-proceedings.pdf.
8. A. Kakas, R. Kowalski, and F. Toni, "Abductive Logic Programming," J. Logic and Computation, vol. 2, no. 6, 1993, pp. 719–770.
9. K. Kunen, "Negation in Logic Programming," J. Logic Programming, vol. 4, 1987, pp. 289–308.
10. A. Kakas and F. Toni, "Computing Argumentation in Logic Programming," J. Logic and Computation, vol. 9, no. 4, 1999, pp. 515–562.
11. S. Coste-Marquis, C. Devred, and P. Marquis, "Symmetric Argumentation Frameworks," Proc. 8th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQUARU05), LNCS 3571, Springer, 2005, pp. 317–328.
36 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool