Visual Development of Defeasible Logic Rules for the Semantic Web

Abstract

This chapter is concerned with the visualization of defeasible logic rules in the Semantic Web domain. Logic plays an important role in the development of the Semantic Web and defeasible reasoning seems to be a very suitable tool. However, it is too complex for an end-user, who often needs graphical trace and explanation mechanisms for the derived conclusions. Directed graphs can assist in this affair, by offering the notion of direction that appears to be extremely applicable for the representation of rule attacks and superiorities in defeasible reasoning. Their applicability, however, is balanced by the fact that it is difficult to associate data of a variety of types with the nodes and the connections between the nodes in the graph. In this chapter we try to utilize digraphs in the graphical representation of defeasible rules, by exploiting the expressiveness and comprehensibility they offer, but also trying to leverage their major disadvantages. Finally, the chapter briefly presents a tool that implements this representation methodology.