LPIS Home Page
Google Search

Title: Visualizing Semantic Web Proofs of Defeasible Logic in the DR-DEVICE System
Author(s): E. Kontopoulos, N. Bassiliades, G. Antoniou.
Keywords: Semantic Web, Defeasible logic, Explanations, Proof visualization, Rule base.
Appeared in: Knowledge-based Systems, Elsevier, 24(3), pp. 406-419, 2011.
Abstract: The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProofH and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tools usability.
See also :

        This paper has been cited by the following:

1 Sergio Pajares Ferrando, Eva Onaindia and Alejandro Torreño. An Architecture for Defeasible-Reasoning-Based Cooperative Distributed Planning. On The Move to Meaningful Internet Systems (OTM 2011), Lecture Notes in Computer Science, 2011, Volume 7044/2011, pp. 200-217, 2011.
2 Janjua, N. K., Hussain, F. K., & Hussain, O. Semantic information and knowledge integration through argumentative reasoning to support intelligent decision making. Information Systems Frontiers, Springer Netherlands, pp. 1-26, 2012.
3 Janjua, N. K., Hussain, F. K. Web@IDSS - Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information. Know.-Based Syst., 32, pp. 9-27, August 2012.
4 Darlington, K. Aspects of Intelligent Systems Explanation. Universal Journal of Control and Automation, pp. 40 - 51, DOI: 10.13189/ujca.2013.010204, 2013
5 Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler, Toward cognitive support for OWL justifications, Knowledge-Based Systems, Volume 53, November 2013, Pages 66-79, ISSN 0950-7051, http://dx.doi.org/10.1016/j.knosys.2013.08.021.
6 Livingston, M.A., Murugesan, A., Brock, D., Frost, W.K., Perzanowski, D., Visualization of decision processes using a cognitive architecture, (2013) Proceedings of SPIE - The International Society for Optical Engineering, 8654, art. no. 86540U.
7 Naeem Khalid Janjua, Omar Khadeer Hussain, Farookh Khadeer Hussain, Elizabeth Chang. Philosophical and Logic-Based Argumentation-Driven Reasoning Approaches and their Realization on the WWW: A Survey. The Computer Journal (2014), doi: 10.1093/comjnl/bxu057
8 Naeem Khalid Janjua, Validation and Evaluation of GF@SWA, A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications: Recognizing Outstanding Ph.D. Research, Springer Theses, pp 235-273, Springer International Publishing, ISBN 978-3-319-03948-0, 2014.