Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

Knowledge-Based Systems

Volumn 24, Issue 3, 2011, Pages 406-419

  Kontopoulos, Efstratios ^a   Bassiliades, Nick ^a   Antoniou, Grigoris ^b  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

Defeasible logic; Explanations; Proof visualization; Rule base; Semantic Web

Indexed keywords

DEFEASIBLE LOGIC; DEVICE SYSTEM; EXPLANATIONS; HUMAN USERS; HYBRID APPROACH; MULTIPLE REPRESENTATION; PROOF VISUALIZATION; RESEARCH AREAS; RESEARCH EFFORTS; RULE BASE; RULE BASED SYSTEM; SOFTWARE TOOL; TREE-BASED; TRUST SYSTEMS; USER EVALUATIONS; USER NEED; WEB INFRASTRUCTURE;

COMPUTER SOFTWARE; SEMANTICS; VISUALIZATION;

SEMANTIC WEB;

EID: 79551690336     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2010.12.001     Document Type: Article

References (51)

1. G. Antoniou, A. Bikakis, N. Dimaresis, M. Genetzakis, G. Georgalis, G. Governatori, E. Karouzaki, N. Kazepis, D. Kosmadakis, M. Kritsotakis, G. Lilis, A. Papadogiannakis, P. Pediaditis, C. Terzakis, R. Theodosaki, and D. Zeginis Proof explanation for a nonmonotonic Semantic Web rules language Data and Knowledge Engineering 64 3 2008 662 687
2. G. Antoniou, D. Billington, G. Governatori, and M.J. Maher Representation results for defeasible logic ACM Transactions on Computational Logic 2 2 2001 255 287
3. G. Antoniou, M.J. Maher, and D. Billington Defeasible logic versus logic programming without negation as failure Journal of Logic Programming 41 1 2000 45 57
4. D. Artz, Y. Gil, A survey of trust in computer science and the Semantic Web, Web Semantics: Science, Services and Agents on the World Wide Web, 5(2) (2007) 58-71.
5. I. Avguleas, K. Gkirtzou, S. Triantafilou, A. Bikakis, G. Antoniou, E. Kontopoulos, N. Bassiliades, Visualization of proofs in defeasible logic, in: 2008 International Symposium on Rule Interchange and Applications (RuleML-2008), LNCS, 5321, Orlando, Florida, USA, Springer, 2008, pp. 197-210.
6. N. Bassiliades, G. Antoniou, and I. Vlahavas A defeasible logic reasoner for the Semantic Web International Journal on Semantic Web and Information Systems 2 1 2006 1 41
7. N. Bassiliades, G. Antoniou, G. Governatori, Proof explanation in the DR-DEVICE system, in: 1st Int. Conference on Web Reasoning and Rule Systems (RR 2007), LNCS, 4524, Austria, Springer-Verlag, 2007, pp. 249-258.
8. S.R. El-Beltagy, A.A. Rafea, A.H. Sameh, An agent based approach to expert system explanation, in: A.N. Kumar, I. Russell, (Eds.), Twelfth Int. Florida Artificial Intelligence Research Society Conference, AAAI Press, 1999, pp. 153-159.
9. C. Bennett, J. Ryall, L. Spalteholz, A. Gooch, The aesthetics of graph visualization, in: International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging, Banff, Alberta, Canada, June 20-22, 2006, pp. 57-64.
10. T. Berners-Lee, J. Hendler, and O. Lassila The Semantic Web Scientific American 284 5 2001 34 43
11. T. Berners-Lee, W. Hall, J.A. Hendler, K. O'Hara, N. Shadbolt, and D.J. Weitzner A framework for web science Foundations and Trends in Web Science 1 1 2006 1 130
12. A. Bikakis, C. Papatheodorou, G. Antoniou, The DR-prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web, in: 5th Hellenic Conference on Artificial Intelligence: Theories, Models and Applications, LNAI, 5138, Syros, Greece, Springer-Verlag, 2008, pp. 345-351.
13. Y. Biletskiy, and G.R. Ranganathan An invertebrate semantic/software application development framework for knowledge-based systems Knowledge-Based Systems 21 5 2008 371 376
14. T.W. de Boer, A Beginners Guide to Visual Prolog. .
15. H. Boley, Object-oriented RuleML: user-level roles, URI grounded clauses, and order-sorted terms, in: Rules and Rule Markup Languages for the Semantic Web (RuleML-2003), Sanibel Island, Florida, LNCS 2876, Springer-Verlag, 2003.
16. H. Boley, POSL: an integrated positional-slotted language for Semantic Web knowledge. .
17. P. Bouvier, Visual tools to debug prolog IV programs, in: P. Deransart, M.V. Hermenegildo, J. Maluszynski, (Eds.), Analysis and Visualization Tools For Constraint Programming, Constraint Debugging (DiSCiPl project), LNCS 1870, Springer-Verlag, 2000, pp. 177-190.
18. D. Bryant, and P. Krause A review of current defeasible reasoning implementations The Knowledge Engineering Review 23 3 2008 227 260
19. B.G. Buchanan, E.H. Shortliffe, Rule based expert systems: The mycin experiments of the Stanford Heuristic Programming Project, in: The Addison-Wesley Series in Artificial Intelligence, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984.
20. CLIPS 6.3 Reference Manual, Volume I, Basic Programming Guide. .
21. B.L. Craig, The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering, in: A. Paschke, Y. Biletskiy, (Eds.), 2007 International Conference on Advances in Rule Interchange and Applications, LNCS, Springer-Verlag, Berlin, Heidelberg, 2007, pp. 149-154.
22. C.G. Fernandes, V. Furtado, A. Glass, D.L. McGuinness, Towards the generation of explanations for Semantic Web Services in OWL-S, in: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC'08), ACM, New York, NY, 2008, pp. 2350-2351.
23. M. Gandhe, T. Finin, B. Grosof, SweetJess: Translating DamlRuleML to Jess, in: Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (in conjunction with ISWC 2002), Sardinia, Italy, 2002.
24. M. Genesereth, R. Fikes, Knowledge Interchange Format Version 3.0 Reference Manual, Technical Report, Logic Group, Comp. Sci. Dept., Stanford Univ., 1992.
25. Q. Guo, and M. Zhang Question answering based on pervasive agent ontology and Semantic Web Knowledge-Based Systems 22 6 2009 443 448
26. I. Herman, G. Melancon, and M.S. Marshall Graph visualization and navigation in information visualization: a survey IEEE Transactions on Visualization and Computer Graphics 6 1 2000 24 43
27. S. Hussain, S.R. Abidi, S.S.R. Abidi, Semantic Web framework for knowledge-centric clinical decision support systems, in: Proceedings of 11th Conference on Artificial Intelligence in Medicine (AIME2007), LNCS, vol. 4594, Springer, Berlin, 2007, pp. 451-455.
28. E. Kontopoulos, N. Bassiliades, G. Antoniou, Visualizing defeasible logic rules for the Semantic Web, in: 1st Asian Semantic Web Conference (ASWC'06), LNCS, 4185, Beijing, China, 3-7 September 2006, Springer-Verlag, pp. 278-292.
29. E. Kontopoulos, N. Bassiliades, G. Antoniou, Visual stratification of defeasible logic rule bases, in: 19th IEEE international conference on tools with artificial intelligence (ICTAI'07), IEEE, Patras, Greece, 2007, pp. 238-245.
30. E. Kontopoulos, N. Bassiliades, and G. Antoniou Deploying defeasible logic rule bases for the Semantic Web Data and Knowledge Engineering 66 1 2008 116 146
31. H.P. Lam, G. Governatori, The making of SPINdle, in: International Symposium on Rule Interchange and Applications (RuleML'09), 5858, 2009, pp. 315-322.
32. S.A. Ludwig Comparison of a deductive database with a Semantic Web reasoning engine Knowledge-Based Systems 23 6 2010 634 642
33. M.J. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller Efficient defeasible reasoning systems International Journal of Tools with Artificial Intelligence 10 4 2001 483 501
34. D.L. McGuinness, P.P. da Silva, R. Fikes, J. Jenkins, G. Frank, Inference web: portable and sharable explanations for question answering, in: AAAI Spring Symposium Workshop on New Directions for Question Answering, Stanford University, 2003.
35. D.L. McGuinness, P.P. da Silva, Infrastructure for Web explanations, in: D. Fensel, K. Sycara, J. Mylopoulos (Eds.), 2nd Int. Semantic Web Conference (ISWC'03), LNCS, 2870, Springer, 2003, pp. 113-129.
36. D. Nute, Defeasible logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford University Press, 1994, pp. 353-395.
37. D. Nute, Defeasible prolog, in: M. Covington, D. Nute, A. Vellino, (Eds.), Prolog Programming in Depth, second ed., Prentice-Hall, Upper Saddle River, NJ, 1997, pp. 345-405.
38. D. Nute, and K. Erk Defeasible logic graphs: I. Theory Decision Support Systems 22 3 1998 277 293
39. H. Oliver, G. Diallo, E. de Quincey, D. Alexopoulou, B. Habermann, P. Kostkova, M. Schroeder, S. Jupp, K. Khelif, R. Stevens, G. Jawaheer, G. Madle, A user-centred evaluation framework for the sealife Semantic Web browsers, BMC Bioinformatics 10(Suppl. 10) (2009) S14+.
40. D. Petrelli, S. Mazumdar, A. Dadzie, F. Ciravegna, Multi visualization and dynamic query for effective exploration of semantic data, in: A. Bernstein, D.R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (Eds.), 8th International Semantic Web Conference (ISWC'09), Chantilly, VA, USA, LNCS, 5823, Springer, 2009, pp. 505-520.
41. Piccolo2D - A Structured 2D Graphics Framework. .
42. E. Pulvermueller, S. Feja, A. Speck, Developer-friendly verification of process-based systems, in: H. Fujita (Ed.), Knowledge-Based Systems Special issue on "Intelligent Formal Techniques for Software Design: IFTSD", vol. 23(7), 2010, pp. 667-676.
43. N. Del Rio, P.P. da Silva, Probe-it! Visualization Support for Provenance, in: 2nd International Symposium on Visual Computing (ISVC 2), Lake Tahoe, NV, USA, LNCS, 4842, Springer, 2007, pp. 732-741.
44. T.R. Roth-Berghofer, and M.M. Richter On explanation Künstliche Intelligenz 22 2 2008 5 7
45. P. Shvaiko, F. Giunchiglia, P.P. da Silva, D.L. McGuinness, Web explanations for semantic heterogeneity discovery, in: Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), 2005, pp. 303-317.
46. P.P. da Silva, D.L. McGuinness, and R. Fikes A proof markup language for Semantic Web services Information Systems 31 4-5 2006 381 395
47. J. Sotos MYCIN and NEOMYCIN: two approaches to generating explanations in rule based expert systems Aviation, Space, and Environmental Medicine 61 1990 950 954
48. Y. Sure, V. Iosif, First results of a Semantic Web technologies evaluation, in: Common Industry Program at the Federated Event Co-Locating the Three International Conferences: DOA/ODBASE/CoopIS'02, University of California, Irvine, 2002, pp. 69-78.
49. W. Swartout, and S.W. Smoliar Explanation: source of guidance for knowledge representation K. Morik, Knowledge Representation and Organization in Machine Learning Springer Lecture Notes in Artificial Intelligence vol. 347 1989 Springer-Verlag 1 16
50. J. Wielemaker, An overview of the SWI-prolog programming environment, in: F. Mesnard, A. Serebenik, (Eds.), 13th International Workshop on Logic Programming Environments, Heverlee, Belgium, Katholieke Universiteit Leuven, 2003, pp. 1-16.
51. B.A. Wooley Explanation component of software system ACM Crossroads 5 1 1998 24 28