text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/nlp4lp_53.ttl

@@ -0,0 +1,55 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:M rdf:type rdfs:Class ;
+    rdfs:label "Number of machines" ;
+    rdfs:comment "The total number of machines available for production" ;
+    rdfs:range xsd:integer .
+
+opt:P rdf:type rdfs:Class ;
+    rdfs:label "Number of parts" ;
+    rdfs:comment "The total number of different parts produced" ;
+    rdfs:range xsd:integer .
+
+opt:TimeRequired rdf:type rdfs:Class ;
+    rdfs:label "Time required to produce a batch of part" ;
+    rdfs:comment "The time required to produce a batch of part p on machine m" ;
+    rdfs:range xsd:float .
+
+opt:MachineCosts rdf:type rdfs:Class ;
+    rdfs:label "Cost associated with running machine" ;
+    rdfs:comment "The cost associated with running machine m per hour" ;
+    rdfs:range xsd:float .
+
+opt:Availability rdf:type rdfs:Class ;
+    rdfs:label "Availability of machine for production each month" ;
+    rdfs:comment "The total hours machine m is available for production each month" ;
+    rdfs:range xsd:integer .
+
+opt:Prices rdf:type rdfs:Class ;
+    rdfs:label "Price obtained from selling a batch of part" ;
+    rdfs:comment "The price obtained from selling a batch of part p" ;
+    rdfs:range xsd:float .
+
+opt:MinBatches rdf:type rdfs:Class ;
+    rdfs:label "Minimum number of batches of part that should be produced" ;
+    rdfs:comment "The minimum number of batches of part p that should be produced to fulfill a contract" ;
+    rdfs:range xsd:integer .
+
+opt:ExtraCosts rdf:type rdfs:Class ;
+    rdfs:label "Extra cost incurred when running machine beyond regular operation" ;
+    rdfs:comment "The extra cost incurred when running machine m beyond regular operation" ;
+    rdfs:range xsd:float .
+
+opt:MaxExtra rdf:type rdfs:Class ;
+    rdfs:label "Maximum extra hours machine can be run" ;
+    rdfs:comment "The maximum extra hours machine m can be run in a month" ;
+    rdfs:range xsd:integer .
+
+opt:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Optimization problem" ;
+    rdfs:comment "The optimization problem to maximize profit by determining the number of batches of each part to produce each month" .
+
+opt:OptimizationProblem rdfs:subClassOf opt:M, opt:P, opt:TimeRequired, opt:MachineCosts, opt:Availability, opt:Prices, opt:MinBatches, opt:ExtraCosts, opt:MaxExtra .

text2model/knowledge_graphs/nlp4lp_54.ttl

