text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/nlp4lp_64.ttl

@@ -0,0 +1,41 @@
+@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:ProjectCount a rdf:Property ;
+    rdfs:label "Number of projects" ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Total number of projects to be assigned to consultants." .
+
+opt:ConsultantCount a rdf:Property ;
+    rdfs:label "Number of Consultants" ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Total number of consultants available for project assignment." .
+
+opt:FixedCosts a rdf:Property ;
+    rdfs:label "Fixed cost for project" ;
+    rdfs:range xsd:decimal ;
+    rdfs:comment "Fixed cost incurred for each project." .
+
+opt:AdditionalCosts a rdf:Property ;
+    rdfs:label "Additional cost for assigning consultant to project" ;
+    rdfs:range xsd:decimal ;
+    rdfs:comment "Additional cost incurred for assigning a specific consultant to a specific project." .
+
+opt:MaxProjectsPerConsultant a rdf:Property ;
+    rdfs:label "Maximum number of projects per consultant" ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Maximum number of projects that can be assigned to a single consultant." .
+
+opt:Assignment a rdf:Class ;
+    rdfs:label "Assignment of consultants to projects" ;
+    rdfs:comment "The assignment of consultants to projects that minimizes the total cost." .
+
+opt:Assignment rdfs:subClassOf opt:ProjectCount, opt:ConsultantCount, opt:FixedCosts, opt:AdditionalCosts, opt:MaxProjectsPerConsultant .
+
+opt:MinimizeTotalCost a rdf:Class ;
+    rdfs:label "Minimize total cost" ;
+    rdfs:comment "The objective is to minimize the total cost, which includes fixed costs and additional costs." .
+
+opt:MinimizeTotalCost rdfs:subClassOf opt:Assignment .

text2model/knowledge_graphs/nlp4lp_65.ttl

@@ -0,0 +1,78 @@
+@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:NetworkIntrusionProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:N, opt:IsolateCentral, opt:ScanCentral, opt:IsolateDistributed, opt:ScanDistributed, opt:CentralCost, opt:DistributedCost, opt:CentralMaxHours, opt:DistributedMaxHours ;
+    opt:hasVariable opt:InterventionType, opt:ProcessingType ;
+    opt:hasConstraint opt:CentralProcessingConstraint, opt:DistributedProcessingConstraint ;
+    opt:hasObjective opt:CostObjective .
+
+opt:N a opt:Parameter ;
+    rdfs:label "Number of interventions" ;
+    rdfs:comment "The total number of interventions that can be performed." ;
+    rdfs:range xsd:integer .
+
+opt:IsolateCentral a opt:Parameter ;
+    rdfs:label "Processing time for isolating at the central system for each intervention" ;
+    rdfs:comment "The time required to isolate each intervention at the central system." ;
+    rdfs:range xsd:integer .
+
+opt:ScanCentral a opt:Parameter ;
+    rdfs:label "Processing time for scanning at the central system for each intervention" ;
+    rdfs:comment "The time required to scan each intervention at the central system." ;
+    rdfs:range xsd:integer .
+
+opt:IsolateDistributed a opt:Parameter ;
+    rdfs:label "Processing time for isolating at the distributed system for each intervention" ;
+    rdfs:comment "The time required to isolate each intervention at the distributed system." ;
+    rdfs:range xsd:integer .
+
+opt:ScanDistributed a opt:Parameter ;
+    rdfs:label "Processing time for scanning at the distributed system for each intervention" ;
+    rdfs:comment "The time required to scan each intervention at the distributed system." ;
+    rdfs:range xsd:integer .
+
+opt:CentralCost a opt:Parameter ;
+    rdfs:label "Cost for central system intervention" ;
+    rdfs:comment "The cost of performing an intervention at the central system." ;
+    rdfs:range xsd:integer .
+
+opt:DistributedCost a opt:Parameter ;
+    rdfs:label "Cost for distributed system intervention" ;
+    rdfs:comment "The cost of performing an intervention at the distributed system." ;
+    rdfs:range xsd:integer .
+
+opt:CentralMaxHours a opt:Parameter ;
+    rdfs:label "Maximum hours of operation for the central system" ;
+    rdfs:comment "The maximum number of hours the central system can operate." ;
+    rdfs:range xsd:integer .
+
+opt:DistributedMaxHours a opt:Parameter ;
+    rdfs:label "Maximum hours of operation for the distributed system" ;
+    rdfs:comment "The maximum number of hours the distributed system can operate." ;
+    rdfs:range xsd:integer .
+
+opt:InterventionType a opt:Variable ;
+    rdfs:label "Type of intervention" ;
+    rdfs:comment "The type of intervention to be performed (isolate or scan)." ;
+    rdfs:range xsd:string .
+
+opt:ProcessingType a opt:Variable ;
+    rdfs:label "Type of processing" ;
+    rdfs:comment "The type of processing to be used (central or distributed)." ;
+    rdfs:range xsd:string .
+
+opt:CentralProcessingConstraint a opt:Constraint ;
+    rdfs:label "Central processing constraint" ;
+    rdfs:comment "The constraint on the total processing time at the central system." .
+
+opt:DistributedProcessingConstraint a opt:Constraint ;
+    rdfs:label "Distributed processing constraint" ;
+    rdfs:comment "The constraint on the total processing time at the distributed system." .
+
+opt:CostObjective a opt:Objective ;
+    rdfs:label "Cost objective" ;
+    rdfs:comment "The objective to minimize the total cost of interventions." ;
+    opt:isMinimizationObjective true .

