@prefix : <http://w3id.org/CEON/ontology/full/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix actorODP: <http://w3id.org/CEON/ontology/actorODP/> .
@prefix resourceODP: <http://w3id.org/CEON/ontology/resourceODP/> .
@prefix product: <http://w3id.org/CEON/ontology/product/> .
@prefix statement: <http://w3id.org/CEON/ontology/statement/> .
@prefix material: <http://w3id.org/CEON/ontology/material/>.
@prefix processODP: <http://w3id.org/CEON/ontology/processODP/>.
@prefix process: <http://w3id.org/CEON/ontology/process/>.
@prefix plan: <http://w3id.org/CEON/ontology/plan/>.
@prefix location: <http://w3id.org/CEON/ontology/location/>.
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix quantity: <http://w3id.org/CEON/ontology/quantity/> .
@prefix actor: <http://w3id.org/CEON/ontology/actor/> .
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix bot: <https://w3id.org/bot#> .
@prefix ex: <http://example.com/> .


@base <http://w3id.org/CEON/ontology/full/> .

<http://w3id.org/CEON/ontology/full/> rdf:type owl:Ontology ;
                                       owl:versionIRI <http://w3id.org/CEON/ontology/full/0.2/> ;
                                       owl:imports <http://w3id.org/CEON/ontology/actor/0.4/> ,
                                                   <http://w3id.org/CEON/ontology/cvn/0.3/> ,
                                                   <http://w3id.org/CEON/ontology/energy/0.2/> ,
                                                   <http://w3id.org/CEON/ontology/location/0.2/> ,
                                                   <http://w3id.org/CEON/ontology/material/0.4/> ,
                                                   <http://w3id.org/CEON/ontology/process/0.5/> ,
                                                   <http://w3id.org/CEON/ontology/product/0.5/> ,
                                                   <http://w3id.org/CEON/ontology/quantity/0.2/> ,
                                                   <http://w3id.org/CEON/ontology/statement/0.2/> ,
                                                   <http://w3id.org/CEON/ontology/value/0.3/> ;
                                       dcterms:contributor "Eva Blomqvist" ,
                                                           "Mikael Lindecrantz" ;
                                       dcterms:created "2025-06-12" ;
                                       dcterms:creator "Huanyu Li" ;
                                       dcterms:description "The full module of CEON (Circular Economy Ontology Network)." ;
                                       dcterms:issued "2025-06-30"^^xsd:date ;
                                       dcterms:license "https://github.com/LiUSemWeb/CEON/blob/master/LICENSE" ;
                                       dcterms:publisher "Onto-DESIDE" ;
                                       dcterms:title "Circular Economy Ontology Network (CEON) - Full" ;
                                       vann:preferredNamespacePrefix "ceon-full" ;
                                       vann:preferredNamespaceUri "http://w3id.org/CEON/ontology/full/" ;
                                       rdfs:seeAlso <https://github.com/LiUSemWeb/CEON> ;
                                       owl:priorVersion 0.1 ;
                                       owl:versionInfo 0.2 .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/terms/contributor
dcterms:contributor rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/created
dcterms:created rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/creator
dcterms:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/description
dcterms:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/license
dcterms:license rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/title
dcterms:title rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .


#################################################################
#    Individuals
#################################################################



ex:OutsoleManufacturer123 a actorODP:Actor;
  rdfs:label "OutsoleManufacturer123".
ex:LacesManufacturer123 a actorODP:Actor;
  rdfs:label "LacesManufacturer123".
ex:recycling_company_1 a actorODP:Actor;
  rdfs:label "recycling company 1".
ex:ConstructionManufacturer_0987 a actorODP:Actor;
  rdfs:label "ConstructionManufacturer".
ex:ShoeBrand123 a actorODP:Actor;
  rdfs:label "ShoeBrand123".
ex:Supplier123 a  actorODP:Actor;
  rdfs:label "Supplier123".
ex:sound_system_manufacturer_1 a actorODP:Actor;
    rdfs:label "sound_system_manufacturer".

