DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

2007 ◽  
Vol 19 (2) ◽  
pp. 233-245 ◽  
Author(s):  
Grigoris Antoniou ◽  
Antonis Bikakis
Author(s):  
Nick Bassiliades ◽  
Efstratios Kontopoulos ◽  
Grigoris Antoniou ◽  
Ioannis Vlahavas

Author(s):  
Efstratios Kontopoulos ◽  
Nick Bassiliades

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.


Informatica ◽  
2015 ◽  
Vol 26 (2) ◽  
pp. 221-240 ◽  
Author(s):  
Valentina Dagienė ◽  
Daina Gudonienė ◽  
Renata Burbaitė

Sign in / Sign up

Export Citation Format

Share Document