text2model/knowledge_graphs/nlp4lp_66.ttl

@@ -0,0 +1,51 @@
+@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#> .
+
+:TravelingSalesmanProblem a opt:OptimizationProblem ;
+    rdfs:label "Traveling Salesman Problem" ;
+    opt:hasParameter :NumberOfCities, :StartCity, :Distances ;
+    opt:hasVariable :Route ;
+    opt:hasConstraint :VisitEachCityOnce, :ReturnToStartCity ;
+    opt:hasObjective :MinimizeTotalDistance .
+
+:NumberOfCities a opt:Parameter ;
+    rdfs:label "Number of cities" ;
+    rdfs:comment "The total number of cities that need to be visited" ;
+    opt:hasDataType xsd:integer ;
+    opt:hasShape "scalar" .
+
+:StartCity a opt:Parameter ;
+    rdfs:label "Start city" ;
+    rdfs:comment "The index of the city where the journey starts" ;
+    opt:hasDataType xsd:integer ;
+    opt:hasShape "scalar" .
+
+:Distances a opt:Parameter ;
+    rdfs:label "Distances" ;
+    rdfs:comment "The distance from city i to city j" ;
+    opt:hasDataType xsd:array ;
+    opt:hasShape "[N, N]" .
+
+:Route a opt:Variable ;
+    rdfs:label "Route" ;
+    rdfs:comment "The sequence of cities visited" ;
+    opt:hasDataType xsd:array ;
+    opt:hasShape "[N]" .
+
+:VisitEachCityOnce a opt:Constraint ;
+    rdfs:label "Visit each city once" ;
+    rdfs:comment "Each city must be visited exactly once" ;
+    opt:hasVariables :Route .
+
+:ReturnToStartCity a opt:Constraint ;
+    rdfs:label "Return to start city" ;
+    rdfs:comment "The journey must end at the start city" ;
+    opt:hasVariables :Route .
+
+:MinimizeTotalDistance a opt:Objective ;
+    rdfs:label "Minimize total distance" ;
+    rdfs:comment "The total distance of the route should be minimized" ;
+    opt:hasVariables :Route ;
+    opt:isTypeOf opt:Minimization .

text2model/knowledge_graphs/nlp4lp_67.ttl