@@ -0,0 +1,74 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:AdvertisementCampaign a rdfs:Class ;
+    rdfs:label "Advertisement Campaign" ;
+    rdfs:comment "An online advertising campaign with different ad types across two web companies." .
+
+opt:AdType a rdfs:Class ;
+    rdfs:label "Advertisement Type" ;
+    rdfs:comment "Different types of advertisements used in the campaign." .
+
+opt:AdType rdfs:subClassOf opt:AdvertisementCampaign .
+
+opt:Budget a rdf:Property ;
+    rdfs:label "Budget" ;
+    rdfs:comment "Total budget for purchasing clicks." ;
+    rdfs:domain opt:AdvertisementCampaign ;
+    rdfs:range xsd:integer .
+
+opt:Costs a rdf:Property ;
+    rdfs:label "Costs" ;
+    rdfs:comment "Cost of purchasing a click from advertisement type a." ;
+    rdfs:domain opt:AdType ;
+    rdfs:range xsd:integer .
+
+opt:MaxClicks a rdf:Property ;
+    rdfs:label "MaxClicks" ;
+    rdfs:comment "Number of maximum clicks that can be purchased from advertisement type a." ;
+    rdfs:domain opt:AdType ;
+    rdfs:range xsd:integer .
+
+opt:YoungClicks a rdf:Property ;
+    rdfs:label "YoungClicks" ;
+    rdfs:comment "Number of young audience clicks from advertisement type a." ;
+    rdfs:domain opt:AdType ;
+    rdfs:range xsd:integer .
+
+opt:OldClicks a rdf:Property ;
+    rdfs:label "OldClicks" ;
+    rdfs:comment "Number of old audience clicks from advertisement type a." ;
+    rdfs:domain opt:AdType ;
+    rdfs:range xsd:integer .
+
+opt:UniqueClicks a rdf:Property ;
+    rdfs:label "UniqueClicks" ;
+    rdfs:comment "Number of unique clicks from advertisement type a." ;
+    rdfs:domain opt:AdType ;
+    rdfs:range xsd:integer .
+
+opt:GoalYoung a rdf:Property ;
+    rdfs:label "GoalYoung" ;
+    rdfs:comment "Goal for number of clicks from young audience." ;
+    rdfs:domain opt:AdvertisementCampaign ;
+    rdfs:range xsd:integer .
+
+opt:GoalOld a rdf:Property ;
+    rdfs:label "GoalOld" ;
+    rdfs:comment "Goal for number of clicks from old audience." ;
+    rdfs:domain opt:AdvertisementCampaign ;
+    rdfs:range xsd:integer .
+
+opt:GoalUniqueYoung a rdf:Property ;
+    rdfs:label "GoalUniqueYoung" ;
+    rdfs:comment "Goal for number of unique clicks from young audience." ;
+    rdfs:domain opt:AdvertisementCampaign ;
+    rdfs:range xsd:integer .
+
+opt:GoalUniqueOld a rdf:Property ;
+    rdfs:label "GoalUniqueOld" ;
+    rdfs:comment "Goal for number of unique clicks from old audience." ;
+    rdfs:domain opt:AdvertisementCampaign ;
+    rdfs:range xsd:integer .

text2model/knowledge_graphs/nlp4lp_55.ttl

@@ -0,0 +1,50 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:PowerPlant a rdfs:Class ;
+    rdfs:label "Power Plant" ;
+    rdfs:comment "A power plant that supplies electricity." .
+
+opt:City a rdfs:Class ;
+    rdfs:label "City" ;
+    rdfs:comment "A city that demands electricity." .
+
+opt:Supply a rdf:Property ;
+    rdfs:label "Supply" ;
+    rdfs:comment "Electricity supply capacity of a power plant." ;
+    rdfs:domain opt:PowerPlant ;
+    rdfs:range xsd:integer .
+
+opt:Demand a rdf:Property ;
+    rdfs:label "Demand" ;
+    rdfs:comment "Electricity demand of a city." ;
+    rdfs:domain opt:City ;
+    rdfs:range xsd:integer .
+
+opt:TransmissionCost a rdf:Property ;
+    rdfs:label "Transmission Cost" ;
+    rdfs:comment "Transmission cost from a power plant to a city." ;
+    rdfs:domain opt:PowerPlant ;
+    rdfs:range opt:City .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:comment "An optimization problem to minimize the total transmission cost." .
+
+opt:hasObjective a rdf:Property ;
+    rdfs:label "has Objective" ;
+    rdfs:comment "The objective of the optimization problem." ;
+    rdfs:domain opt:OptimizationProblem ;
+    rdfs:range xsd:string .
+
+opt:hasConstraint a rdf:Property ;
+    rdfs:label "has Constraint" ;
+    rdfs:comment "A constraint of the optimization problem." ;
+    rdfs:domain opt:OptimizationProblem ;
+    rdfs:range xsd:string .
+
+opt:OptimizationProblem opt:hasObjective "Minimize total transmission cost." ;
+    opt:hasConstraint "Each city's peak demand must be met." ;
+    opt:hasConstraint "Each power plant's supply capacity must not be exceeded." .

