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.
| Original language | English |
|---|---|
| Pages (from-to) | 187-199 |
| Number of pages | 13 |
| Journal | International Journal of Business Process Integration and Management |
| Volume | 4 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2009 |