summaryrefslogtreecommitdiff
path: root/waste/core.sdm
blob: 95b827472e2a84b108dac7aa1c8a5ffa16fd6f01 (plain)
  1. module core waste <https://thoughtroam.abcdefghijklmnopqrstuvxyzæøå.dk/waste/core#> is
  2. import [ dc skos xsd ]
  3. import [ waste_view ]
  4. entity Resident is
  5. identity citizenId -> unknown
  6. viewsWasteAs -> {unique 0..6} waste_view:Grossness
  7. end
  8. entity Household is
  9. identity apartmentId -> unknown
  10. furnishedWith -> {10} Bin
  11. inhabitedBy -> {1..4} Resident
  12. end
  13. entity Host is
  14. identity HostingId -> unknown
  15. providesContainer -> Container
  16. end
  17. entity WasteCollector
  18. entity Bin is
  19. identity binId -> unknown
  20. forTrashTypeType -> TrashType
  21. binCapacity -> BinCapacity
  22. binSpareCapacity -> BinSpareCapacity
  23. end
  24. enum TrashType of
  25. @owl:equivalentClass = unsigned
  26. Food is
  27. @rdf:value = 1
  28. @skos:prefLabel = "Food waste"@en, "Mad"@da
  29. end
  30. Paper is
  31. @rdf:value = 2
  32. @skos:prefLabel = "Paper"@en, "Papir"@da
  33. end
  34. Cardboard is
  35. @rdf:value = 3
  36. @skos:prefLabel = "Cardboard"@en, "Pap"@da
  37. end
  38. Metal is
  39. @rdf:value = 4
  40. @skos:prefLabel = "Metal"@en, "Metal"@da
  41. end
  42. Glass is
  43. @rdf:value = 5
  44. @skos:prefLabel = "Glass"@en, "Glas"@da
  45. end
  46. Plastic is
  47. @rdf:value = 6
  48. @skos:prefLabel = "Plastic"@en, "Plast"@da
  49. end
  50. Textiles is
  51. @rdf:value = 7
  52. @skos:prefLabel = "Textiles"@en, "Tekstil"@da
  53. end
  54. Cartons is
  55. @rdf:value = 8
  56. @skos:prefLabel = "Paper"@en, "Papir"@da
  57. @skos:prefLabel = "Food and beverage cartons"@en, "Mad- og drikkekartoner"@da
  58. end
  59. Residual is
  60. @rdf:value = 9
  61. @skos:prefLabel = "Residual waste"@en, "Restaffald"@da
  62. end
  63. Hazardous is
  64. @rdf:value = 10
  65. @skos:prefLabel = "Hazardous waste"@en, "Farligt affald"@da
  66. end
  67. end
  68. event BinEmptied source Bin is
  69. binEmptied -> Bin
  70. binEmptiedBy -> Resident
  71. binEmptiedTo -> Container
  72. binResets -> BinSpareCapacity
  73. end
  74. event BinFilled source Bin is
  75. by -> Resident
  76. end
  77. event ContainerEmptied source Container is
  78. containerEmptied -> Container
  79. containerEmptiedBy -> WasteCollector
  80. containerEmptiedTo -> RecyclingPlant
  81. containerResets -> ContainerSpareCapacity
  82. end
  83. structure Container
  84. structure Incinerator
  85. end