text2model/knowledge_graphs/nlp4lp_56.ttl

@@ -0,0 +1,67 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.semanticweb.org/ontologies/optimization#> .
+
+:Problem1 a opt:OptimizationProblem ;
+    opt:hasObjective :Objective1 ;
+    opt:hasConstraint :Constraint1, :Constraint2 ;
+    opt:hasParameter :NumPorts, :NumTerminals, :Cost, :Demand, :Supply ;
+    opt:hasVariable :Quantity .
+
+:NumPorts a opt:Parameter ;
+    rdfs:label "Number of Ports" ;
+    rdfs:comment "Number of Ports" ;
+    opt:hasDataType xsd:integer ;
+    opt:hasExample "NumPorts = 4" ;
+    opt:hasShape "scalar" .
+
+:NumTerminals a opt:Parameter ;
+    rdfs:label "Number of Terminals" ;
+    rdfs:comment "Number of Terminals" ;
+    opt:hasDataType xsd:integer ;
+    opt:hasExample "NumTerminals = 3" ;
+    opt:hasShape "scalar" .
+
+:Cost a opt:Parameter ;
+    rdfs:label "Cost of transportation for route from k to l" ;
+    rdfs:comment "Cost of transportation for route from k to l" ;
+    opt:hasDataType xsd:array ;
+    opt:hasExample "Cost = array2d(1..3, 1..4, [34, 49, 17, 26, 52, 64, 23, 14, 20, 28, 12, 17])" ;
+    opt:hasShape "[K, L]" .
+
+:Demand a opt:Parameter ;
+    rdfs:label "Demand at destination l" ;
+    rdfs:comment "Demand at destination l" ;
+    opt:hasDataType xsd:array ;
+    opt:hasExample "Demand = [65, 70, 50, 45]" ;
+    opt:hasShape "[L]" .
+
+:Supply a opt:Parameter ;
+    rdfs:label "Supply at terminal k" ;
+    rdfs:comment "Supply at terminal k" ;
+    opt:hasDataType xsd:array ;
+    opt:hasExample "Supply = [150, 100, 100]" ;
+    opt:hasShape "[K]" .
+
+:Quantity a opt:Variable ;
+    rdfs:label "Quantity of soybeans to transport along each route from source to destination" ;
+    rdfs:comment "Quantity of soybeans to transport along each route from source to destination" ;
+    opt:hasDataType xsd:array ;
+    opt:hasShape "[K, L]" .
+
+:Constraint1 a opt:Constraint ;
+    rdfs:label "Supply constraint" ;
+    rdfs:comment "The total quantity of soybeans transported from each terminal should not exceed its supply" ;
+    opt:hasMathematicalExpression "sum(Quantity[k, l] for all l) <= Supply[k] for all k" .
+
+:Constraint2 a opt:Constraint ;
+    rdfs:label "Demand constraint" ;
+    rdfs:comment "The total quantity of soybeans transported to each destination should meet its demand" ;
+    opt:hasMathematicalExpression "sum(Quantity[k, l] for all k) >= Demand[l] for all l" .
+
+:Objective1 a opt:Objective ;
+    rdfs:label "Minimize transportation costs" ;
+    rdfs:comment "Minimize the total cost of transporting soybeans from terminals to destinations" ;
+    opt:hasMathematicalExpression "minimize sum(Cost[k, l] * Quantity[k, l] for all k, l)" ;
+    opt:hasOptimizationDirection opt:Minimize .

text2model/knowledge_graphs/nlp4lp_57.ttl

