Deploying defeasible logic rule bases for the semantic web

2008 ◽  
Vol 66 (1) ◽  
pp. 116-146 ◽  
Author(s):  
Efstratios Kontopoulos ◽  
Nick Bassiliades ◽  
Grigoris Antoniou
Keyword(s):  
Semantic Web ◽  
Defeasible Logic ◽  
Rule Bases ◽  
Logic Rule

VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMo

2008 ◽  
Vol 17 (05) ◽  
pp. 903-924 ◽  
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.

A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data

2007 ◽  
pp. 367-369
Author(s):  
Efstratios Kontopoulos ◽  
Nick Bassiliades ◽  
Grigoris Antoniou
Keyword(s):  
Defeasible Logic ◽  
Rdf Data ◽  
Rule Bases ◽  
Logic Rule

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

2011 ◽  
Vol 7 (1) ◽  
pp. 18-43 ◽  
Author(s):  
Efstratios Kontopoulos ◽  
Nick Bassiliades ◽  
Guido Governatori ◽  
Grigoris Antoniou
Keyword(s):  
Modal Logic ◽  
Semantic Web ◽  
Deontic Logic ◽  
Expressive Power ◽  
Modal Logics ◽  
Cognitive State ◽  
Privacy Requirements ◽  
Defeasible Logic ◽  
Conflicting Information ◽  
Web Information

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Semantic Web ◽  
2013 ◽  
pp. 140-167
Author(s):  
Efstratios Kontopoulos ◽  
Nick Bassiliades ◽  
Guido Governatori ◽  
Grigoris Antoniou
Keyword(s):  
Modal Logic ◽  
Semantic Web ◽  
Deontic Logic ◽  
Expressive Power ◽  
Modal Logics ◽  
Cognitive State ◽  
Privacy Requirements ◽  
Defeasible Logic ◽  
Conflicting Information ◽  
Web Information

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

A Defeasible Logic Reasoner for the Semantic Web

2006 ◽  
Vol 2 (1) ◽  
pp. 1-41 ◽  
Author(s):  
Nick Bassiliades ◽  
Grigoris Antoniou ◽  
Ioannis Vlahavas
Keyword(s):  
Semantic Web ◽  
Defeasible Logic
Sign in / Sign up

Export Citation Format

Share Document