ex:building_owner_1 a actorODP:Actor .

ex:Dismantler_7890 a actorODP:Actor;
  rdfs:label "Dismantler X".

ex:Recycler_7890 a actorODP:Actor;
  rdfs:label "Recycler X".

ex:construction_company_123 a actorODP:Actor;
  rdfs:label "construction_company_123".


ex:speaker_1 a product:Product .
ex:speaker_2 a product:Product .
ex:acoustic_layer_1235 a product:Product .
ex:tile_1234 a product:Product .
ex:pedestal_1234 a product:Product.

ex:building_owner_1 a actorODP:Actor .

ex:build_1 a bot:Building ;
    bot:hasSpace ex:room_1.

ex:own_building a actor:OwningResource ;
    actorODP:participantRole actor:owner ;
    actorODP:participantActor ex:building_owner_1 ;
    actorODP:participatingResource ex:build_1 .

ex:room_1 a bot:Space;
   rdfs:label "room";
   bot:containsElement ex:Floortile_1234, ex:tile_1234, ex:pedestal_1234.

ex:room_2 a bot:Space;
   rdfs:label "room";
   bot:containsElement ex:sound_system_1, ex:speaker_1, ex:speaker_2, ex:acoustic_layer_1235.

#### 1.	Shoe-to-tile, Beginning-of-Life, Recycling

#supplier123_products
ex:productBysupplier123 a product:Product;
    rdfs:label "rubber layer 1".

ex:LacesManufacturer123_part1 a actor:ManufacturingResource;
    actorODP:participantRole actor:manufacturer ;
    actorODP:participatingActor ex:LacesManufacturer123 ;
    actorODP:participatingResource ex:productBysupplier123.

# batch1 of recycling company 1
ex:C002_batch a resourceODP:BatchOfObjects;
 product:batchOfProduct ex:C002 ;
 quantity:hasDimension [ a ex:Weight, qudt:QuantityValue; qudt:numericValue "1500"^^xsd:double ; qudt:hasUnit unit:KiloGM ];
 quantity:hasDimension [ a ex:Volume, qudt:QuantityValue; qudt:numericValue "3"^^xsd:double ; qudt:hasUnit unit:M3 ];
 resourceODP:batchSize "2500"^^xsd:int;
 resourceODP:hasResourceCondition ex:good_condition.

ex:supply_C002_batch a actor:SupplingResource ;
    actorODP:participantRole actor:supplier ;
    actorODP:participantActor ex:recycling_company_1 ;
    actorODP:participatingResource ex:C002_batch ;
    actorODP:participationStartTime "2025-05-01" .

ex:sell_C002_batch a actor:SellingResource ;
    actorODP:participantRole actor:seller ;
    actorODP:participantActor ex:recycling_company_1 ;
    actorODP:participatingResource ex:C002_batch ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "1200"^^xsd:double ; qudt:hasUnit unit:Euro ] .

#batch1 of supplier123
ex:productBysupplier123_batch_1 a resourceODP:BatchOfObjects;
 product:batchOfProduct ex:productBysupplier123 ;
 quantity:hasDimension [ a ex:Weight, qudt:QuantityValue; qudt:numericValue "300"^^xsd:double ; qudt:hasUnit unit:KiloGM ];
 quantity:hasDimension [ a ex:Volume, qudt:QuantityValue; qudt:numericValue "1"^^xsd:double ; qudt:hasUnit unit:M3 ];
 resourceODP:batchSize "500"^^xsd:int;
 resourceODP:hasResourceCondition ex:new_condition.

ex:supply_productBysupplier123_batch_1 a actor:SupplingResource ;
    actorODP:participantRole actor:supplier ;
    actorODP:participantActor ex:Supplier123 ;
    actorODP:participatingResource ex:productBysupplier123_batch_1 ;
    actorODP:participationStartTime "2025-05-01" .

ex:sell_productBysupplier123_batch_1 a actor:SellingResource ;
    actorODP:participantRole actor:seller ;
    actorODP:participantActor ex:Supplier123 ;
    actorODP:participatingResource ex:productBysupplier123_batch_1 ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "2400"^^xsd:double ; qudt:hasUnit unit:Euro ] .