@@ -0,0 +1,59 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix : <http://www.example.com/ontology#> .
+
+:NumMachines a owl:DatatypeProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range xsd:integer .
+
+:NumParts a owl:DatatypeProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range xsd:integer .
+
+:TimeRequired a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :TimeMatrix .
+
+:MachineCosts a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :CostVector .
+
+:Availability a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :AvailabilityVector .
+
+:Prices a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :PriceVector .
+
+:MinBatches a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :BatchVector .
+
+:StandardCost a owl:DatatypeProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range xsd:decimal .
+
+:OvertimeCost a owl:DatatypeProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range xsd:decimal .
+
+:OvertimeHour a owl:ObjectProperty ;
+    rdfs:domain :Problem ;
+    rdfs:range :OvertimeVector .
+
+:Problem a owl:Class .
+
+:TimeMatrix a owl:Class .
+
+:CostVector a owl:Class .
+
+:AvailabilityVector a owl:Class .
+
+:PriceVector a owl:Class .
+
+:BatchVector a owl:Class .
+
+:OvertimeVector a owl:Class .

text2model/knowledge_graphs/nlp4lp_58.ttl

@@ -0,0 +1,65 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:Machines rdf:type rdfs:Class ;
+    rdfs:label "Machines" ;
+    rdfs:comment "Number of machines" ;
+    rdfs:range xsd:integer .
+
+opt:Parts rdf:type rdfs:Class ;
+    rdfs:label "Parts" ;
+    rdfs:comment "Number of parts to be produced" ;
+    rdfs:range xsd:integer .
+
+opt:TimeRequired rdf:type rdfs:Class ;
+    rdfs:label "Time Required" ;
+    rdfs:comment "Time required to produce each part 'p' on machine 'm'" ;
+    rdfs:range xsd:integer .
+
+opt:MachineCosts rdf:type rdfs:Class ;
+    rdfs:label "Machine Costs" ;
+    rdfs:comment "Cost associated with each machine 'm'" ;
+    rdfs:range xsd:integer .
+
+opt:Availability rdf:type rdfs:Class ;
+    rdfs:label "Availability" ;
+    rdfs:comment "Availability in hours of each machine 'm' per month" ;
+    rdfs:range xsd:integer .
+
+opt:Prices rdf:type rdfs:Class ;
+    rdfs:label "Prices" ;
+    rdfs:comment "Price obtained from selling each part 'p'" ;
+    rdfs:range xsd:integer .
+
+opt:MinBatches rdf:type rdfs:Class ;
+    rdfs:label "Minimum Batches" ;
+    rdfs:comment "Minimum number of batches of part 'p' that must be produced" ;
+    rdfs:range xsd:integer .
+
+opt:StandardCost rdf:type rdfs:Class ;
+    rdfs:label "Standard Cost" ;
+    rdfs:comment "Standard cost for a machine to run for one hour" ;
+    rdfs:range xsd:integer .
+
+opt:OvertimeCost rdf:type rdfs:Class ;
+    rdfs:label "Overtime Cost" ;
+    rdfs:comment "Overtime cost for a machine to run for one hour beyond the standard availability" ;
+    rdfs:range xsd:integer .
+
+opt:OvertimeHour rdf:type rdfs:Class ;
+    rdfs:label "Overtime Hour" ;
+    rdfs:comment "Numbers of overtime hours available for a machine to run beyond standard availability" ;
+    rdfs:range xsd:integer .
+
+opt:MinProfit rdf:type rdfs:Class ;
+    rdfs:label "Minimum Profit" ;
+    rdfs:comment "The minimum profit the manufacturer wants to achieve" ;
+    rdfs:range xsd:integer .
+
+opt:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:comment "The optimization problem to determine the quantity of batches for each part the manufacturer should produce every month, ensuring all constraints are met" .
+
+opt:OptimizationProblem rdfs:subClassOf opt:Machines, opt:Parts, opt:TimeRequired, opt:MachineCosts, opt:Availability, opt:Prices, opt:MinBatches, opt:StandardCost, opt:OvertimeCost, opt:OvertimeHour, opt:MinProfit .

text2model/knowledge_graphs/nlp4lp_6.ttl

