A Semantic Web Based Architecture for e-Contracts in Defeasible Logic
نویسندگان
چکیده
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.
منابع مشابه
DR-CONTRACT: an architecture for e-contracts in defeasible logic
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.
متن کاملImplementing Modal Extensions of Defeasible Logic for the Semantic Web
Defeasible reasoning is a nonmonotonic reasoning approach in which the gaps due to incomplete information are closed through the use of defeasible rules. Defeasible logic (Nute 1994) and its variants are an important family of defeasible reasoning methods. It is a simple, efficient but flexible non-monotonic formalism that offers many reasoning capabilities embodies the concept of preference an...
متن کاملAutomated Negotiation and Semantic Brokering with Intelligent Agents Using Defeasible Logic
E-Commerce describes the revolution that is currently transforming the way business is conducted, through the use of information technology, and in particular the World Wide Web. Brokering and negotiation are fundamental stages of e-Commerce. The last few years, there has been an increasing interest for the automation of these two stages. This is partially achieved by the use of software agents...
متن کاملThe DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DRProlog Web application; and (c) the DR-Prolog desktop application. DRProlog supports reasoning with Defeasible Logic theori...
متن کاملDeploying defeasible logic rule bases for the semantic web
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only to humans, as it is today, but to machines as well. Defeasible reasoning, a rule-based approach to reasoning with incomplete and conflicting information, is a powerful tool in many Semantic Web applications. Despite it...
متن کامل