diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-04-28 17:13:06 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-04-28 17:13:06 +0200 |
| commit | a3de3b3fb3bcdb86f42809321e8391456648c726 (patch) | |
| tree | d0c22d6ae5a40abde95d2bca020408cff47916aa | |
| parent | 4eada35d65e4e29bf5807fb9fccadea0efb628e8 (diff) | |
model emptying bin
| -rw-r--r-- | rdf/waste.sdm | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/rdf/waste.sdm b/rdf/waste.sdm index 08c387c..2b28fa5 100644 --- a/rdf/waste.sdm +++ b/rdf/waste.sdm @@ -6,8 +6,7 @@ module waste action <https://thoughtroam.abcdefghijklmnopqrstuvxyzæøå.dk/rdf/ entity Resident is identity personId -> unknown - viewsWasteAs -> waste_view:Grossness - emptiesBinsPerMonth -> {0..20} BinPurge + viewsWasteAs -> {unique 0..6} waste_view:Grossness end entity Household is @@ -23,12 +22,23 @@ module waste action <https://thoughtroam.abcdefghijklmnopqrstuvxyzæøå.dk/rdf/ entity WasteCollector - structure BinPurge is - movesWasteFrom -> Bin - movesWasteTo -> Container + entity Bin is + identity binId -> unknown + + capacity -> BinCapacity + spareCapacity -> BinSpareCapacity + end + + event BinEmptied source Bin is + of -> Bin + by -> Resident + to -> Container + resets -> BinSpareCapacity end - structure Bin + event BinFilled source Bin is + by -> Resident + end structure Container |