@@ -0,0 +1,63 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:InitialPosition a rdf:Property ;
+    rdfs:label "Initial position of the object" ;
+    rdfs:range xsd:float .
+
+opt:InitialVelocity a rdf:Property ;
+    rdfs:label "Initial velocity of the object" ;
+    rdfs:range xsd:float .
+
+opt:FinalPosition a rdf:Property ;
+    rdfs:label "Final position of the object" ;
+    rdfs:range xsd:float .
+
+opt:FinalVelocity a rdf:Property ;
+    rdfs:label "Final velocity of the object" ;
+    rdfs:range xsd:float .
+
+opt:TotalTime a rdf:Property ;
+    rdfs:label "Total time over which the object is moving" ;
+    rdfs:range xsd:integer .
+
+opt:Rocket a rdfs:Class ;
+    rdfs:label "Rocket" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:rocket1 a opt:Rocket ;
+    opt:InitialPosition "0"^^xsd:float ;
+    opt:InitialVelocity "0"^^xsd:float ;
+    opt:FinalPosition "1"^^xsd:float ;
+    opt:FinalVelocity "0"^^xsd:float ;
+    opt:TotalTime "20"^^xsd:integer .
+
+opt:Acceleration a rdf:Property ;
+    rdfs:label "Acceleration at each timestep" ;
+    rdfs:range xsd:float .
+
+opt:MinimizeFuel a rdf:Property ;
+    rdfs:label "Minimize total fuel consumption" ;
+    rdfs:range xsd:float .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraints of the optimization problem" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:constraint1 a opt:Constraint ;
+    rdfs:label "Rocket's position and velocity at each timestep" ;
+    rdfs:comment "x_{t+1} = x_t + v_t, v_{t+1} = v_t + a_t" .
+
+opt:constraint2 a opt:Constraint ;
+    rdfs:label "Rocket's final position and velocity" ;
+    rdfs:comment "Rocket should reach the target position with the target speed at the target time" .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective of the optimization problem" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:objective1 a opt:Objective ;
+    rdfs:label "Minimize total fuel consumption" ;
+    rdfs:comment "Minimize \sum_{t=0}^{T-1} |a_t|" .

text2model/knowledge_graphs/nlp4lp_60.ttl

@@ -0,0 +1,36 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:N rdf:type rdfs:Class ;
+  rdfs:label "Number of east-west streets" ;
+  rdfs:comment "Scalar value representing the number of east-west streets in the grid" .
+
+opt:W rdf:type rdfs:Class ;
+  rdfs:label "Number of north-south streets" ;
+  rdfs:comment "Scalar value representing the number of north-south streets in the grid" .
+
+opt:WestTime rdf:type rdfs:Class ;
+  rdfs:label "Time to cross street segment going west" ;
+  rdfs:comment "2D array representing the time to cross each street segment going west, for given street n and segment w" .
+
+opt:NorthTime rdf:type rdfs:Class ;
+  rdfs:label "Time to cross street segment going north" ;
+  rdfs:comment "2D array representing the time to cross each street segment going north, for given street n and segment w" .
+
+opt:Path rdf:type rdfs:Class ;
+  rdfs:label "Path" ;
+  rdfs:comment "Variable representing the path taken by the delivery person" .
+
+opt:Time rdf:type rdfs:Class ;
+  rdfs:label "Time" ;
+  rdfs:comment "Variable representing the total time taken by the delivery person to deliver the package" .
+
+opt:Constraint rdf:type rdfs:Class ;
+  rdfs:label "Constraint" ;
+  rdfs:comment "Constraints of the optimization problem, including the limitation of movement to only north or west" .
+
+opt:Objective rdf:type rdfs:Class ;
+  rdfs:label "Objective" ;
+  rdfs:comment "Objective of the optimization problem, which is to minimize the total time taken to deliver the package" .

text2model/knowledge_graphs/nlp4lp_61.ttl

