Agreement¶
An agreement exists between two or more agents. It is established at some point in time and it may be considered valid only in some Location and/or for some interval in time. An agreement may be defined at varying levels of detail, this is supported with the introduction of the ComplexAgreement and AtomicAgreement class. Finally, agreements involve some specification of rights or commitments of the involved parties. This is represented as a relationship between the involved Agent and a particular activity.
IRI: https://w3id.org/citydata/part1/v1/Agreement
Diagram¶
Specializations of Agreement¶
| Class | Description |
|---|---|
| Atomic Agreement | An atomic agreement is a simple agreement that cannot be further decomposed into sub-agreements. It is a subclass of Agreement and specifies the “essence” of an agreement. In particular it identifies how agents participating in the agreement are involved: whether they have a claim, duty, no-claim or privilege with respect to some activity that is committed to in the agreement. |
| Complex Agreement | A complex agreement is an agreement that is composed of two or more atomic agreements. It is a subclass of Agreement and specifies the “essence” of a complex agreement. In particular it identifies how atomic agreements are composed to form a complex agreement. |
| Conjunctive Agreement | A conjunctive agreement is a complex agreement where all sub-agreements must be satisfied for the overall agreement to hold. |
| Disjunctive Agreement | A disjunctive agreement is a complex agreement where at least one sub-agreement must be satisfied for the overall agreement to hold. |
Formalization for Agreement¶
| Property | Constraint |
|---|---|
| establishedOn | only time:Instant |
| establishedOn | only time:Instant |
| involvesAgent | min 2 |
| involvesAgent | min 2 Agent |
| validFor | only time:Interval |
| validFor | only time:Interval |
| validIn | only Location |
| validIn | only Location |
| subClassOf | AgreementThing |