# ConstructionManufacturer buy the batch
ex:buy_C002_batch a actor:BuyingResource ;
    actorODP:participantRole actor:buyer ;
    actorODP:participantActor ex:ConstructionManufacturer_0987 ;
    actorODP:participatingResource ex:C002_batch ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "1200"^^xsd:double ; qudt:hasUnit unit:Euro ] .

# ConstructionManufacturer produce new batch
ex:produce_tile a process:ProductionProcess;
	       processODP:hasInput ex:C002_batch;
	       processODP:hasOutput ex:Floortile_1234_batch.

ex:Floortile_1234_batch a resourceODP:BatchOfObjects;
 product:batchOfProduct ex:Floortile_1234 .

ex:Floortile_1234 a product:Product;
    rdfs:label "A floor tile product";
    product:hasCompliance ex:Nortec-C2C_silver_compliance.

ex:Nortec-C2C_silver_compliance a product:Compliance, statement:Statement;
    product:complianceWith ex:C2C_MH_Sliver ;
    product:hasCertificate "https://ex.org/compliance.pdf"^^xsd:anyURI;
    statement:statementAbout ex:Floortile_1234 .

ex:floor_installation a actorODP:ResourceRelation, statement:Statement;
   actorODP:participatingResource ex:Floortile_1234;
   location:hasLocation ex:room_2.
################################################################################################################

################################################################################################################
#### 2.	Sound system repair: Middle-of-Life, maintenance/ repair/ upgrading

ex:sound_system_1 a product:Product ;
    product:hasCompliance ex:speaker_1_REACH_compliance;
    resourceODP:hasResourceCondition ex:broken_condition.

ex:speaker_1_REACH_compliance a product:REACHCompliance, statement:Statement;
    product:complianceWith product:REACH ;
    product:hasCertificate "http://reach.org/examplecert1234.pdf"^^xsd:anyURI;
    statement:statementAbout ex:sound_system_1 .

ex:repair_sound_system_1_rr a actor:RepairingResource ;
    actorODP:participantRole actor:repairer ;
    actorODP:participantActor ex:sound_system_manufacturer_1 ;
    actorODP:participatingResource ex:sound_system_1 ;
    actor:hasProcessParticipation ex:repair_sound_system_1_pp .

ex:repair_sound_system_1_pp a actor:ProcessParticipation;
    actorODP:participantRole actor:repairer ;
    actorODP:participatingActor ex:sound_system_manufacturer_1 ;
    actorODP:participationIn ex:repair_sound_system_1_process ;
    actor:hasResourceRelation ex:repair_sound_system_1_rr .

ex:repair_sound_system_1_exec a plan:PlanExecution;
           processODP:isSettingFor ex:repair_sound_system_1_process .

ex:repair_sound_system_1_process a process:RepairProcess ;
	       processODP:hasInput ex:sound_system_1 ;
	       processODP:hasOutput ex:sound_system_2.

ex:sound_system_installation a actorODP:ResourceRelation, statement:Statement;
   actorODP:participatingResource ex:sound_system_2.
################################################################################################################

################################################################################################################

#### 3. End-of-life
###The building owner decides to tear down a building. 
###     3.a. Door reuse
### The building owner wants to offer the doors from his building for sale. 
### In the planning phase the building owner shares information about batches of doors via the ce-company1 platform.  
### ce-company1 shares this information additionally via the OCP (via its Solid pod): product dimensions, deconstructability, deconstructability, reuse, batch size, images

ex:ce-company1-batch-321 a resourceODP:BatchOfObjects;
  product:batchOfProduct ex:ce-company1-batch-321-product .

ex:ce-company1-batch-334 a resourceODP:BatchOfObjects;
  product:batchOfProduct ex:ce-company1-batch-334-product .

# The building owner asks offers from a dismantler and a recycler to know the costs related to both scenarios. 
# The dismantler and the recycler share their prices privately with the building owner via the OCP. 

