A Semantic Web Based Architecture for e-Contracts in Defeasible Logic

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.

• Type: Conference
• Year: 2005
• Where: RULEML
• Authors: Guido Governatori, Duy Hoang
• Keywords: Architecture, Defeasible Logic, Deontic Defeasible Logic, RULEML 2005