Visual Development of Defeasible Logic Rules for the Semantic Web

Visual Languages for Interactive Computing ◽

10.4018/978-1-59904-534-4.ch014 ◽

2011 ◽

pp. 273-301

Author(s):

Efstratios Kontopoulos ◽

Nick Bassiliades

Keyword(s):

Semantic Web ◽

Graphical Representation ◽

Directed Graphs ◽

Visual Development ◽

Defeasible Reasoning ◽

End User ◽

Defeasible Logic ◽

Suitable Tool

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.

Download Full-text

VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMo

International Journal of Artificial Intelligence Tools ◽

10.1142/s0218213008004217 ◽

2008 ◽

Vol 17 (05) ◽

pp. 903-924 ◽

Cited By ~ 3

Author(s):

EFSTRATIOS KONTOPOULOS ◽

NICK BASSILIADES ◽

GRIGORIS ANTONIOU ◽

ANNA SERIDOU

Keyword(s):

Semantic Web ◽

Directed Graphs ◽

Rule Base ◽

Full Potential ◽

Visualization System ◽

Defeasible Logic ◽

Conflicting Information ◽

Rule Bases ◽

Available Information ◽

Logic Rule

The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasible logic rule bases, which is based on directed graphs that feature distinct node and connection types. This paper presents DR-VisMo, a defeasible logic rule base editor and visualization system that implements this representation approach. The system also features a stratification algorithm for visualizing rule bases that deals with decisions, regarding the arrangement of the various elements in the graph. DR-VisMo is implemented as part of VDR-DEVICE, an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies.

Download Full-text

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web

Advances in Informatics - Lecture Notes in Computer Science ◽

10.1007/11573036_38 ◽

2005 ◽

pp. 404-414

Author(s):

Nick Bassiliades ◽

Efstratios Kontopoulos ◽

Grigoris Antoniou ◽

Ioannis Vlahavas

Keyword(s):

Semantic Web ◽

Defeasible Reasoning ◽

Authoring Tool

Download Full-text

Semantic web: golden era of information

International Journal of Engineering & Technology ◽

10.14419/ijet.v7i2.8.10477 ◽

2018 ◽

Vol 7 (2.8) ◽

pp. 436

Author(s):

Prakhar Agarwal ◽

Shivani Jain

Keyword(s):

Semantic Web ◽

Information Search ◽

Review Paper ◽

Development Project ◽

Structured Data ◽

Common Language ◽

End User ◽

Ontology Language ◽

Shared Language ◽

Definition Of

Semantic Web is the extension of existing web that allows well defined expressions for the meaning of information which can be understood by computers and people both. In this paper we are doing study on semantic and is our review paper. Semantic web is a recommended development project by W3C (World Wide Web Consortium) which focuses on the enhancing of information search by keeping the facts in structured form using eXtensible Mark-up Language (XML) and marked in such a way that it can be understand by the system. To make the development of semantic web promising, new international standard is developed for exchanging of ontologies called OWL Web Ontology language. In XML we just provide tag of the model and store data in the hierarchy without its meaning, that’s why the computer cannot be able to process the data but in Semantic Web user can provide with a definition so that the computer can better recognize its meaning and provide with the better displaying of information. A crux of semantic web is that it works on the definition of the ontologies. Ontologies are responsible for re-usability and sharing of information. Semantic Web provides with a shared language which has stored data in the non-ending linking of distinct databases which provides data related to the real world objects. RDF is a common language for semantic web and is responsible for the collection of data on web and assembles different database from diverse sources and SPARQL is there for linking of databases for unifying documents. Thus, semantic web is the well-structured data web that relates all the data that present on the web and understands them to provide the exact display requested by the end user.

Download Full-text

Annotated defeasible logic

Theory and Practice of Logic Programming ◽

10.1017/s1471068417000266 ◽

2017 ◽

Vol 17 (5-6) ◽

pp. 819-836 ◽

Cited By ~ 2

Author(s):

GUIDO GOVERNATORI ◽

MICHAEL J. MAHER

Keyword(s):

Defeasible Reasoning ◽

Multiple Forms ◽

Linguistic Features ◽

Defeasible Logic

AbstractDefeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in some legal settings, different actors have different burdens of proof, which might be expressed as reasoning in different defeasible logics. In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism.

Download Full-text