@@ -0,0 +1,40 @@
+@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 paper: <http://www.example.com/paper#> .
+
+paper:M rdf:type rdfs:Class ;
+    rdfs:label "Number of types of smaller rolls" ;
+    rdfs:comment "The number of different types of smaller rolls that the company produces." ;
+    rdfs:range xsd:integer .
+
+paper:N rdf:type rdfs:Class ;
+    rdfs:label "Number of different cutting patterns" ;
+    rdfs:comment "The number of different cutting patterns available for producing the smaller rolls." ;
+    rdfs:range xsd:integer .
+
+paper:large_roll_width rdf:type rdfs:Class ;
+    rdfs:label "Large Roll Width" ;
+    rdfs:comment "The width of the large rolls of paper produced by the company." ;
+    rdfs:range xsd:float .
+
+paper:demands rdf:type rdfs:Class ;
+    rdfs:label "Demands" ;
+    rdfs:comment "The demand for each type of smaller roll." ;
+    rdfs:range xsd:integer .
+
+paper:roll_width_options rdf:type rdfs:Class ;
+    rdfs:label "Roll Width Options" ;
+    rdfs:comment "The width options for the smaller rolls." ;
+    rdfs:range xsd:float .
+
+paper:patterns rdf:type rdfs:Class ;
+    rdfs:label "The different cutting patterns" ;
+    rdfs:comment "The different cutting patterns applied to the large rolls to produce the smaller rolls." ;
+    rdfs:range xsd:integer .
+
+paper:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:comment "The optimization problem to determine the minimum number of large rolls needed to fulfill all the orders." .
+
+paper:OptimizationProblem rdfs:subClassOf paper:M, paper:N, paper:large_roll_width, paper:demands, paper:roll_width_options, paper:patterns .

text2model/knowledge_graphs/nlp4lp_7.ttl

@@ -0,0 +1,53 @@
+@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:RocketProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:X0, opt:V0, opt:XT, opt:VT, opt:T ;
+    opt:hasVariable opt:Acceleration ;
+    opt:hasConstraint opt:PositionConstraint, opt:VelocityConstraint ;
+    opt:hasObjective opt:MinimizeFuel .
+
+opt:X0 a opt:Parameter ;
+    rdfs:label "Initial position of the object" ;
+    rdfs:comment "The initial position of the rocket at the start of the journey." ;
+    rdfs:range xsd:float .
+
+opt:V0 a opt:Parameter ;
+    rdfs:label "Initial velocity of the object" ;
+    rdfs:comment "The initial velocity of the rocket at the start of the journey." ;
+    rdfs:range xsd:float .
+
+opt:XT a opt:Parameter ;
+    rdfs:label "Final position of the object" ;
+    rdfs:comment "The target position of the rocket at the end of the journey." ;
+    rdfs:range xsd:float .
+
+opt:VT a opt:Parameter ;
+    rdfs:label "Final velocity of the object" ;
+    rdfs:comment "The target velocity of the rocket at the end of the journey." ;
+    rdfs:range xsd:float .
+
+opt:T a opt:Parameter ;
+    rdfs:label "Time duration for the journey" ;
+    rdfs:comment "The total time duration for the rocket's journey." ;
+    rdfs:range xsd:integer .
+
+opt:Acceleration a opt:Variable ;
+    rdfs:label "Acceleration at each timestep" ;
+    rdfs:comment "The acceleration of the rocket at each timestep, which is under our control." ;
+    rdfs:range xsd:float .
+
+opt:PositionConstraint a opt:Constraint ;
+    rdfs:label "Position constraint" ;
+    rdfs:comment "The constraint that the rocket's position at each timestep must follow the equation x_{t+1} = x_t + v_t." .
+
+opt:VelocityConstraint a opt:Constraint ;
+    rdfs:label "Velocity constraint" ;
+    rdfs:comment "The constraint that the rocket's velocity at each timestep must follow the equation v_{t+1} = v_t + a_t." .
+
+opt:MinimizeFuel a opt:Objective ;
+    rdfs:label "Minimize fuel consumption" ;
+    rdfs:comment "The objective to minimize the thrust required, which is max_t |a_t|, subject to the given constraints." ;
+    opt:isMinimizationObjective true .

text2model/knowledge_graphs/nlp4lp_8.ttl

