text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/nlp4lp_16.ttl

@@ -0,0 +1,64 @@
+@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 different products" ;
+      rdfs:comment "The total number of different products produced by the company." ;
+      rdfs:range xsd:integer .
+
+opt:AssemblyHour rdf:type rdfs:Class ;
+                 rdfs:label "Hours required to assemble product i" ;
+                 rdfs:comment "The number of hours required to assemble each type of product." ;
+                 rdfs:range xsd:float .
+
+opt:TestingHour rdf:type rdfs:Class ;
+                rdfs:label "Hours required to test product i" ;
+                rdfs:comment "The number of hours required to test each type of product." ;
+                rdfs:range xsd:float .
+
+opt:MaterialCost rdf:type rdfs:Class ;
+                 rdfs:label "Material cost for product i" ;
+                 rdfs:comment "The cost of raw materials required for each type of product." ;
+                 rdfs:range xsd:float .
+
+opt:MaxAssembly rdf:type rdfs:Class ;
+                rdfs:label "Maximum total hours available for assembly" ;
+                rdfs:comment "The maximum number of hours available for assembly each day." ;
+                rdfs:range xsd:integer .
+
+opt:MaxTesting rdf:type rdfs:Class ;
+               rdfs:label "Maximum total hours available for testing" ;
+               rdfs:comment "The maximum number of hours available for testing each day." ;
+               rdfs:range xsd:integer .
+
+opt:Price rdf:type rdfs:Class ;
+           rdfs:label "Selling price for product i" ;
+           rdfs:comment "The selling price for each type of product." ;
+           rdfs:range xsd:float .
+
+opt:MaxOvertimeAssembly rdf:type rdfs:Class ;
+                        rdfs:label "Maximum overtime hours available for assembly" ;
+                        rdfs:comment "The maximum number of overtime hours that can be scheduled for assembly." ;
+                        rdfs:range xsd:integer .
+
+opt:OvertimeAssemblyCost rdf:type rdfs:Class ;
+                         rdfs:label "Overtime cost for assembly per hour" ;
+                         rdfs:comment "The cost per hour for overtime assembly labor." ;
+                         rdfs:range xsd:float .
+
+opt:MaterialDiscount rdf:type rdfs:Class ;
+                     rdfs:label "Discount on material cost when a certain threshold is reached" ;
+                     rdfs:comment "The percentage discount provided by the raw material supplier if the daily bill is above a certain threshold." ;
+                     rdfs:range xsd:float .
+
+opt:DiscountThreshold rdf:type rdfs:Class ;
+                      rdfs:label "Threshold for the quantity to reach to obtain the material discount" ;
+                      rdfs:comment "The threshold for the quantity of raw materials to reach to obtain the discount." ;
+                      rdfs:range xsd:float .
+
+opt:Profit rdf:type rdfs:Class ;
+            rdfs:label "Daily profit of the company" ;
+            rdfs:comment "The daily profit of the company, which is the total revenue minus the total cost." ;
+            rdfs:range xsd:float .

text2model/knowledge_graphs/nlp4lp_17.ttl

@@ -0,0 +1,72 @@
+@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#> .
+
+:Problem a opt:OptimizationProblem ;
+    opt:hasObjective :Objective ;
+    opt:hasConstraint :Constraint1, :Constraint2 ;
+    opt:hasVariable :Variable1 ;
+    opt:hasParameter :Parameter1, :Parameter2, :Parameter3, :Parameter4, :Parameter5, :Parameter6, :Parameter7, :Parameter8 .
+
+:Parameter1 a opt:Parameter ;
+    rdfs:label "O" ;
+    rdfs:comment "Number of options" ;
+    opt:hasValue "2"^^xsd:integer .
+
+:Parameter2 a opt:Parameter ;
+    rdfs:label "P" ;
+    rdfs:comment "Number of price points" ;
+    opt:hasValue "2"^^xsd:integer .
+
+:Parameter3 a opt:Parameter ;
+    rdfs:label "L" ;
+    rdfs:comment "Number of processes" ;
+    opt:hasValue "3"^^xsd:integer .
+
+:Parameter4 a opt:Parameter ;
+    rdfs:label "Allocated" ;
+    rdfs:comment "Allocated resources for each option" ;
+    opt:hasValue "[8000, 5000]"^^xsd:string .
+
+:Parameter5 a opt:Parameter ;
+    rdfs:label "Price" ;
+    rdfs:comment "Price at each price point" ;
+    opt:hasValue "[38, 33]"^^xsd:string .
+
+:Parameter6 a opt:Parameter ;
+    rdfs:label "Input" ;
+    rdfs:comment "Input resources required for each option in each process" ;
+    opt:hasValue "[[3, 5], [1, 1], [5, 3]]"^^xsd:string .
+
+:Parameter7 a opt:Parameter ;
+    rdfs:label "Output" ;
+    rdfs:comment "Output produced for each price point in each process" ;
+    opt:hasValue "[[4, 3], [1, 1], [3, 4]]"^^xsd:string .
+
+:Parameter8 a opt:Parameter ;
+    rdfs:label "Cost" ;
+    rdfs:comment "Cost for each process" ;
+    opt:hasValue "[51, 11, 40]"^^xsd:string .
+
+:Variable1 a opt:Variable ;
+    rdfs:label "X" ;
+    rdfs:comment "Number of times each process is executed" ;
+    opt:hasLowerBound "0"^^xsd:float ;
+    opt:hasUpperBound "Infinity"^^xsd:float .
+
+:Constraint1 a opt:Constraint ;
+    rdfs:label "Resource Constraint" ;
+    rdfs:comment "The total input resources used by all processes should not exceed the allocated resources" ;
+    opt:hasMathematicalExpression "sum(X[i]*Input[i][j] for i in 1..L) <= Allocated[j] for j in 1..O"^^xsd:string .
+
+:Constraint2 a opt:Constraint ;
+    rdfs:label "Non-negativity Constraint" ;
+    rdfs:comment "The number of times each process is executed should be non-negative" ;
+    opt:hasMathematicalExpression "X[i] >= 0 for i in 1..L"^^xsd:string .
+
+:Objective a opt:Objective ;
+    rdfs:label "Revenue Maximization" ;
+    rdfs:comment "Maximize the total revenue from all products" ;
+    opt:hasMathematicalExpression "maximize sum((sum(Price[j]*Output[i][j] for j in 1..P) - Cost[i])*X[i] for i in 1..L)"^^xsd:string ;
+    opt:hasOptimizationDirection opt:Maximize .

text2model/knowledge_graphs/nlp4lp_18.ttl

@@ -0,0 +1,64 @@
+@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:StockInvestmentProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:N, opt:Bought, opt:BuyPrice, opt:CurrentPrice, opt:FuturePrice, opt:TransactionRate, opt:TaxRate, opt:K ;
+    opt:hasVariable opt:SharesToSell ;
+    opt:hasConstraint opt:MoneyRaisedConstraint ;
+    opt:hasObjective opt:MaximizePortfolioValue .
+
+opt:N a opt:Parameter ;
+    rdfs:label "Number of different shares" ;
+    rdfs:comment "The number of different shares in the investor's portfolio." ;
+    rdfs:range xsd:integer .
+
+opt:Bought a opt:Parameter ;
+    rdfs:label "Amount of each share initially bought" ;
+    rdfs:comment "The amount of each share initially bought by the investor." ;
+    rdfs:range xsd:float .
+
+opt:BuyPrice a opt:Parameter ;
+    rdfs:label "Purchase price of each share" ;
+    rdfs:comment "The purchase price of each share in the investor's portfolio." ;
+    rdfs:range xsd:float .
+
+opt:CurrentPrice a opt:Parameter ;
+    rdfs:label "Current market price of each share" ;
+    rdfs:comment "The current market price of each share in the investor's portfolio." ;
+    rdfs:range xsd:float .
+
+opt:FuturePrice a opt:Parameter ;
+    rdfs:label "Expected future market price of each share" ;
+    rdfs:comment "The expected future market price of each share in the investor's portfolio." ;
+    rdfs:range xsd:float .
+
+opt:TransactionRate a opt:Parameter ;
+    rdfs:label "Transaction cost rate per share sold" ;
+    rdfs:comment "The transaction cost rate per share sold by the investor." ;
+    rdfs:range xsd:float .
+
+opt:TaxRate a opt:Parameter ;
+    rdfs:label "Capital gains tax rate on the profit from selling shares" ;
+    rdfs:comment "The capital gains tax rate on the profit from selling shares by the investor." ;
+    rdfs:range xsd:float .
+
+opt:K a opt:Parameter ;
+    rdfs:label "Amount of money the investor needs to raise" ;
+    rdfs:comment "The amount of money the investor needs to raise from selling shares." ;
+    rdfs:range xsd:float .
+
+opt:SharesToSell a opt:Variable ;
+    rdfs:label "Shares to sell" ;
+    rdfs:comment "The number of shares to sell in order to raise the required amount of money." ;
+    rdfs:range xsd:float .
+
+opt:MoneyRaisedConstraint a opt:Constraint ;
+    rdfs:label "Money raised constraint" ;
+    rdfs:comment "The constraint that the money raised from selling shares, net of capital gains and transaction costs, must be equal to the amount the investor needs to raise." .
+
+opt:MaximizePortfolioValue a opt:Objective ;
+    rdfs:label "Maximize portfolio value" ;
+    rdfs:comment "The objective to maximize the expected value of the investor's portfolio next year." ;
+    opt:optimizationType opt:Maximization .

text2model/knowledge_graphs/nlp4lp_19.ttl

@@ -0,0 +1,98 @@
+@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:Problem a rdfs:Class ;
+    rdfs:label "Optimization Problem" .
+
+opt:Parameter a rdfs:Class ;
+    rdfs:label "Parameter" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Variable a rdfs:Class ;
+    rdfs:label "Variable" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:M a opt:Parameter ;
+    rdfs:label "Number of months" ;
+    rdfs:comment "M = 6" ;
+    rdfs:range xsd:integer .
+
+opt:I a opt:Parameter ;
+    rdfs:label "Number of different oils" ;
+    rdfs:comment "I = 5" ;
+    rdfs:range xsd:integer .
+
+opt:BuyPrice a opt:Parameter ;
+    rdfs:label "Buy price of oil i in month m" ;
+    rdfs:range xsd:float .
+
+opt:SellPrice a opt:Parameter ;
+    rdfs:label "Sell price of the products after refining" ;
+    rdfs:range xsd:float .
+
+opt:IsVegetable a opt:Parameter ;
+    rdfs:label "Indicator whether item i is a vegetable oil" ;
+    rdfs:range xsd:boolean .
+
+opt:MaxVegetableRefiningPerMonth a opt:Parameter ;
+    rdfs:label "Total refining capability for vegetable oils per month" ;
+    rdfs:range xsd:integer .
+
+opt:MaxNonVegetableRefiningPerMonth a opt:Parameter ;
+    rdfs:label "Total refining capability for non-vegetable oils per month" ;
+    rdfs:range xsd:integer .
+
+opt:StorageSize a opt:Parameter ;
+    rdfs:label "Storage capacity for raw oil" ;
+    rdfs:range xsd:integer .
+
+opt:StorageCost a opt:Parameter ;
+    rdfs:label "Cost for storing oil per month per ton" ;
+    rdfs:range xsd:float .
+
+opt:MaxHardness a opt:Parameter ;
+    rdfs:label "The maximum hardness allowed for the products after refining" ;
+    rdfs:range xsd:float .
+
+opt:MinHardness a opt:Parameter ;
+    rdfs:label "The minimum hardness required for the products after refining" ;
+    rdfs:range xsd:float .
+
+opt:Hardness a opt:Parameter ;
+    rdfs:label "Hardness of item i" ;
+    rdfs:range xsd:float .
+
+opt:InitialAmount a opt:Parameter ;
+    rdfs:label "Initial amount of items in storage at the beginning of the planning horizon" ;
+    rdfs:range xsd:integer .
+
+opt:BuyingPolicy a opt:Variable ;
+    rdfs:label "Buying policy" .
+
+opt:StoringPolicy a opt:Variable ;
+    rdfs:label "Storing policy" .
+
+opt:ManufacturingPolicy a opt:Variable ;
+    rdfs:label "Manufacturing policy" .
+
+opt:HardnessConstraint a opt:Constraint ;
+    rdfs:label "Hardness constraint" .
+
+opt:StorageConstraint a opt:Constraint ;
+    rdfs:label "Storage constraint" .
+
+opt:RefiningConstraint a opt:Constraint ;
+    rdfs:label "Refining constraint" .
+
+opt:ProfitMaximization a opt:Objective ;
+    rdfs:label "Profit maximization" .

text2model/knowledge_graphs/nlp4lp_2.ttl

@@ -0,0 +1,103 @@
+@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 dec: <http://www.example.org/dec#> .
+
+dec:DEC a rdfs:Class ;
+    rdfs:label "Digital Equipment Corporation" .
+
+dec:System a rdfs:Class ;
+    rdfs:label "System" ;
+    rdfs:subClassOf dec:DEC .
+
+dec:GP a rdfs:Class ;
+    rdfs:label "General Purpose System" ;
+    rdfs:subClassOf dec:System .
+
+dec:WS a rdfs:Class ;
+    rdfs:label "Workstation System" ;
+    rdfs:subClassOf dec:System .
+
+dec:Price a rdf:Property ;
+    rdfs:label "Price" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:float .
+
+dec:DiskDrives a rdf:Property ;
+    rdfs:label "Disk Drives" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:float .
+
+dec:MemoryBoards a rdf:Property ;
+    rdfs:label "Memory Boards" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:float .
+
+dec:MaxCpu a rdf:Property ;
+    rdfs:label "Maximum CPUs" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:MinDisk a rdf:Property ;
+    rdfs:label "Minimum Disk Drives" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:MaxDisk a rdf:Property ;
+    rdfs:label "Maximum Disk Drives" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:MinMemory a rdf:Property ;
+    rdfs:label "Minimum Memory Boards" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:MaxMemory a rdf:Property ;
+    rdfs:label "Maximum Memory Boards" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:Demand a rdf:Property ;
+    rdfs:label "Demand" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:float .
+
+dec:DemandGP a rdf:Property ;
+    rdfs:label "Demand for General Purpose Systems" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:DemandWS a rdf:Property ;
+    rdfs:label "Demand for Workstation Systems" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:Preorder a rdf:Property ;
+    rdfs:label "Preorder" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:float .
+
+dec:AltMemory a rdf:Property ;
+    rdfs:label "Alternative Memory" ;
+    rdfs:domain dec:DEC ;
+    rdfs:range xsd:float .
+
+dec:AltCompatible a rdf:Property ;
+    rdfs:label "Alternative Memory Compatibility" ;
+    rdfs:domain dec:System ;
+    rdfs:range xsd:boolean .
+
+dec:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:subClassOf dec:DEC .
+
+dec:Objective a rdf:Property ;
+    rdfs:label "Objective" ;
+    rdfs:domain dec:OptimizationProblem ;
+    rdfs:range xsd:string .
+
+dec:Constraint a rdf:Property ;
+    rdfs:label "Constraint" ;
+    rdfs:domain dec:OptimizationProblem ;
+    rdfs:range xsd:string .

text2model/knowledge_graphs/nlp4lp_20.ttl

@@ -0,0 +1,129 @@
+@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:OilProductionProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:I, opt:M, opt:BuyPrice, opt:SellPrice, opt:IsVegetable, opt:MaxVegRefiningPerMonth, opt:MaxNonVegRefiningPerMonth, opt:StorageSize, opt:StorageCost, opt:MaxHardness, opt:MinHardness, opt:Hardness, opt:InitialAmount, opt:MinUsage, opt:Dependencies ;
+    opt:hasVariable opt:BuyingPolicy, opt:StoringPolicy, opt:ManufacturingPolicy ;
+    opt:hasConstraint opt:RefiningCapacityConstraint, opt:StorageCapacityConstraint, opt:HardnessConstraint, opt:InitialAmountConstraint, opt:MinUsageConstraint, opt:DependencyConstraint ;
+    opt:hasObjective opt:MaximizeProfit .
+
+opt:I a opt:Parameter ;
+    rdfs:label "Number of types of oil" ;
+    rdfs:comment "The number of different types of oil available for purchase and refining." ;
+    rdfs:range xsd:integer .
+
+opt:M a opt:Parameter ;
+    rdfs:label "Number of months" ;
+    rdfs:comment "The number of months over which the optimization problem is considered." ;
+    rdfs:range xsd:integer .
+
+opt:BuyPrice a opt:Parameter ;
+    rdfs:label "Buying price of oil" ;
+    rdfs:comment "The price of each type of oil in each month." ;
+    rdfs:range xsd:float .
+
+opt:SellPrice a opt:Parameter ;
+    rdfs:label "Selling price of final product" ;
+    rdfs:comment "The price at which the final product is sold." ;
+    rdfs:range xsd:float .
+
+opt:IsVegetable a opt:Parameter ;
+    rdfs:label "Indicator whether good is a vegetable oil or not" ;
+    rdfs:comment "An indicator of whether each type of oil is a vegetable oil." ;
+    rdfs:range xsd:boolean .
+
+opt:MaxVegRefiningPerMonth a opt:Parameter ;
+    rdfs:label "Maximum refining capacity for vegetable oil per month" ;
+    rdfs:comment "The maximum amount of vegetable oil that can be refined in a month." ;
+    rdfs:range xsd:integer .
+
+opt:MaxNonVegRefiningPerMonth a opt:Parameter ;
+    rdfs:label "Maximum refining capacity for non-vegetable oil per month" ;
+    rdfs:comment "The maximum amount of non-vegetable oil that can be refined in a month." ;
+    rdfs:range xsd:integer .
+
+opt:StorageSize a opt:Parameter ;
+    rdfs:label "Storage capacity for raw oil" ;
+    rdfs:comment "The maximum amount of raw oil that can be stored." ;
+    rdfs:range xsd:integer .
+
+opt:StorageCost a opt:Parameter ;
+    rdfs:label "Storage cost per unit per month" ;
+    rdfs:comment "The cost of storing a unit of raw oil for a month." ;
+    rdfs:range xsd:float .
+
+opt:MaxHardness a opt:Parameter ;
+    rdfs:label "Maximum hardness of final product" ;
+    rdfs:comment "The maximum hardness that the final product can have." ;
+    rdfs:range xsd:float .
+
+opt:MinHardness a opt:Parameter ;
+    rdfs:label "Minimum hardness of final product" ;
+    rdfs:comment "The minimum hardness that the final product can have." ;
+    rdfs:range xsd:float .
+
+opt:Hardness a opt:Parameter ;
+    rdfs:label "Hardness of good" ;
+    rdfs:comment "The hardness of each type of oil." ;
+    rdfs:range xsd:float .
+
+opt:InitialAmount a opt:Parameter ;
+    rdfs:label "Initial amount of oil of each type that's available for processing" ;
+    rdfs:comment "The amount of each type of oil that is initially available for processing." ;
+    rdfs:range xsd:integer .
+
+opt:MinUsage a opt:Parameter ;
+    rdfs:label "Minimum usage of oil" ;
+    rdfs:comment "The minimum amount of an oil that must be used if it is used in a month." ;
+    rdfs:range xsd:integer .
+
+opt:Dependencies a opt:Parameter ;
+    rdfs:label "Dependencies of goods" ;
+    rdfs:comment "A binary table indicating dependencies between different types of oil." ;
+    rdfs:range xsd:boolean .
+
+opt:BuyingPolicy a opt:Variable ;
+    rdfs:label "Buying policy" ;
+    rdfs:comment "The policy for buying raw oil." ;
+    rdfs:range xsd:float .
+
+opt:StoringPolicy a opt:Variable ;
+    rdfs:label "Storing policy" ;
+    rdfs:comment "The policy for storing raw oil." ;
+    rdfs:range xsd:float .
+
+opt:ManufacturingPolicy a opt:Variable ;
+    rdfs:label "Manufacturing policy" ;
+    rdfs:comment "The policy for manufacturing the final product." ;
+    rdfs:range xsd:float .
+
+opt:RefiningCapacityConstraint a opt:Constraint ;
+    rdfs:label "Refining capacity constraint" ;
+    rdfs:comment "A constraint on the refining capacity for vegetable and non-vegetable oil." .
+
+opt:StorageCapacityConstraint a opt:Constraint ;
+    rdfs:label "Storage capacity constraint" ;
+    rdfs:comment "A constraint on the storage capacity for raw oil." .
+
+opt:HardnessConstraint a opt:Constraint ;
+    rdfs:label "Hardness constraint" ;
+    rdfs:comment "A constraint on the hardness of the final product." .
+
+opt:InitialAmountConstraint a opt:Constraint ;
+    rdfs:label "Initial amount constraint" ;
+    rdfs:comment "A constraint on the initial amount of each type of oil." .
+
+opt:MinUsageConstraint a opt:Constraint ;
+    rdfs:label "Minimum usage constraint" ;
+    rdfs:comment "A constraint on the minimum usage of each type of oil." .
+
+opt:DependencyConstraint a opt:Constraint ;
+    rdfs:label "Dependency constraint" ;
+    rdfs:comment "A constraint on the dependencies between different types of oil." .
+
+opt:MaximizeProfit a opt:Objective ;
+    rdfs:label "Maximize profit" ;
+    rdfs:comment "The objective is to maximize the profit from selling the final product." ;
+    opt:isTypeOf opt:Maximization .

text2model/knowledge_graphs/nlp4lp_21.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:M a rdf:Property ;
+    rdfs:label "Number of types of machines" ;
+    rdfs:range xsd:integer .
+
+opt:K a rdf:Property ;
+    rdfs:label "Number of types of products" ;
+    rdfs:range xsd:integer .
+
+opt:I a rdf:Property ;
+    rdfs:label "Number of time periods" ;
+    rdfs:range xsd:integer .
+
+opt:NumMachines a rdf:Property ;
+    rdfs:label "Number of machines" ;
+    rdfs:range xsd:integer .
+
+opt:Profit a rdf:Property ;
+    rdfs:label "Profit for product k" ;
+    rdfs:range xsd:float .
+
+opt:Time a rdf:Property ;
+    rdfs:label "Time taken by product k on machine m" ;
+    rdfs:range xsd:float .
+
+opt:Maintain a rdf:Property ;
+    rdfs:label "Maintenance time for machine m in time period i" ;
+    rdfs:range xsd:integer .
+
+opt:Limit a rdf:Property ;
+    rdfs:label "Limit of storing product k for time period i" ;
+    rdfs:range xsd:integer .
+
+opt:StorePrice a rdf:Property ;
+    rdfs:label "Price for storing products" ;
+    rdfs:range xsd:float .
+
+opt:KeepQuantity a rdf:Property ;
+    rdfs:label "Quantity of product k to keep" ;
+    rdfs:range xsd:integer .
+
+opt:WorkHours a rdf:Property ;
+    rdfs:label "Number of working hours" ;
+    rdfs:range xsd:float .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:OptimizationProblemInstance a opt:OptimizationProblem ;
+    opt:M 5 ;
+    opt:K 7 ;
+    opt:I 6 ;
+    opt:NumMachines 4 ;
+    opt:Profit 10 ;
+    opt:Time 0.5 ;
+    opt:Maintain 1 ;
+    opt:Limit 500 ;
+    opt:StorePrice 0.5 ;
+    opt:KeepQuantity 100 ;
+    opt:WorkHours 8.0 .

text2model/knowledge_graphs/nlp4lp_22.ttl

@@ -0,0 +1,72 @@
+@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 a rdf:Property ;
+    rdfs:label "Number of types of machines" ;
+    rdfs:range xsd:integer .
+
+opt:K a rdf:Property ;
+    rdfs:label "Number of types of products" ;
+    rdfs:range xsd:integer .
+
+opt:I a rdf:Property ;
+    rdfs:label "Number of time periods" ;
+    rdfs:range xsd:integer .
+
+opt:NumMachines a rdf:Property ;
+    rdfs:label "Number of machines" ;
+    rdfs:range xsd:integer .
+
+opt:Profit a rdf:Property ;
+    rdfs:label "Profit for each product" ;
+    rdfs:range xsd:float .
+
+opt:Time a rdf:Property ;
+    rdfs:label "Time required to produce each product on each machine" ;
+    rdfs:range xsd:float .
+
+opt:Downtime a rdf:Property ;
+    rdfs:label "Downtime for each machine" ;
+    rdfs:range xsd:integer .
+
+opt:Limit a rdf:Property ;
+    rdfs:label "Limit for each product on constraints" ;
+    rdfs:range xsd:integer .
+
+opt:StorePrice a rdf:Property ;
+    rdfs:label "Price for storing products" ;
+    rdfs:range xsd:float .
+
+opt:KeepQuantity a rdf:Property ;
+    rdfs:label "Quantity of products to keep in store" ;
+    rdfs:range xsd:integer .
+
+opt:WorkHours a rdf:Property ;
+    rdfs:label "Number of work hours available" ;
+    rdfs:range xsd:float .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:ManufacturingPolicy a rdfs:Class ;
+    rdfs:label "Manufacturing Policy" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:ManufacturingPolicy rdfs:subClassOf opt:OptimizationProblem ;
+    rdfs:label "Manufacturing Policy" ;
+    rdfs:comment "The optimal selling, storing, and manufacturing policy for a company to maximize its profit." .
+
+opt:ManufacturingPolicy opt:M "5" ;
+    opt:K "7" ;
+    opt:I "N/A" ;
+    opt:NumMachines "[4, 2, 3, 1, 1]" ;
+    opt:Profit "[10, 6, 8, 4, 11, 9, 3]" ;
+    opt:Time "array2d(1..6, 1..5, [0.5, 0.1, 0.2, 0.05, 0.0, 0.7, 0.2, 0.0, 0.03, 0.0, 0.0, 0.0, 0.8, 0.0, 0.01, 0.0, 0.3, 0.0, 0.07, 0.0, 0.3, 0.0, 0.0, 0.1, 0.05, 0.5, 0.0, 0.6, 0.08, 0.05])" ;
+    opt:Downtime "array2d(1..1, 1..5, [0, 1, 1, 1, 1])" ;
+    opt:Limit "array2d(1..7, 1..6, [500, 600, 300, 200, 0, 500, 1000, 500, 600, 300, 100, 500, 300, 200, 0, 400, 500, 100, 300, 0, 0, 500, 100, 300, 800, 400, 500, 200, 1000, 1100, 200, 300, 400, 0, 300, 500, 100, 150, 100, 100, 0, 60])" ;
+    opt:StorePrice "0.5" ;
+    opt:KeepQuantity "100" ;
+    opt:WorkHours "8.0" .