A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

Bassiliades, Nick; Kontopoulos, Efstratios; Antoniou, Grigoris

doi:10.1007/11580072_14

Cited by 13 publications

(14 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We also plan to integrate the framework with the VDRDevice by Bassiliades et al (2005) to provide a userfriendly graphical RuleML editor, recommended by the RuleML initiative, and supporting defeasible rule. However, the editor has to be extended to incorporate functionalities to deal with the deontic operators required for the representation of contracts.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

DR-CONTRACT: an architecture for e-contracts in defeasible logic

Governatori

Pham

2009

IJBPIM

View full text Add to dashboard Cite

Abstract:We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in Defeasible Logic.Keywords: Defeasible Deontic Logic, Violations, e-Contract.Reference to this paper should be made as follows: Guido Governatori and Duy Hoang Pham (2009) Biographical notes: Guido Governatori received his Ph.D. in computer science and law at the University of Bologna in 1997. Since then he has held academic and research positions at Imperial College, Griffith University, Queensland University of Technology, the University of Queensland, and NICTA. He has published more than 160 scientific papers in logic, artificial intelligence, and database and information systems. His current research interests include modal and nonclassical logics, defeasible reasoning and its application to normative reasoning and e-commerce, agent systems, and business process modeling for regulatory compliance. He is a member of the editorial board of Artificial Intelligence and Law.Duy Hoang Pham is a lecturer at

show abstract

Section: Conclusion and Related Workmentioning

confidence: 99%

DR-CONTRACT: an architecture for e-contracts in defeasible logic

Governatori

Pham

2009

IJBPIM

View full text Add to dashboard Cite

show abstract

“…VDR-DEVICE is a visual, integrated development environment for developing and using defeasible logic rule bases on top of RDF ontologies [7]. It consists of two primary components: 1.…”

Section: The Vdr-device Systemmentioning

confidence: 99%

“…VDR-DEVICE is equipped with DRREd (Fig. 16), a Java-built visual rule editor that aims at enhancing user-friendliness and efficiency during the development of VDR-DEVICE RuleML documents [7]. Its implementation is oriented towards simplicity of use and familiarity of interface.…”

Section: Rule Editor -Design and Functionalitymentioning

confidence: 99%

See 1 more Smart Citation

Visualizing Defeasible Logic Rules for the Semantic Web

Kontopoulos

Bassiliades

Antoniou

2006

The Semantic Web – ASWC 2006

Self Cite

View full text Add to dashboard Cite

Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and conflicting information. Such reasoning is useful in many Semantic Web applications, like policies, business rules, brokering, bargaining and agent negotiations. Nevertheless, defeasible logic is based on solid mathematical formulations and is, thus, not fully comprehensible by end users, who often need graphical trace and explanation mechanisms for the derived conclusions. Directed graphs can assist in confronting this drawback. They are a powerful and flexible tool of information visualization, offering a convenient and comprehensible way of representing relationships between entities. 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 arcs in the graph. In this paper 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 disadvantage, by defining two distinct node types, for rules and atomic formulas, and four distinct connection types for each rule type in defeasible logic and for superiority relationships. The paper also briefly presents a tool that implements this representation methodology.

show abstract

“…The tool, called dl-RuleViz, can represent defeasible logic rule bases that query and reason about RDF data, taking into account the semantics of RDF Schema ontologies. The software is implemented as part of VDR-DEVICE [2], an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies. Notice that stratification is solely used for visualization purposes and is indifferent for the underlying defeasible logic inference engine, since rule cycles in defeasible logic (with the presence of strong negation) are treated skeptically and no conclusion is derived.…”

Section: Introductionmentioning

confidence: 99%