@@ -0,0 +1,51 @@
+@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:NumParts a rdf:Property ;
+    rdfs:label "Number of Parts" ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Number of different types of spare parts the firm can produce." .
+
+opt:NumMachines a rdf:Property ;
+    rdfs:label "Number of Machines" ;
+    rdfs:range xsd:integer ;
+    rdfs:comment "Number of machines or shops available for producing the spare parts." .
+
+opt:Time a rdf:Property ;
+    rdfs:label "Time" ;
+    rdfs:range xsd:float ;
+    rdfs:comment "The time taken to make one unit of spare part k on machine s." .
+
+opt:Profit a rdf:Property ;
+    rdfs:label "Profit" ;
+    rdfs:range xsd:float ;
+    rdfs:comment "Profit from producing one unit of spare part k." .
+
+opt:Capacity a rdf:Property ;
+    rdfs:label "Capacity" ;
+    rdfs:range xsd:float ;
+    rdfs:comment "Capacity of machine s for the month." .
+
+opt:MaximizeProfit a opt:OptimizationProblem ;
+    rdfs:label "Maximize Profit" ;
+    rdfs:comment "The objective is to determine how much of each spare part is to be made to maximize profit." ;
+    opt:hasParameter opt:NumParts, opt:NumMachines, opt:Time, opt:Profit, opt:Capacity ;
+    opt:hasVariable opt:QuantityProduced ;
+    opt:hasConstraint opt:MachineCapacityConstraint ;
+    opt:hasObjective opt:ProfitObjective .
+
+opt:QuantityProduced a rdf:Property ;
+    rdfs:label "Quantity Produced" ;
+    rdfs:range xsd:float ;
+    rdfs:comment "The quantity of each spare part to be produced." .
+
+opt:MachineCapacityConstraint a opt:Constraint ;
+    rdfs:label "Machine Capacity Constraint" ;
+    rdfs:comment "The total time spent on each machine cannot exceed its capacity." .
+
+opt:ProfitObjective a opt:Objective ;
+    rdfs:label "Profit Objective" ;
+    rdfs:comment "The objective is to maximize the total profit from producing the spare parts." ;
+    opt:isMaximizationObjective "true"^^xsd:boolean .

text2model/knowledge_graphs/nlp4lp_9.ttl

@@ -0,0 +1,58 @@
+@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:K a rdf:Property ;
+    rdfs:label "Number of terms in the sequence" ;
+    rdfs:range xsd:integer ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:P a rdf:Property ;
+    rdfs:label "Coefficients of the linear combination" ;
+    rdfs:range xsd:float ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:ExpectedZ a rdf:Property ;
+    rdfs:label "Expected value of Z" ;
+    rdfs:range xsd:float ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:ExpectedZSquared a rdf:Property ;
+    rdfs:label "Expected value of Z squared" ;
+    rdfs:range xsd:float ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:Z a rdf:Property ;
+    rdfs:label "Random variable Z" ;
+    rdfs:range xsd:float ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:Z_4 a rdf:Property ;
+    rdfs:label "Fourth moment of Z" ;
+    rdfs:range xsd:float ;
+    rdfs:domain opt:OptimizationProblem .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization problem" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:LinearProgramming a rdfs:Class ;
+    rdfs:label "Linear programming" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:UpperBound a rdfs:Class ;
+    rdfs:label "Upper bound" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:LowerBound a rdfs:Class ;
+    rdfs:label "Lower bound" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf opt:OptimizationProblem .

text2model/knowledge_graphs/non_linear_problem_10.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:ndepts a rdf:Property ;
+    rdfs:label "Number of departments" ;
+    rdfs:range xsd:integer .
+
+opt:ncities a rdf:Property ;
+    rdfs:label "Number of cities" ;
+    rdfs:range xsd:integer .
+
+opt:ncitiesm1 a rdf:Property ;
+    rdfs:label "Number of cities without the host city" ;
+    rdfs:range xsd:integer .
+
+opt:benefit a rdf:Property ;
+    rdfs:label "Benefits in £k for each department in each city" ;
+    rdfs:range xsd:float .
+
+opt:dist a rdf:Property ;
+    rdfs:label "Communication costs per unit (£) between cities" ;
+    rdfs:range xsd:float .
+
+opt:comm a rdf:Property ;
+    rdfs:label "Quantities of communication (k units) between departments" ;
+    rdfs:range xsd:float .
+
+opt:Department a rdfs:Class ;
+    rdfs:label "Department" ;
+    rdfs:subClassOf opt:Entity .
+
+opt:City a rdfs:Class ;
+    rdfs:label "City" ;
+    rdfs:subClassOf opt:Entity .
+
+opt:Entity a rdfs:Class ;
+    rdfs:label "Entity" .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:subClassOf opt:Entity .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf opt:Entity .
+
+opt:MaximizeSavings a opt:Objective ;
+    rdfs:label "Maximize the total savings" ;
+    rdfs:comment "The sum of the benefits of each department in each city minus the communication costs between each pair of departments in each pair of cities." .
+
+opt:DepartmentLocationConstraint a opt:Constraint ;
+    rdfs:label "Each department must be located in one city" .
+
+opt:CityCapacityConstraint a opt:Constraint ;
+    rdfs:label "There can be at most 3 departments in each city" .