@@ -0,0 +1,83 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:SeaportOptimizationProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:T, opt:Demands, opt:UnloadCosts, opt:UnloadCapacity, opt:HoldingCost, opt:MaxContainer, opt:InitContainer, opt:NumCranes, opt:CraneCapacity, opt:CraneCost ;
+    opt:hasVariable opt:ContainersUnloaded, opt:ContainersHeld, opt:CranesRented ;
+    opt:hasConstraint opt:UnloadingCapacityConstraint, opt:StorageCapacityConstraint, opt:CraneCapacityConstraint, opt:InitialFinalContainerConstraint ;
+    opt:hasObjective opt:MinimizeCostObjective .
+
+opt:T a opt:Parameter ;
+    rdfs:label "The number of time periods" ;
+    rdfs:range xsd:integer .
+
+opt:Demands a opt:Parameter ;
+    rdfs:label "Demand at time t" ;
+    rdfs:range xsd:integer .
+
+opt:UnloadCosts a opt:Parameter ;
+    rdfs:label "Unloading cost at time t" ;
+    rdfs:range xsd:integer .
+
+opt:UnloadCapacity a opt:Parameter ;
+    rdfs:label "Unloading capacity at time t" ;
+    rdfs:range xsd:integer .
+
+opt:HoldingCost a opt:Parameter ;
+    rdfs:label "Cost for holding containers" ;
+    rdfs:range xsd:integer .
+
+opt:MaxContainer a opt:Parameter ;
+    rdfs:label "Maximum number of containers that can be held" ;
+    rdfs:range xsd:integer .
+
+opt:InitContainer a opt:Parameter ;
+    rdfs:label "Initial number of containers at the start" ;
+    rdfs:range xsd:integer .
+
+opt:NumCranes a opt:Parameter ;
+    rdfs:label "Number of cranes available for unloading" ;
+    rdfs:range xsd:integer .
+
+opt:CraneCapacity a opt:Parameter ;
+    rdfs:label "Capacity of each crane" ;
+    rdfs:range xsd:integer .
+
+opt:CraneCost a opt:Parameter ;
+    rdfs:label "Cost for renting each crane" ;
+    rdfs:range xsd:integer .
+
+opt:ContainersUnloaded a opt:Variable ;
+    rdfs:label "Number of containers unloaded at time t" ;
+    rdfs:range xsd:integer .
+
+opt:ContainersHeld a opt:Variable ;
+    rdfs:label "Number of containers held at time t" ;
+    rdfs:range xsd:integer .
+
+opt:CranesRented a opt:Variable ;
+    rdfs:label "Number of cranes rented at time t" ;
+    rdfs:range xsd:integer .
+
+opt:UnloadingCapacityConstraint a opt:Constraint ;
+    rdfs:label "Unloading capacity constraint" ;
+    opt:hasVariable opt:ContainersUnloaded .
+
+opt:StorageCapacityConstraint a opt:Constraint ;
+    rdfs:label "Storage capacity constraint" ;
+    opt:hasVariable opt:ContainersHeld .
+
+opt:CraneCapacityConstraint a opt:Constraint ;
+    rdfs:label "Crane capacity constraint" ;
+    opt:hasVariable opt:CranesRented .
+
+opt:InitialFinalContainerConstraint a opt:Constraint ;
+    rdfs:label "Initial and final container constraint" ;
+    opt:hasVariable opt:ContainersHeld .
+
+opt:MinimizeCostObjective a opt:Objective ;
+    rdfs:label "Minimize total cost" ;
+    opt:hasVariable opt:ContainersUnloaded, opt:ContainersHeld, opt:CranesRented ;
+    opt:isTypeOf opt:Minimization .

text2model/knowledge_graphs/nlp4lp_62.ttl