ex:dismantle_ce-company1-batch-321_pp a actorODP:ProcessParticipation;
    actorODP:participantRole actor:dismantler ;
    actorODP:participatingActor ex:Dismantler_7890 ;
    actorODP:participationIn ex:dismantle_ce-company1-batch-321_process ;
    actor:hasResourceRelation ex:dismantle_ce-company1-batch-321_rr ;
    quantity:hasDismantlingCost [ a quantity:DismantlingCost, qudt:QuantityValue ; qudt:numericValue "150"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:dismantle_ce-company1-batch-321_exec a plan:PlanExecution;
           processODP:isSettingFor ex:dismantle_ce-company1-batch-321_process .

ex:dismantle_ce-company1-batch-321_process a process:DismantleProcess ;
    processODP:hasInput ex:ce-company1-batch-321 .

ex:dismantle_ce-company1-batch-321_rr a actor:DismantlingResource ;
    actorODP:participantRole actor:dismantler ;
    actorODP:participantActor ex:Dismantler_7890 ;
    actorODP:participatingResource ex:ce-company1-batch-321 ;
    actor:hasProcessParticipation ex:dismantle_ce-company1-batch-321_pp .

ex:recycle_ce-company1-batch-321_pp a actorODP:ProcessParticipation;
    actorODP:participantRole actor:recycler ;
    actorODP:participatingActor ex:Reclcyer_7890 ;
    actorODP:participationIn ex:recycle_ce-company1-batch-321_process ;
    actor:hasResourceRelation ex:recycle_ce-company1-batch-321_rr ;
    quantity:hasRecyclingCost [ a quantity:RecyclingCost, qudt:QuantityValue ; qudt:numericValue "100"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:recycle_ce-company1-batch-321_exec a plan:PlanExecution;
           processODP:isSettingFor ex:recycle_ce-company1-batch-321_process .

ex:recycle_ce-company1-batch-321_process a process:RecycleProcess ;
    processODP:hasInput ex:ce-company1-batch-321 .

ex:recycle_ce-company1-batch-321_rr a actor:RecyclingResource ;
    actorODP:participantRole actor:recycler ;
    actorODP:participantActor ex:Reclcyer_7890 ;
    actorODP:participatingResource ex:ce-company1-batch-321 ;
    actor:hasProcessParticipation ex:recycle_ce-company1-batch-321_pp .

# A third party (construction_company123) is interested to buy two batches of doors
# The building owner shares a price privately with construction_comapny123  via the OCP. 

ex:buy_ce-company1-batch-321 a actor:BuyingResource ;
    actorODP:participantRole actor:buyer ;
    actorODP:participantActor ex:construction_company_123 ;
    actorODP:participatingResource ex:ce-company1-batch-321;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "150"^^xsd:double ; qudt:hasUnit unit:Euro ] .

ex:buy_ce-company1-batch-334 a actor:BuyingResource ;
    actorODP:participantRole actor:buyer ;
    actorODP:participantActor ex:construction_company_123 ;
    actorODP:participatingResource ex:ce-company1-batch-334;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "150"^^xsd:double ; qudt:hasUnit unit:Euro ] .
################################################################################################################

################################################################################################################
#### 3. b. Buyback of tile
### The building owner decides to tear down a building. 
### The building owner queries the OCP for information about the floor system, and sees that there is a takeback program from the original manufacturer ConstructionManufacturer. He asks Lindnder for a takeback price.
### ConstructionManufacturer queries the OCP to see the properties of the batches of tiles, pedestals and acoustics layers: installation_date, product_model, m3, on which floor, in which building.  
### ConstructionManufacturer shares a takeback price privately with the building owner

ex:f24_XXX_projectName :hasTakebackPrice [a qudt:QuantityValue; qudt:numericValue "200"^^xsd:double ; qudt:hasUnit unit:Euro ] .

ex:takeback_24_XXX_projectName_1 a actor:TakingBackResource ;
    actorODP:participantRole actor:seller ;
    actorODP:participantActor ex:ConstructionManufacturer_0987 ;
    actorODP:participatingResource ex:tile_in_B1S3R2 ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "200"^^xsd:double ; qudt:hasUnit unit:Euro ] .