text2model/knowledge_graphs/non_linear_problem_15.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:DirichletProblemLaplace
+    rdf:type opt:OptimizationProblem ;
+    opt:hasParameter opt:r, opt:c, opt:Z, opt:M ;
+    opt:hasVariable opt:cellValue ;
+    opt:hasConstraint opt:averageNeighborConstraint ;
+    opt:hasObjective opt:minimizeCellValue .
+
+opt:r
+    rdf:type opt:Parameter ;
+    rdfs:label "r" ;
+    rdfs:comment "Number of rows in the Laplace grid" ;
+    rdfs:range xsd:integer .
+
+opt:c
+    rdf:type opt:Parameter ;
+    rdfs:label "c" ;
+    rdfs:comment "Number of columns in the Laplace grid" ;
+    rdfs:range xsd:integer .
+
+opt:Z
+    rdf:type opt:Parameter ;
+    rdfs:label "Z" ;
+    rdfs:comment "Zero value (constant)" ;
+    rdfs:range xsd:float .
+
+opt:M
+    rdf:type opt:Parameter ;
+    rdfs:label "M" ;
+    rdfs:comment "Maximum value (constant)" ;
+    rdfs:range xsd:float .
+
+opt:cellValue
+    rdf:type opt:Variable ;
+    rdfs:label "cellValue" ;
+    rdfs:comment "Value of a cell in the grid" ;
+    opt:hasLowerBound opt:Z ;
+    opt:hasUpperBound opt:M .
+
+opt:averageNeighborConstraint
+    rdf:type opt:Constraint ;
+    rdfs:label "averageNeighborConstraint" ;
+    rdfs:comment "The value of a cell is determined by the average of its four neighboring cells (top, bottom, left, and right)" ;
+    opt:involvesVariable opt:cellValue .
+
+opt:minimizeCellValue
+    rdf:type opt:Objective ;
+    rdfs:label "minimizeCellValue" ;
+    rdfs:comment "Minimize the value of the cell at position (1,1)" ;
+    opt:involvesVariable opt:cellValue ;
+    opt:isMinimizationObjective true .

text2model/knowledge_graphs/non_linear_problem_23.ttl

@@ -0,0 +1,42 @@
+@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:CurrencyArbitrage a opt:OptimizationProblem ;
+    rdfs:comment "Detect arbitrage loops in currency exchange markets where profitable trading sequences can be identified based on exchange rates between currencies."@en ;
+    opt:hasParameter opt:n, opt:m, opt:currencies, opt:currencies_s, opt:start ;
+    opt:hasVariable opt:arbitrageLoop ;
+    opt:hasConstraint opt:profitableLoop ;
+    opt:hasObjective opt:maxProfit .
+
+opt:n a opt:Parameter ;
+    rdfs:comment "Total number of currencies."@en ;
+    rdfs:range xsd:integer .
+
+opt:m a opt:Parameter ;
+    rdfs:comment "Number of involved currencies in the arbitrage loop."@en ;
+    rdfs:range xsd:integer .
+
+opt:currencies a opt:Parameter ;
+    rdfs:comment "Exchange rates between different currencies."@en ;
+    rdfs:range xsd:float .
+
+opt:currencies_s a opt:Parameter ;
+    rdfs:comment "Names of the currencies."@en ;
+    rdfs:range xsd:string .
+
+opt:start a opt:Parameter ;
+    rdfs:comment "Initial amount in the base currency for trading."@en ;
+    rdfs:range xsd:float .
+
+opt:arbitrageLoop a opt:Variable ;
+    rdfs:comment "Sequence of currencies that can be traded into from the starting currency."@en ;
+    rdfs:range xsd:string .
+
+opt:profitableLoop a opt:Constraint ;
+    rdfs:comment "When we end the loop and exchange into the final currency again, we return with more than what we started with."@en .
+
+opt:maxProfit a opt:Objective ;
+    rdfs:comment "Maximize the total profit generated by following a specific sequence of currency exchanges."@en ;
+    opt:isTypeOf opt:maximization .