@@ -0,0 +1,44 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:Machines rdf:type rdfs:Class ;
+    rdfs:label "Machines" ;
+    rdfs:comment "The number of machines available" ;
+    rdfs:range xsd:integer .
+
+opt:Parts rdf:type rdfs:Class ;
+    rdfs:label "Parts" ;
+    rdfs:comment "The number of types of parts to produce" ;
+    rdfs:range xsd:integer .
+
+opt:TimeRequired rdf:type rdfs:Class ;
+    rdfs:label "Time Required" ;
+    rdfs:comment "The time required to produce a batch on machine m for part p" ;
+    rdfs:range xsd:integer .
+
+opt:MachineCosts rdf:type rdfs:Class ;
+    rdfs:label "Machine Costs" ;
+    rdfs:comment "The cost of operating machine m for a month" ;
+    rdfs:range xsd:integer .
+
+opt:Availability rdf:type rdfs:Class ;
+    rdfs:label "Availability" ;
+    rdfs:comment "The time each machine m is available for production each month" ;
+    rdfs:range xsd:integer .
+
+opt:Prices rdf:type rdfs:Class ;
+    rdfs:label "Prices" ;
+    rdfs:comment "The price at which part p can be sold" ;
+    rdfs:range xsd:integer .
+
+opt:SetupTime rdf:type rdfs:Class ;
+    rdfs:label "Setup Time" ;
+    rdfs:comment "The setup time required before producing a batch of part p" ;
+    rdfs:range xsd:integer .
+
+opt:MaximizeProfit rdf:type rdfs:Class ;
+    rdfs:label "Maximize Profit" ;
+    rdfs:comment "The objective is to maximize profit by determining the number of batches of each part to produce each month" ;
+    rdfs:range xsd:integer .

text2model/knowledge_graphs/nlp4lp_63.ttl

@@ -0,0 +1,49 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix opt: <http://www.example.org/optimization#> .
+
+opt:TranslatorSelectionProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:N, opt:Cost, opt:TranslatorLanguagesMatrix, opt:M, opt:RequiredLanguages ;
+    opt:hasVariable opt:TranslatorSelection ;
+    opt:hasConstraint opt:LanguageCoverageConstraint ;
+    opt:hasObjective opt:MinimizeCostObjective .
+
+opt:N a opt:Parameter ;
+    rdfs:label "Number of translators" ;
+    rdfs:comment "Total number of translators available for selection." ;
+    rdfs:range xsd:integer .
+
+opt:Cost a opt:Parameter ;
+    rdfs:label "Cost of translator" ;
+    rdfs:comment "The cost associated with each translator." ;
+    rdfs:range xsd:float .
+
+opt:TranslatorLanguagesMatrix a opt:Parameter ;
+    rdfs:label "Translator languages matrix" ;
+    rdfs:comment "Binary decision matrix representing the languages each translator can translate." ;
+    rdfs:range xsd:boolean .
+
+opt:M a opt:Parameter ;
+    rdfs:label "Number of required languages" ;
+    rdfs:comment "Total number of languages that need to be translated." ;
+    rdfs:range xsd:integer .
+
+opt:RequiredLanguages a opt:Parameter ;
+    rdfs:label "List of required languages" ;
+    rdfs:comment "List of languages that need to be translated." ;
+    rdfs:range xsd:string .
+
+opt:TranslatorSelection a opt:Variable ;
+    rdfs:label "Translator selection" ;
+    rdfs:comment "Binary decision variable representing whether a translator is selected or not." ;
+    rdfs:range xsd:boolean .
+
+opt:LanguageCoverageConstraint a opt:Constraint ;
+    rdfs:label "Language coverage constraint" ;
+    rdfs:comment "Constraint ensuring all required languages are covered by the selected translators." .
+
+opt:MinimizeCostObjective a opt:Objective ;
+    rdfs:label "Minimize cost objective" ;
+    rdfs:comment "Objective to minimize the total cost of selected translators." ;
+    opt:optimizationType opt:Minimization .