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

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-contra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Governatori, Guido, Hoang, Duy Pham
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Deontic Logic
Derivation Rule
Exact sciences and technology
Inference Engine
Normative Violation
Programming languages
Software
Strict Rule
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/11580072_12