text2model/knowledge_graphs/non_linear_problem_9.ttl

@@ -0,0 +1,61 @@
+@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:P_Median_Problem rdf:type rdfs:Class ;
+    rdfs:subClassOf opt:Optimization_Problem ;
+    rdfs:comment "The P-Median problem involves selecting P warehouses from a set of candidate locations to minimize the demand-weighted distance of serving all customers." .
+
+opt:hasParameter rdf:type rdf:Property ;
+    rdfs:domain opt:Optimization_Problem ;
+    rdfs:range opt:Parameter .
+
+opt:hasVariable rdf:type rdf:Property ;
+    rdfs:domain opt:Optimization_Problem ;
+    rdfs:range opt:Variable .
+
+opt:hasConstraint rdf:type rdf:Property ;
+    rdfs:domain opt:Optimization_Problem ;
+    rdfs:range opt:Constraint .
+
+opt:hasObjective rdf:type rdf:Property ;
+    rdfs:domain opt:Optimization_Problem ;
+    rdfs:range opt:Objective .
+
+opt:P rdf:type opt:Parameter ;
+    rdfs:label "Number of warehouses to open" ;
+    rdfs:comment "P is the number of warehouses to be opened." ;
+    opt:hasValue "2"^^xsd:integer .
+
+opt:num_customers rdf:type opt:Parameter ;
+    rdfs:label "Number of customers" ;
+    rdfs:comment "num_customers is the total number of customers." ;
+    opt:hasValue "4"^^xsd:integer .
+
+opt:num_warehouses rdf:type opt:Parameter ;
+    rdfs:label "Number of warehouses" ;
+    rdfs:comment "num_warehouses is the total number of warehouses." ;
+    opt:hasValue "3"^^xsd:integer .
+
+opt:Demand rdf:type opt:Parameter ;
+    rdfs:label "Demand of each customer" ;
+    rdfs:comment "Demand is the demand of each customer." ;
+    opt:hasValue "100.0,80.0,80.0,70.0"^^xsd:string .
+
+opt:Distance rdf:type opt:Parameter ;
+    rdfs:label "Distance between each customer and warehouse" ;
+    rdfs:comment "Distance is the distance between each customer and warehouse." ;
+    opt:hasValue "array2d(Customers, Warehouses)"^^xsd:string .
+
+opt:Allocation rdf:type opt:Variable ;
+    rdfs:label "Allocation of warehouses to customers" ;
+    rdfs:comment "Allocation is the assignment of warehouses to customers." .
+
+opt:Distance_Constraint rdf:type opt:Constraint ;
+    rdfs:label "Distance constraint" ;
+    rdfs:comment "Each customer is served by exactly one warehouse." .
+
+opt:Minimize_Demand_Weighted_Distance rdf:type opt:Objective ;
+    rdfs:label "Minimize demand-weighted distance" ;
+    rdfs:comment "The goal is to minimize the sum of demand weighted distances of the customers to the warehouse that serves them." .

text2model/knowledge_graphs/puzzles_problem_1.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:GridOptimizationProblem
+    rdf:type rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:hasNumberOfRows
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range xsd:integer .
+
+opt:hasNumberOfColumns
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range xsd:integer .
+
+opt:hasGrid
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range opt:Grid .
+
+opt:Grid
+    rdf:type rdfs:Class .
+
+opt:hasCombination
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range opt:Combination .
+
+opt:Combination
+    rdf:type rdfs:Class .
+
+opt:hasMaximumSum
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range xsd:integer .
+
+opt:hasPath
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range opt:Path .
+
+opt:Path
+    rdf:type rdfs:Class .
+
+opt:hasConstraint
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range opt:Constraint .
+
+opt:Constraint
+    rdf:type rdfs:Class .
+
+opt:hasObjective
+    rdf:type rdf:Property ;
+    rdfs:domain opt:GridOptimizationProblem ;
+    rdfs:range opt:Objective .
+
+opt:Objective
+    rdf:type rdfs:Class ;
+    rdfs:subClassOf opt:MaximizationObjective .