{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:24:07Z","timestamp":1760549047550},"reference-count":51,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2011,4,1]],"date-time":"2011-04-01T00:00:00Z","timestamp":1301616000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1016\/j.knosys.2010.12.001","type":"journal-article","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T09:15:13Z","timestamp":1291972513000},"page":"406-419","source":"Crossref","is-referenced-by-count":29,"title":["Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system"],"prefix":"10.1016","volume":"24","author":[{"given":"Efstratios","family":"Kontopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.knosys.2010.12.001_b0005","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1016\/j.datak.2007.10.006","article-title":"Proof explanation for a nonmonotonic Semantic Web rules language","volume":"64","author":"Antoniou","year":"2008","journal-title":"Data and Knowledge Engineering"},{"issue":"2","key":"10.1016\/j.knosys.2010.12.001_b0010","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/371316.371517","article-title":"Representation results for defeasible logic","volume":"2","author":"Antoniou","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0015","first-page":"45","article-title":"Defeasible logic versus logic programming without negation as failure","volume":"41","author":"Antoniou","year":"2000","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/j.knosys.2010.12.001_b0020","unstructured":"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\u201371."},{"key":"10.1016\/j.knosys.2010.12.001_b0025","doi-asserted-by":"crossref","unstructured":"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\u2013210.","DOI":"10.1007\/978-3-540-88808-6_21"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0030","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2006010101","article-title":"A defeasible logic reasoner for the Semantic Web","volume":"2","author":"Bassiliades","year":"2006","journal-title":"International Journal on Semantic Web and Information Systems"},{"key":"10.1016\/j.knosys.2010.12.001_b0035","doi-asserted-by":"crossref","unstructured":"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\u2013258.","DOI":"10.1007\/978-3-540-72982-2_19"},{"key":"10.1016\/j.knosys.2010.12.001_b0040","unstructured":"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\u2013159."},{"key":"10.1016\/j.knosys.2010.12.001_b0045","unstructured":"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\u201322, 2006, pp. 57\u201364."},{"issue":"5","key":"10.1016\/j.knosys.2010.12.001_b0050","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","article-title":"The Semantic Web","volume":"284","author":"Berners-Lee","year":"2001","journal-title":"Scientific American"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0055","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/1800000001","article-title":"A framework for web science","volume":"1","author":"Berners-Lee","year":"2006","journal-title":"Foundations and Trends in Web Science"},{"key":"10.1016\/j.knosys.2010.12.001_b0060","doi-asserted-by":"crossref","unstructured":"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\u2013351.","DOI":"10.1007\/978-3-540-87881-0_31"},{"issue":"5","key":"10.1016\/j.knosys.2010.12.001_b0065","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.knosys.2008.03.009","article-title":"An invertebrate semantic\/software application development framework for knowledge-based systems","volume":"21","author":"Biletskiy","year":"2008","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/j.knosys.2010.12.001_b0070","unstructured":"T.W. de Boer, A Beginners Guide to Visual Prolog. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.download.pdc.dk\/vip\/72\/books\/deBoer\/VisualPrologBeginners.pdf>."},{"key":"10.1016\/j.knosys.2010.12.001_b0075","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-540-39715-1_1"},{"key":"10.1016\/j.knosys.2010.12.001_b0080","unstructured":"H. Boley, POSL: an integrated positional-slotted language for Semantic Web knowledge. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.ruleml.org\/submission\/ruleml-shortation.html>."},{"key":"10.1016\/j.knosys.2010.12.001_b0085","doi-asserted-by":"crossref","unstructured":"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\u2013190.","DOI":"10.1007\/10722311_7"},{"issue":"3","key":"10.1016\/j.knosys.2010.12.001_b0090","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1017\/S0269888908001318","article-title":"A review of current defeasible reasoning implementations","volume":"23","author":"Bryant","year":"2008","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/j.knosys.2010.12.001_b0095","unstructured":"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."},{"key":"10.1016\/j.knosys.2010.12.001_b0100","unstructured":"CLIPS 6.3 Reference Manual, Volume I, Basic Programming Guide. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.clipsrules.sourceforge.net\/documentation\/v630\/bpg.pdf>."},{"key":"10.1016\/j.knosys.2010.12.001_b0105","doi-asserted-by":"crossref","unstructured":"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\u2013154.","DOI":"10.1007\/978-3-540-75975-1_12"},{"key":"10.1016\/j.knosys.2010.12.001_b0110","doi-asserted-by":"crossref","unstructured":"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\u201808), ACM, New York, NY, 2008, pp. 2350\u20132351.","DOI":"10.1145\/1363686.1364244"},{"key":"10.1016\/j.knosys.2010.12.001_b0115","unstructured":"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."},{"key":"10.1016\/j.knosys.2010.12.001_b0120","unstructured":"M. Genesereth, R. Fikes, Knowledge Interchange Format Version 3.0 Reference Manual, Technical Report, Logic Group, Comp. Sci. Dept., Stanford Univ., 1992."},{"issue":"6","key":"10.1016\/j.knosys.2010.12.001_b0125","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/j.knosys.2009.06.003","article-title":"Question answering based on pervasive agent ontology and Semantic Web","volume":"22","author":"Guo","year":"2009","journal-title":"Knowledge-Based Systems"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0130","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2945.841119","article-title":"Graph visualization and navigation in information visualization: a survey","volume":"6","author":"Herman","year":"2000","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"key":"10.1016\/j.knosys.2010.12.001_b0135","unstructured":"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."},{"key":"10.1016\/j.knosys.2010.12.001_b0140","doi-asserted-by":"crossref","unstructured":"E. Kontopoulos, N. Bassiliades, G. Antoniou, Visualizing defeasible logic rules for the Semantic Web, in: 1st Asian Semantic Web Conference (ASWC\u201906), LNCS, 4185, Beijing, China, 3\u20137 September 2006, Springer-Verlag, pp. 278\u2013292.","DOI":"10.1007\/11836025_28"},{"key":"10.1016\/j.knosys.2010.12.001_b0145","doi-asserted-by":"crossref","unstructured":"E. Kontopoulos, N. Bassiliades, G. Antoniou, Visual stratification of defeasible logic rule bases, in: 19th IEEE international conference on tools with artificial intelligence (ICTAI\u201907), IEEE, Patras, Greece, 2007, pp. 238\u2013245.","DOI":"10.1109\/ICTAI.2007.39"},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0150","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.datak.2008.02.005","article-title":"Deploying defeasible logic rule bases for the Semantic Web","volume":"66","author":"Kontopoulos","year":"2008","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/j.knosys.2010.12.001_b0155","doi-asserted-by":"crossref","unstructured":"H.P. Lam, G. Governatori, The making of SPINdle, in: International Symposium on Rule Interchange and Applications (RuleML\u201909), 5858, 2009, pp. 315\u2013322.","DOI":"10.1007\/978-3-642-04985-9_29"},{"issue":"6","key":"10.1016\/j.knosys.2010.12.001_b0160","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1016\/j.knosys.2010.04.005","article-title":"Comparison of a deductive database with a Semantic Web reasoning engine","volume":"23","author":"Ludwig","year":"2010","journal-title":"Knowledge-Based Systems"},{"issue":"4","key":"10.1016\/j.knosys.2010.12.001_b0165","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1142\/S0218213001000623","article-title":"Efficient defeasible reasoning systems","volume":"10","author":"Maher","year":"2001","journal-title":"International Journal of Tools with Artificial Intelligence"},{"key":"10.1016\/j.knosys.2010.12.001_b0170","unstructured":"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."},{"key":"10.1016\/j.knosys.2010.12.001_b0175","doi-asserted-by":"crossref","unstructured":"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\u201903), LNCS, 2870, Springer, 2003, pp. 113\u2013129.","DOI":"10.1007\/978-3-540-39718-2_8"},{"key":"10.1016\/j.knosys.2010.12.001_b0180","doi-asserted-by":"crossref","unstructured":"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\u2013395.","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"10.1016\/j.knosys.2010.12.001_b0185","unstructured":"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\u2013405."},{"issue":"3","key":"10.1016\/j.knosys.2010.12.001_b0190","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-9236(97)00063-8","article-title":"Defeasible logic graphs: I. Theory","volume":"22","author":"Nute","year":"1998","journal-title":"Decision Support Systems"},{"key":"10.1016\/j.knosys.2010.12.001_b0195","doi-asserted-by":"crossref","unstructured":"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+.","DOI":"10.1186\/1471-2105-10-S10-S14"},{"key":"10.1016\/j.knosys.2010.12.001_b0200","doi-asserted-by":"crossref","unstructured":"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\u201909), Chantilly, VA, USA, LNCS, 5823, Springer, 2009, pp. 505\u2013520.","DOI":"10.1007\/978-3-642-04930-9_32"},{"key":"10.1016\/j.knosys.2010.12.001_b0205","unstructured":"Piccolo2D \u2013 A Structured 2D Graphics Framework. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.piccolo2d.org>."},{"key":"10.1016\/j.knosys.2010.12.001_b0210","unstructured":"E. Pulvermueller, S. Feja, A. Speck, Developer-friendly verification of process-based systems, in: H. Fujita (Ed.), Knowledge-Based Systems Special issue on \u201cIntelligent Formal Techniques for Software Design: IFTSD\u201d, vol. 23(7), 2010, pp. 667\u2013676."},{"key":"10.1016\/j.knosys.2010.12.001_b0215","doi-asserted-by":"crossref","unstructured":"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\u2013741.","DOI":"10.1007\/978-3-540-76856-2_72"},{"issue":"2","key":"10.1016\/j.knosys.2010.12.001_b0220","first-page":"5","article-title":"On explanation","volume":"22","author":"Roth-Berghofer","year":"2008","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"10.1016\/j.knosys.2010.12.001_b0225","doi-asserted-by":"crossref","unstructured":"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\u2013317.","DOI":"10.1007\/11431053_21"},{"issue":"4\u20135","key":"10.1016\/j.knosys.2010.12.001_b0230","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/j.is.2005.02.003","article-title":"A proof markup language for Semantic Web services","volume":"31","author":"da Silva","year":"2006","journal-title":"Information Systems"},{"key":"10.1016\/j.knosys.2010.12.001_b0235","first-page":"950","article-title":"MYCIN and NEOMYCIN: two approaches to generating explanations in rule based expert systems","volume":"61","author":"Sotos","year":"1990","journal-title":"Aviation, Space, and Environmental Medicine"},{"key":"10.1016\/j.knosys.2010.12.001_b0240","unstructured":"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\u201902, University of California, Irvine, 2002, pp. 69\u201378."},{"key":"10.1016\/j.knosys.2010.12.001_b0245","series-title":"Knowledge Representation and Organization in Machine Learning","first-page":"1","article-title":"Explanation: source of guidance for knowledge representation","volume":"vol. 347","author":"Swartout","year":"1989"},{"key":"10.1016\/j.knosys.2010.12.001_b0250","unstructured":"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\u201316."},{"issue":"1","key":"10.1016\/j.knosys.2010.12.001_b0255","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/332925.332933","article-title":"Explanation component of software system","volume":"5","author":"Wooley","year":"1998","journal-title":"ACM Crossroads"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0950705110001735?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0950705110001735?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T22:50:14Z","timestamp":1712011814000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705110001735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["S0950705110001735"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.knosys.2010.12.001","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2011,4]]}}}