ex:takeback_24_XXX_projectName_2 a actor:TakingBackResource ;
    actorODP:participantRole actor:seller ;
    actorODP:participantActor ex:ConstructionManufacturer_0987 ;
    actorODP:participatingResource ex:pedestal_in_B1S3R2 ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "50"^^xsd:double ; qudt:hasUnit unit:Euro ] .

ex:takeback_24_XXX_projectName_3 a actor:TakingBackResource ;
    actorODP:participantRole actor:seller ;
    actorODP:participantActor ex:ConstructionManufacturer_0987 ;
    actorODP:participatingResource ex:acoustic_layer_in_B1S3R2 ;
    quantity:hasPrice [a qudt:QuantityValue; qudt:numericValue "50"^^xsd:double ; qudt:hasUnit unit:Euro ] .
################################################################################################################

################################################################################################################
#### 3. b. Buyback of tile
### The building owner also asks a dismantler and a recycler for their costs.  He shares the information about the installed floor system with the dismantler and the recycler: installation_date, product_model, m3, on which floor, in which building  
### The dismantler and the recycler share their prices privately with the building owner via the OCP. 
### The building owner queries the OCP to see the costs for dismantling and recycling, and the buyback price and decides to return the floor system elements to ConstructionManufacturer for takeback. 

ex:dismantle_24_XXX_projectName_1 a actor:DismantlingResource;
    actorODP:participantRole actor:dismantler ;
    actorODP:participatingActor ex:Dismantler_7890 ;
    actorODP:participatingResource ex:tile_in_B1S3R2;
    quantity:hasDismantlingCost [ a quantity:DismantlingCost, qudt:QuantityValue ; qudt:numericValue "3000"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:dismantle_24_XXX_projectName_2 a actor:DismantlingResource;
    actorODP:participantRole actor:dismantler ;
    actorODP:participatingActor ex:Dismantler_7890 ;
    actorODP:participatingResource ex:pedestal_in_B1S3R2;
    quantity:hasDismantlingCost [ a quantity:DismantlingCost, qudt:QuantityValue ; qudt:numericValue "300"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:dismantle_24_XXX_projectName_3 a actor:DismantlingResource;
    actorODP:participantRole actor:dismantler ;
    actorODP:participatingActor ex:Dismantler_7890 ;
    actorODP:participatingResource ex:acoustic_layer_in_B1S3R2;
    quantity:hasDismantlingCost [ a quantity:DismantlingCost, qudt:QuantityValue ; qudt:numericValue "200"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:recycle_24_XXX_projectName_1 a actor:RecyclingResource ;
    actorODP:participantRole actor:recycler ;
    actorODP:participantActor ex:recycling_company_1 ;
    actorODP:participatingResource ex:tile_in_B1S3R2 ;
    quantity:hasRecyclingCost [ a quantity:RecyclingCost, qudt:QuantityValue ; qudt:numericValue "2000"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:recycle_24_XXX_projectName_2 a actor:RecyclingResource ;
    actorODP:participantRole actor:recycler ;
    actorODP:participantActor ex:recycling_company_1 ;
    actorODP:participatingResource ex:pedestal_in_B1S3R2 ;
    quantity:hasRecyclingCost [ a quantity:RecyclingCost, qudt:QuantityValue ; qudt:numericValue "200"^^xsd:double ; qudt:hasUnit unit:Euro ].

ex:recycle_24_XXX_projectName_2 a actor:RecyclingResource ;
    actorODP:participantRole actor:recycler ;
    actorODP:participantActor ex:recycling_company_1 ;
    actorODP:participatingResource ex:acoustic_layer_in_B1S3R2 ;
    quantity:hasRecyclingCost [ a quantity:RecyclingCost, qudt:QuantityValue ; qudt:numericValue "150"^^xsd:double ; qudt:hasUnit unit:Euro ].
################################################################################################################


###  Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi