text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/complexor_CFLP.ttl

@@ -0,0 +1,43 @@
+@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:FacilityLocationProblem a rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem ;
+    rdfs:comment "The capacitated facility location problem involves locating facilities which are to service customers at minimum total cost."@en .
+
+opt:numberOfFacilities a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "The number of potential facilities that can be established."@en .
+
+opt:numberOfCustomers a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "The number of customer zones to be served."@en .
+
+opt:facilityFixedCost a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:decimal ;
+    rdfs:comment "The fixed cost associated with establishing each facility."@en .
+
+opt:facilityToCustomerTransportCost a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:decimal ;
+    rdfs:comment "The cost of transporting goods from each facility to each customer zone."@en .
+
+opt:facilityCapacity a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "The capacity of each facility, which limits the amount of goods the facility can handle or produce."@en .
+
+opt:customerDemand a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "The demand of each customer zone that must be met by the facilities."@en .
+
+opt:objective a rdf:Property ;
+    rdfs:domain opt:FacilityLocationProblem ;
+    rdfs:range xsd:string ;
+    rdfs:comment "The objective is to minimize total cost by choosing which facilities to establish and determining how much each facility should supply to each customer zone."@en .

text2model/knowledge_graphs/complexor_CapacitatedWarehouseLocation.ttl

@@ -0,0 +1,59 @@
+@prefix : <http://www.semanticweb.org/ontologies/2021/4/untitled-ontology-4#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:WarehouseLocationProblem a owl:Class ;
+    rdfs:subClassOf :OptimizationProblem .
+
+:hasNumberOfLocations a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasNumberOfCustomers a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasCustomerDemand a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasServiceAllocationCost a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasWarehouseCapacity a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasMinimumDemandFromWarehouse a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasMinimumOpenWarehouses a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasMaximumOpenWarehouses a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasWarehouseFixedCost a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range xsd:integer .
+
+:hasObjective a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range :Objective .
+
+:Objective a owl:Class ;
+    rdfs:subClassOf :OptimizationProblem ;
+    rdfs:comment "The objective is to allocate customers to warehouses and which warehouses to open in order to minimize the total cost." .
+
+:hasConstraint a owl:ObjectProperty ;
+    rdfs:domain :WarehouseLocationProblem ;
+    rdfs:range :Constraint .
+
+:Constraint a owl:Class ;
+    rdfs:subClassOf :OptimizationProblem ;
+    rdfs:comment "Constraints on the total demand that can be met from each warehouse, the lower limit on the demand that a warehouse must meet if it is opened, and constraints on the minimum and maximum number of warehouses that can be operational." .

text2model/knowledge_graphs/complexor_CarSelection.ttl

@@ -0,0 +1,30 @@
+@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:CarSelectionProblem a rdfs:Class ;
+    rdfs:label "Car Selection Problem" ;
+    rdfs:comment "The problem of assigning participants to cars in a way that maximizes the total number of assignments." .
+
+opt:ParticipantNum a rdf:Property ;
+    rdfs:label "Total number of participants" ;
+    rdfs:range xsd:integer ;
+    rdfs:domain opt:CarSelectionProblem .
+
+opt:CarNum a rdf:Property ;
+    rdfs:label "Total number of available cars" ;
+    rdfs:range xsd:integer ;
+    rdfs:domain opt:CarSelectionProblem .
+
+opt:InterestMatrix a rdf:Property ;
+    rdfs:label "Interest matrix" ;
+    rdfs:comment "A binary matrix indicating whether a participant is interested in a particular car (1 for interested and 0 for not interested)" ;
+    rdfs:range xsd:string ;
+    rdfs:domain opt:CarSelectionProblem .
+
+opt:MaximizeAssignments a rdf:Property ;
+    rdfs:label "Maximize assignments" ;
+    rdfs:comment "The objective is to maximize the number of participants who get cars they are interested in." ;
+    rdfs:range xsd:integer ;
+    rdfs:domain opt:CarSelectionProblem .

text2model/knowledge_graphs/complexor_TSP.ttl

@@ -0,0 +1,52 @@
+@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:OriginNum a rdf:Property ;
+    rdfs:label "OriginNum" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer .
+
+opt:DestinationNum a rdf:Property ;
+    rdfs:label "DestinationNum" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer .
+
+opt:Supply a rdf:Property ;
+    rdfs:label "Supply" ;
+    rdfs:domain opt:Origin ;
+    rdfs:range xsd:integer .
+
+opt:Demand a rdf:Property ;
+    rdfs:label "Demand" ;
+    rdfs:domain opt:Destination ;
+    rdfs:range xsd:integer .
+
+opt:Cost a rdf:Property ;
+    rdfs:label "Cost" ;
+    rdfs:domain opt:Transport ;
+    rdfs:range xsd:float .
+
+opt:Problem a rdfs:Class ;
+    rdfs:label "Problem" ;
+    rdfs:subClassOf opt:Optimization .
+
+opt:Origin a rdfs:Class ;
+    rdfs:label "Origin" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Destination a rdfs:Class ;
+    rdfs:label "Destination" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Transport a rdfs:Class ;
+    rdfs:label "Transport" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Optimization a rdfs:Class ;
+    rdfs:label "Optimization" .
+
+opt:Problem rdfs:comment "This problem is focused on efficiently allocating goods from a set of origins to a set of destinations. Each origin has a certain supply of goods, and each destination has a specific demand. There is a cost associated with transporting goods from an origin to a destination per unit of good. The objective is to minimize the total transportation cost while meeting the demands at the destinations without exceeding the supplies at the origins." .
+
+opt:Optimization rdfs:comment "The objective is to minimize the total transportation cost while meeting the demands at the destinations without exceeding the supplies at the origins." .

text2model/knowledge_graphs/complexor_VRPTW.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 owl: <http://www.w3.org/2002/07/owl#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix vrptw: <http://www.example.org/vrptw#> .
+
+vrptw:CustomerCount a owl:DatatypeProperty ;
+    rdfs:domain vrptw:VRPTW ;
+    rdfs:range xsd:integer .
+
+vrptw:VehicleCount a owl:DatatypeProperty ;
+    rdfs:domain vrptw:VRPTW ;
+    rdfs:range xsd:integer .
+
+vrptw:CustomerDemand a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Customer ;
+    rdfs:range xsd:integer .
+
+vrptw:CustomerLBTW a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Customer ;
+    rdfs:range xsd:integer .
+
+vrptw:CustomerUBTW a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Customer ;
+    rdfs:range xsd:integer .
+
+vrptw:CustomerDistance a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Customer ;
+    rdfs:range xsd:integer .
+
+vrptw:CustomerServiceTime a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Customer ;
+    rdfs:range xsd:integer .
+
+vrptw:VehicleCapacity a owl:DatatypeProperty ;
+    rdfs:domain vrptw:Vehicle ;
+    rdfs:range xsd:integer .
+
+vrptw:VRPTW a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerCount ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] ,
+                    [ a owl:Restriction ;
+                      owl:onProperty vrptw:VehicleCount ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] .
+
+vrptw:Customer a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerDemand ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] ,
+                    [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerLBTW ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] ,
+                    [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerUBTW ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] ,
+                    [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerDistance ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] ,
+                    [ a owl:Restriction ;
+                      owl:onProperty vrptw:CustomerServiceTime ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] .
+
+vrptw:Vehicle a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+                      owl:onProperty vrptw:VehicleCapacity ;
+                      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

text2model/knowledge_graphs/nlp4lp_1.ttl

@@ -0,0 +1,56 @@
+@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:GoodsProductionProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:M, opt:N, opt:Available, opt:Requirements, opt:Prices ;
+    opt:hasVariable opt:GoodsProduced ;
+    opt:hasConstraint opt:RawMaterialAvailability ;
+    opt:hasObjective opt:MaximizeRevenue .
+
+opt:M a opt:Parameter ;
+    rdfs:label "Number of different goods produced by the firm" ;
+    rdfs:comment "M is a scalar representing the number of different goods produced by the firm." ;
+    opt:hasExample "M = 4" ;
+    opt:hasShape "scalar" .
+
+opt:N a opt:Parameter ;
+    rdfs:label "Number of different raw materials used by the firm" ;
+    rdfs:comment "N is a scalar representing the number of different raw materials used by the firm." ;
+    opt:hasExample "N = 5" ;
+    opt:hasShape "scalar" .
+
+opt:Available a opt:Parameter ;
+    rdfs:label "Available amount of raw material i" ;
+    rdfs:comment "Available is a vector of length N representing the available amount of each raw material." ;
+    opt:hasExample "Available = [10, 20, 15, 35, 25]" ;
+    opt:hasShape "[N]" .
+
+opt:Requirements a opt:Parameter ;
+    rdfs:label "Requirement of raw material i to produce one unit of good j" ;
+    rdfs:comment "Requirements is a 2D array of size N x M representing the requirement of each raw material to produce each good." ;
+    opt:hasExample "Requirements = array2d(1..4, 1..5, [3, 2, 0, 0, 0, 0, 5, 2, 1, 0, 1, 0, 0, 5, 3, 0, 3, 1, 1, 5])" ;
+    opt:hasShape "[N, M]" .
+
+opt:Prices a opt:Parameter ;
+    rdfs:label "Revenue earned from selling one unit of good j" ;
+    rdfs:comment "Prices is a vector of length M representing the revenue earned from selling each good." ;
+    opt:hasExample "Prices = [7, 10, 5, 9]" ;
+    opt:hasShape "[M]" .
+
+opt:GoodsProduced a opt:Variable ;
+    rdfs:label "Amount of each good produced" ;
+    rdfs:comment "GoodsProduced is a vector of length M representing the amount of each good to be produced." ;
+    opt:hasShape "[M]" .
+
+opt:RawMaterialAvailability a opt:Constraint ;
+    rdfs:label "Raw material availability constraint" ;
+    rdfs:comment "The total amount of each raw material used in producing the goods must not exceed the available amount of that raw material." ;
+    opt:hasFormula "sum(GoodsProduced * Requirements) <= Available" .
+
+opt:MaximizeRevenue a opt:Objective ;
+    rdfs:label "Maximize total revenue" ;
+    rdfs:comment "The objective is to maximize the total revenue, which is the sum of the revenue from selling each good, given by the product of the amount of each good produced and its price." ;
+    opt:hasFormula "maximize sum(GoodsProduced * Prices)" ;
+    opt:hasOptimizationType "maximization" .

text2model/knowledge_graphs/nlp4lp_10.ttl

@@ -0,0 +1,46 @@
+@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#> .
+
+:RoadIlluminationProblem a opt:OptimizationProblem ;
+    opt:hasParameter :N, :M, :Coefficients, :DesiredIlluminations ;
+    opt:hasVariable :LampPowers ;
+    opt:hasConstraint :IlluminationConstraint ;
+    opt:hasObjective :MinimizeErrorObjective .
+
+:N a opt:Parameter ;
+    rdfs:label "N" ;
+    rdfs:comment "Number of different illuminations" ;
+    rdfs:range xsd:integer .
+
+:M a opt:Parameter ;
+    rdfs:label "M" ;
+    rdfs:comment "Number of lamp powers" ;
+    rdfs:range xsd:integer .
+
+:Coefficients a opt:Parameter ;
+    rdfs:label "Coefficients" ;
+    rdfs:comment "Coefficients relating lamp powers to illumination" ;
+    rdfs:range xsd:float .
+
+:DesiredIlluminations a opt:Parameter ;
+    rdfs:label "DesiredIlluminations" ;
+    rdfs:comment "Desired level of illuminations" ;
+    rdfs:range xsd:float .
+
+:LampPowers a opt:Variable ;
+    rdfs:label "LampPowers" ;
+    rdfs:comment "Powers of the lamps" ;
+    rdfs:range xsd:float .
+
+:IlluminationConstraint a opt:Constraint ;
+    rdfs:label "IlluminationConstraint" ;
+    rdfs:comment "The illumination of the i-th segment is assumed to be \sum_{j=1}^{M} coeff_{i,j} power_j" ;
+    opt:hasVariable :LampPowers, :Coefficients .
+
+:MinimizeErrorObjective a opt:Objective ;
+    rdfs:label "MinimizeErrorObjective" ;
+    rdfs:comment "Minimize the absolute error between the illuminations which are a result of choosing the lamp powers and the desired illuminations" ;
+    opt:hasVariable :LampPowers, :DesiredIlluminations ;
+    opt:isMinimizationObjective true .

text2model/knowledge_graphs/nlp4lp_11.ttl

@@ -0,0 +1,57 @@
+@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:SchoolDistrictOptimizationProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:TotalNumberOfSchools, opt:TotalNumberOfStudentGroups, opt:TotalNumberOfNeighborhoods, opt:Capacity, opt:Population, opt:Distance ;
+    opt:hasVariable opt:StudentAssignment ;
+    opt:hasConstraint opt:CapacityConstraint, opt:PopulationConstraint ;
+    opt:hasObjective opt:MinimizeTotalDistance .
+
+opt:TotalNumberOfSchools a opt:Parameter ;
+    rdfs:label "S" ;
+    rdfs:comment "Total number of schools" ;
+    rdfs:range xsd:integer .
+
+opt:TotalNumberOfStudentGroups a opt:Parameter ;
+    rdfs:label "G" ;
+    rdfs:comment "Total number of student groups" ;
+    rdfs:range xsd:integer .
+
+opt:TotalNumberOfNeighborhoods a opt:Parameter ;
+    rdfs:label "N" ;
+    rdfs:comment "Total number of neighborhoods" ;
+    rdfs:range xsd:integer .
+
+opt:Capacity a opt:Parameter ;
+    rdfs:label "Capacity" ;
+    rdfs:comment "Capacity of school s for student group g" ;
+    rdfs:range xsd:integer .
+
+opt:Population a opt:Parameter ;
+    rdfs:label "Population" ;
+    rdfs:comment "Population of student group g in neighborhood n" ;
+    rdfs:range xsd:integer .
+
+opt:Distance a opt:Parameter ;
+    rdfs:label "Distance" ;
+    rdfs:comment "Distance between neighborhood n and school s" ;
+    rdfs:range xsd:float .
+
+opt:StudentAssignment a opt:Variable ;
+    rdfs:comment "Assignment of students from neighborhoods to schools" ;
+    rdfs:range xsd:integer .
+
+opt:CapacityConstraint a opt:Constraint ;
+    rdfs:comment "The total number of students assigned to a school should not exceed its capacity" .
+
+opt:PopulationConstraint a opt:Constraint ;
+    rdfs:comment "The total number of students assigned from a neighborhood should not exceed its population" .
+
+opt:MinimizeTotalDistance a opt:Objective ;
+    rdfs:comment "Minimize the total distance traveled by all students" ;
+    opt:optimizationType opt:Minimization .
+
+opt:Minimization a opt:OptimizationType ;
+    rdfs:label "Minimization" .

text2model/knowledge_graphs/nlp4lp_12.ttl

@@ -0,0 +1,48 @@
+@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:Deliver a rdf:Property ;
+    rdfs:label "Deliver" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Demand for the product in each period i" .
+
+opt:StorageCost a rdf:Property ;
+    rdfs:label "StorageCost" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Cost to hold one unit of product in storage for one period" .
+
+opt:SwitchCost a rdf:Property ;
+    rdfs:label "SwitchCost" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Cost to switch the production from one period to another" .
+
+opt:T a rdf:Property ;
+    rdfs:label "T" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Total number of periods" .
+
+opt:Problem a rdfs:Class ;
+    rdfs:label "Problem" ;
+    rdfs:comment "Optimization problem to minimize the total cost of the production and inventory schedule over the next few months" .
+
+opt:Variable a rdfs:Class ;
+    rdfs:label "Variable" ;
+    rdfs:comment "Variables used in the optimization problem" .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:comment "Constraints used in the optimization problem" .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:comment "Objective function of the optimization problem" .
+
+opt:Variable rdfs:subClassOf opt:Problem .
+opt:Constraint rdfs:subClassOf opt:Problem .
+opt:Objective rdfs:subClassOf opt:Problem .

text2model/knowledge_graphs/nlp4lp_13.ttl

@@ -0,0 +1,48 @@
+@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:CurrencyOptimizationProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:N, opt:Start, opt:Limit, opt:Rate ;
+    opt:hasVariable opt:CurrencyTransactions ;
+    opt:hasConstraint opt:TransactionLimitConstraint, opt:WealthMultiplicationConstraint ;
+    opt:hasObjective opt:MaximizeCurrency .
+
+opt:N a opt:Parameter ;
+    rdfs:label "N" ;
+    rdfs:comment "Number of different currencies" ;
+    rdfs:range xsd:integer .
+
+opt:Start a opt:Parameter ;
+    rdfs:label "Start" ;
+    rdfs:comment "Initial amount of currency i" ;
+    rdfs:range xsd:float .
+
+opt:Limit a opt:Parameter ;
+    rdfs:label "Limit" ;
+    rdfs:comment "Limit for the number of transactions for currency i" ;
+    rdfs:range xsd:float .
+
+opt:Rate a opt:Parameter ;
+    rdfs:label "Rate" ;
+    rdfs:comment "Exchange rate from currency i to currency j" ;
+    rdfs:range xsd:float .
+
+opt:CurrencyTransactions a opt:Variable ;
+    rdfs:label "CurrencyTransactions" ;
+    rdfs:comment "Number of transactions for each currency" ;
+    rdfs:range xsd:float .
+
+opt:TransactionLimitConstraint a opt:Constraint ;
+    rdfs:label "TransactionLimitConstraint" ;
+    rdfs:comment "The total amount of each currency that can be exchanged should not exceed the limit" .
+
+opt:WealthMultiplicationConstraint a opt:Constraint ;
+    rdfs:label "WealthMultiplicationConstraint" ;
+    rdfs:comment "Wealth cannot be multiplied by going through a cycle of currencies" .
+
+opt:MaximizeCurrency a opt:Objective ;
+    rdfs:label "MaximizeCurrency" ;
+    rdfs:comment "Maximize the number of units of currency that we end up with at the end of the day" ;
+    opt:optimizationType opt:Maximization .

text2model/knowledge_graphs/nlp4lp_14.ttl

@@ -0,0 +1,82 @@
+@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 opt: <http://www.example.org/optimization#> .
+
+opt:M a rdf:Property ;
+    rdfs:label "Number of inequalities" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer .
+
+opt:N a rdf:Property ;
+    rdfs:label "Ambient space dimension" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:integer .
+
+opt:A a rdf:Property ;
+    rdfs:label "Coefficients of linear inequalities" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range opt:Matrix .
+
+opt:B a rdf:Property ;
+    rdfs:label "Right-hand side of inequalities" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range opt:Vector .
+
+opt:Matrix a rdfs:Class ;
+    rdfs:label "Matrix" .
+
+opt:Vector a rdfs:Class ;
+    rdfs:label "Vector" .
+
+opt:Problem a owl:Class ;
+    rdfs:label "Optimization problem" ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty opt:M ;
+        owl:allValuesFrom xsd:integer
+    ] , [
+        a owl:Restriction ;
+        owl:onProperty opt:N ;
+        owl:allValuesFrom xsd:integer
+    ] , [
+        a owl:Restriction ;
+        owl:onProperty opt:A ;
+        owl:allValuesFrom opt:Matrix
+    ] , [
+        a owl:Restriction ;
+        owl:onProperty opt:B ;
+        owl:allValuesFrom opt:Vector
+    ] .
+
+opt:ChebychevCenter a owl:Class ;
+    rdfs:label "Chebychev center" ;
+    rdfs:subClassOf opt:Problem ;
+    rdfs:comment "Find a ball with the largest possible radius, which is entirely contained within the set P" .
+
+opt:ChebychevCenter rdfs:subClassOf [
+    a owl:Restriction ;
+    owl:onProperty opt:objective ;
+    owl:hasValue "Maximize radius"
+] .
+
+opt:ChebychevCenter rdfs:subClassOf [
+    a owl:Restriction ;
+    owl:onProperty opt:constraint ;
+    owl:someValuesFrom opt:LinearInequality
+] .
+
+opt:LinearInequality a owl:Class ;
+    rdfs:label "Linear inequality" ;
+    rdfs:comment "{a_i}^T x <= b_i , i = 1, ..., m" .
+
+opt:objective a rdf:Property ;
+    rdfs:label "Objective" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range xsd:string .
+
+opt:constraint a rdf:Property ;
+    rdfs:label "Constraint" ;
+    rdfs:domain opt:Problem ;
+    rdfs:range opt:LinearInequality .

text2model/knowledge_graphs/nlp4lp_15.ttl

@@ -0,0 +1,60 @@
+@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:Product a rdfs:Class ;
+    rdfs:label "Product" ;
+    rdfs:comment "A type of product produced and sold by the company" .
+
+opt:Machine a rdfs:Class ;
+    rdfs:label "Machine" ;
+    rdfs:comment "Machinery used for production" .
+
+opt:Cash a rdfs:Class ;
+    rdfs:label "Cash" ;
+    rdfs:comment "Initial cash available for investment" .
+
+opt:Hour a rdfs:Class ;
+    rdfs:label "Hour" ;
+    rdfs:comment "Hours required to produce one unit of product" .
+
+opt:Cost a rdfs:Class ;
+    rdfs:label "Cost" ;
+    rdfs:comment "Cost to produce one unit of product" .
+
+opt:Price a rdfs:Class ;
+    rdfs:label "Price" ;
+    rdfs:comment "Selling price for one unit of product" .
+
+opt:InvestPercentage a rdfs:Class ;
+    rdfs:label "InvestPercentage" ;
+    rdfs:comment "Percentage of income to reinvest for product" .
+
+opt:UpgradeHours a rdfs:Class ;
+    rdfs:label "UpgradeHours" ;
+    rdfs:comment "Hours required for upgrading the machinery" .
+
+opt:UpgradeCost a rdfs:Class ;
+    rdfs:label "UpgradeCost" ;
+    rdfs:comment "Cost associated with upgrading the machinery" .
+
+opt:AvailableHours a rdfs:Class ;
+    rdfs:label "AvailableHours" ;
+    rdfs:comment "Total available machine hours" .
+
+opt:NetIncome a rdfs:Class ;
+    rdfs:label "NetIncome" ;
+    rdfs:comment "Net income from each product" .
+
+opt:MaximizeNetIncome a rdfs:Class ;
+    rdfs:label "MaximizeNetIncome" ;
+    rdfs:comment "Objective to maximize total net income" .
+
+opt:CashConstraint a rdfs:Class ;
+    rdfs:label "CashConstraint" ;
+    rdfs:comment "Constraint on cash availability" .
+
+opt:MachineCapacityConstraint a rdfs:Class ;
+    rdfs:label "MachineCapacityConstraint" ;
+    rdfs:comment "Constraint on machine capacity" .