text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/CSPLib_39.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:ConcertProblem a opt:OptimizationProblem ;
+    opt:hasParameter opt:num_pieces, opt:num_players, opt:duration, opt:rehearsal ;
+    opt:hasVariable opt:order ;
+    opt:hasConstraint opt:arrivalConstraint, opt:departureConstraint ;
+    opt:hasObjective opt:minimizeWaitingTime .
+
+opt:num_pieces a opt:Parameter ;
+    rdfs:label "num_pieces" ;
+    rdfs:comment "Number of pieces of music for the concert" ;
+    rdfs:range xsd:integer .
+
+opt:num_players a opt:Parameter ;
+    rdfs:label "num_players" ;
+    rdfs:comment "Number of players in the orchestra" ;
+    rdfs:range xsd:integer .
+
+opt:duration a opt:Parameter ;
+    rdfs:label "duration" ;
+    rdfs:comment "Array containing the duration of each piece" ;
+    rdfs:range xsd:array .
+
+opt:rehearsal a opt:Parameter ;
+    rdfs:label "rehearsal" ;
+    rdfs:comment "Array representing players' availability for each piece" ;
+    rdfs:range xsd:array .
+
+opt:order a opt:Variable ;
+    rdfs:label "order" ;
+    rdfs:comment "Order in which the pieces can be rehearsed" ;
+    rdfs:range xsd:array .
+
+opt:arrivalConstraint a opt:Constraint ;
+    rdfs:label "arrivalConstraint" ;
+    rdfs:comment "Players can arrive at rehearsals immediately before the first piece in which they are involved" .
+
+opt:departureConstraint a opt:Constraint ;
+    rdfs:label "departureConstraint" ;
+    rdfs:comment "Players can depart immediately after the last piece in which they are involved" .
+
+opt:minimizeWaitingTime a opt:Objective ;
+    rdfs:label "minimizeWaitingTime" ;
+    rdfs:comment "Minimize the total time that players are waiting to play" ;
+    opt:optimizationType opt:Minimization .
+
+opt:Minimization a opt:OptimizationType ;
+    rdfs:label "Minimization" .

text2model/knowledge_graphs/CSPLib_54.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 nqueens: <http://www.semanticweb.org/nqueens#> .
+
+nqueens:Chessboard a rdfs:Class ;
+  rdfs:label "Chessboard" ;
+  rdfs:comment "A chessboard for the N-Queens problem" .
+
+nqueens:Queen a rdfs:Class ;
+  rdfs:label "Queen" ;
+  rdfs:comment "A queen in the N-Queens problem" .
+
+nqueens:size a rdf:Property ;
+  rdfs:label "size" ;
+  rdfs:comment "Size of the chessboard and the number of queens to be placed" ;
+  rdfs:domain nqueens:Chessboard ;
+  rdfs:range xsd:integer .
+
+nqueens:position a rdf:Property ;
+  rdfs:label "position" ;
+  rdfs:comment "Position of a queen on the chessboard" ;
+  rdfs:domain nqueens:Queen ;
+  rdfs:range xsd:integer .
+
+nqueens:placedOn a rdf:Property ;
+  rdfs:label "placed on" ;
+  rdfs:comment "Indicates the chessboard a queen is placed on" ;
+  rdfs:domain nqueens:Queen ;
+  rdfs:range nqueens:Chessboard .
+
+nqueens:NoTwoQueensCanAttackEachOther a rdfs:Class ;
+  rdfs:label "No two queens can attack each other" ;
+  rdfs:comment "Constraint that no two queens can attack each other" .
+
+nqueens:hasConstraint a rdf:Property ;
+  rdfs:label "has constraint" ;
+  rdfs:comment "Indicates a constraint of the N-Queens problem" ;
+  rdfs:domain nqueens:Chessboard ;
+  rdfs:range nqueens:NoTwoQueensCanAttackEachOther .
+
+nqueens:FindPositionsForQueens a rdfs:Class ;
+  rdfs:label "Find positions for queens" ;
+  rdfs:comment "Objective to find positions for queens where they do not attack each other" .
+
+nqueens:hasObjective a rdf:Property ;
+  rdfs:label "has objective" ;
+  rdfs:comment "Indicates the objective of the N-Queens problem" ;
+  rdfs:domain nqueens:Chessboard ;
+  rdfs:range nqueens:FindPositionsForQueens .

text2model/knowledge_graphs/CSPLib_6.ttl

@@ -0,0 +1,36 @@
+@prefix : <http://www.semanticweb.org/ontologies/golomb-ruler#> .
+@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#> .
+
+:GolombRuler a rdfs:Class ;
+    rdfs:label "Golomb Ruler" ;
+    rdfs:comment "A set of m integers 0 = a_1 < a_2 < ... < a_m such that the m(m-1)/2 differences a_j - a_i, 1 <= i < j <= m are distinct." .
+
+:m a rdf:Property ;
+    rdfs:label "Number of marks" ;
+    rdfs:comment "Number of marks on the Golomb ruler" ;
+    rdfs:domain :GolombRuler ;
+    rdfs:range xsd:integer .
+
+:a a rdf:Property ;
+    rdfs:label "Mark positions" ;
+    rdfs:comment "Positions of the marks on the Golomb ruler" ;
+    rdfs:domain :GolombRuler ;
+    rdfs:range xsd:integer .
+
+:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:comment "The objective is to find the optimal or near optimal Golomb ruler of minimum length." .
+
+:objective a rdf:Property ;
+    rdfs:label "Objective" ;
+    rdfs:comment "Find the length of the smallest Golomb ruler with m marks" ;
+    rdfs:domain :OptimizationProblem ;
+    rdfs:range xsd:integer .
+
+:constraint a rdf:Property ;
+    rdfs:label "Constraint" ;
+    rdfs:comment "Symmetry can be removed by adding the constraint that a_2 - a_1 < a_m - a_{m-1} where the first difference is less than the last." ;
+    rdfs:domain :OptimizationProblem ;
+    rdfs:range xsd:string .

text2model/knowledge_graphs/CSPLib_8.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:deck_width a rdf:Property ;
+    rdfs:domain opt:Deck ;
+    rdfs:range xsd:integer .
+
+opt:deck_length a rdf:Property ;
+    rdfs:domain opt:Deck ;
+    rdfs:range xsd:integer .
+
+opt:n_containers a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:n_classes a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:width a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:length a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:class a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:separation a rdf:Property ;
+    rdfs:domain opt:Container ;
+    rdfs:range xsd:integer .
+
+opt:Deck a rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:Container a rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:comment "An optimization problem involves determining the best solution from a set of feasible solutions." .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem ;
+    rdfs:comment "Constraints are the conditions that must be met in an optimization problem." .
+
+opt:Objective a rdfs:Class ;
+    rdfs:subClassOf opt:OptimizationProblem ;
+    rdfs:comment "The objective is the goal of the optimization problem, which is to determine whether a given set of containers can be positioned on a given deck, without overlapping, and without violating any of the separation constraints." .

text2model/knowledge_graphs/LPWP_128.ttl

@@ -0,0 +1,79 @@
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix : <http://example.org/> .
+
+:LiquidSanitizers a rdf:Property ;
+    rdfs:label "Number of liquid hand sanitizers to produce" ;
+    rdfs:range xsd:integer .
+
+:FoamSanitizers a rdf:Property ;
+    rdfs:label "Number of foam hand sanitizers to produce" ;
+    rdfs:range xsd:integer .
+
+:WaterPerLiquid a rdf:Property ;
+    rdfs:label "Water required per liquid sanitizer" ;
+    rdfs:range xsd:integer .
+
+:AlcoholPerLiquid a rdf:Property ;
+    rdfs:label "Alcohol required per liquid sanitizer" ;
+    rdfs:range xsd:integer .
+
+:WaterPerFoam a rdf:Property ;
+    rdfs:label "Water required per foam sanitizer" ;
+    rdfs:range xsd:integer .
+
+:AlcoholPerFoam a rdf:Property ;
+    rdfs:label "Alcohol required per foam sanitizer" ;
+    rdfs:range xsd:integer .
+
+:TotalWater a rdf:Property ;
+    rdfs:label "Total available water" ;
+    rdfs:range xsd:integer .
+
+:TotalAlcohol a rdf:Property ;
+    rdfs:label "Total available alcohol" ;
+    rdfs:range xsd:integer .
+
+:HandsPerLiquid a rdf:Property ;
+    rdfs:label "Cleaning capacity per liquid sanitizer" ;
+    rdfs:range xsd:integer .
+
+:HandsPerFoam a rdf:Property ;
+    rdfs:label "Cleaning capacity per foam sanitizer" ;
+    rdfs:range xsd:integer .
+
+:MaxLiquid a rdf:Property ;
+    rdfs:label "Maximum number of liquid sanitizers" ;
+    rdfs:range xsd:integer .
+
+:SanitizerProduction a rdf:Class ;
+    rdfs:label "Sanitizer Production" ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty :LiquidSanitizers ;
+        owl:maxCardinality "MaxLiquid"^^xsd:integer
+    ] ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty :FoamSanitizers ;
+        owl:minCardinality "LiquidSanitizers"^^xsd:integer
+    ] ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty :TotalWater ;
+        owl:maxCardinality "WaterPerLiquid*LiquidSanitizers + WaterPerFoam*FoamSanitizers"^^xsd:integer
+    ] ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty :TotalAlcohol ;
+        owl:maxCardinality "AlcoholPerLiquid*LiquidSanitizers + AlcoholPerFoam*FoamSanitizers"^^xsd:integer
+    ] .
+
+:Objective a rdf:Class ;
+    rdfs:label "Objective" ;
+    rdfs:subClassOf [
+        a owl:Restriction ;
+        owl:onProperty :HandsPerLiquid ;
+        owl:maxCardinality "LiquidSanitizers*HandsPerLiquid + FoamSanitizers*HandsPerFoam"^^xsd:integer
+    ] .

text2model/knowledge_graphs/LPWP_232.ttl

@@ -0,0 +1,95 @@
+@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:CircularTables a rdf:Property ;
+    rdfs:label "Number of circular tables to set up" ;
+    rdfs:range xsd:integer .
+
+opt:RectangularTables a rdf:Property ;
+    rdfs:label "Number of rectangular tables to set up" ;
+    rdfs:range xsd:integer .
+
+opt:ParticipantsPerCircular a rdf:Property ;
+    rdfs:label "Participants per circular table" ;
+    rdfs:range xsd:integer .
+
+opt:ParticipantsPerRectangular a rdf:Property ;
+    rdfs:label "Participants per rectangular table" ;
+    rdfs:range xsd:integer .
+
+opt:BoardsPerCircular a rdf:Property ;
+    rdfs:label "Poster boards per circular table" ;
+    rdfs:range xsd:integer .
+
+opt:BoardsPerRectangular a rdf:Property ;
+    rdfs:label "Poster boards per rectangular table" ;
+    rdfs:range xsd:integer .
+
+opt:GuestsPerCircular a rdf:Property ;
+    rdfs:label "Guests per circular table" ;
+    rdfs:range xsd:integer .
+
+opt:GuestsPerRectangular a rdf:Property ;
+    rdfs:label "Guests per rectangular table" ;
+    rdfs:range xsd:integer .
+
+opt:SpacePerCircular a rdf:Property ;
+    rdfs:label "Space required per circular table" ;
+    rdfs:range xsd:integer .
+
+opt:SpacePerRectangular a rdf:Property ;
+    rdfs:label "Space required per rectangular table" ;
+    rdfs:range xsd:integer .
+
+opt:TotalSpace a rdf:Property ;
+    rdfs:label "Total available space" ;
+    rdfs:range xsd:integer .
+
+opt:MinParticipants a rdf:Property ;
+    rdfs:label "Minimum number of participants required" ;
+    rdfs:range xsd:integer .
+
+opt:MinBoards a rdf:Property ;
+    rdfs:label "Minimum number of poster boards required" ;
+    rdfs:range xsd:integer .
+
+opt:ScienceFair a rdfs:Class ;
+    rdfs:label "Science Fair" ;
+    rdfs:subClassOf rdfs:Resource .
+
+opt:ScienceFair rdfs:subClassOf [
+    a rdf:Property ;
+    rdfs:label "has constraints" ;
+    rdf:subject opt:ScienceFair ;
+    rdf:object [
+        a rdf:Bag ;
+        rdf:_1 [
+            a opt:Constraint ;
+            rdfs:label "Space constraint" ;
+            opt:formula "CircularTables*SpacePerCircular + RectangularTables*SpacePerRectangular <= TotalSpace"
+        ] ;
+        rdf:_2 [
+            a opt:Constraint ;
+            rdfs:label "Participants constraint" ;
+            opt:formula "CircularTables*ParticipantsPerCircular + RectangularTables*ParticipantsPerRectangular >= MinParticipants"
+        ] ;
+        rdf:_3 [
+            a opt:Constraint ;
+            rdfs:label "Poster boards constraint" ;
+            opt:formula "CircularTables*BoardsPerCircular + RectangularTables*BoardsPerRectangular >= MinBoards"
+        ]
+    ]
+] .
+
+opt:ScienceFair rdfs:subClassOf [
+    a rdf:Property ;
+    rdfs:label "has objective" ;
+    rdf:subject opt:ScienceFair ;
+    rdf:object [
+        a opt:Objective ;
+        rdfs:label "Maximize guests" ;
+        opt:formula "Maximize CircularTables*GuestsPerCircular + RectangularTables*GuestsPerRectangular"
+    ]
+] .

text2model/knowledge_graphs/LPWP_53.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 coin: <http://www.example.com/coin_plating#> .
+
+coin:ProcessA a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:ProcessB a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:GoldPerA a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:WiresPerA a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:CoinsPerA a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:GoldPerB a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:WiresPerB a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:CoinsPerB a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:TotalGold a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:TotalWires a rdf:Property ;
+    rdfs:range xsd:integer ;
+    rdfs:domain coin:CoinPlating .
+
+coin:CoinPlating a rdfs:Class ;
+    rdfs:label "Coin Plating Operation" ;
+    rdfs:comment "An operation that involves two processes (A and B) to plate coins using gold and wires." .
+
+coin:Constraint a rdfs:Class ;
+    rdfs:subClassOf coin:CoinPlating ;
+    rdfs:label "Constraints" ;
+    rdfs:comment "Constraints for the coin plating operation, including the total available gold and wires." .
+
+coin:Objective a rdfs:Class ;
+    rdfs:subClassOf coin:CoinPlating ;
+    rdfs:label "Objective" ;
+    rdfs:comment "Objective of the coin plating operation, which is to maximize the total number of coins plated." .

text2model/knowledge_graphs/LPWP_66.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 bakery: <http://www.example.com/bakery#> .
+
+bakery:AlmondCroissants rdf:type rdfs:Class ;
+    rdfs:label "Number of almond croissants to be produced" ;
+    rdfs:range xsd:integer .
+
+bakery:PistachioCroissants rdf:type rdfs:Class ;
+    rdfs:label "Number of pistachio croissants to be produced" ;
+    rdfs:range xsd:integer .
+
+bakery:ButterPerAlmond rdf:type rdfs:Class ;
+    rdfs:label "Butter required per almond croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:ButterPerPistachio rdf:type rdfs:Class ;
+    rdfs:label "Butter required per pistachio croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:FlourPerAlmond rdf:type rdfs:Class ;
+    rdfs:label "Flour required per almond croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:FlourPerPistachio rdf:type rdfs:Class ;
+    rdfs:label "Flour required per pistachio croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:TotalButter rdf:type rdfs:Class ;
+    rdfs:label "Total available butter" ;
+    rdfs:range xsd:integer .
+
+bakery:TotalFlour rdf:type rdfs:Class ;
+    rdfs:label "Total available flour" ;
+    rdfs:range xsd:integer .
+
+bakery:TimePerAlmond rdf:type rdfs:Class ;
+    rdfs:label "Time required per almond croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:TimePerPistachio rdf:type rdfs:Class ;
+    rdfs:label "Time required per pistachio croissant" ;
+    rdfs:range xsd:integer .
+
+bakery:MinAlmondRatio rdf:type rdfs:Class ;
+    rdfs:label "Minimum almond-to-pistachio croissant production ratio" ;
+    rdfs:range xsd:integer .
+
+bakery:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Optimization problem for bakery" ;
+    rdfs:subClassOf bakery:AlmondCroissants, bakery:PistachioCroissants, bakery:ButterPerAlmond, bakery:ButterPerPistachio, bakery:FlourPerAlmond, bakery:FlourPerPistachio, bakery:TotalButter, bakery:TotalFlour, bakery:TimePerAlmond, bakery:TimePerPistachio, bakery:MinAlmondRatio .

text2model/knowledge_graphs/LPWP_85.ttl

@@ -0,0 +1,95 @@
+@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:NetAcres a rdf:Property ;
+    rdfs:label "NetAcres" ;
+    rdfs:range xsd:decimal .
+
+opt:LineAcres a rdf:Property ;
+    rdfs:label "LineAcres" ;
+    rdfs:range xsd:decimal .
+
+opt:TotalAcres a rdf:Property ;
+    rdfs:label "TotalAcres" ;
+    rdfs:range xsd:decimal .
+
+opt:FishPerNetAcre a rdf:Property ;
+    rdfs:label "FishPerNetAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:FishPerLineAcre a rdf:Property ;
+    rdfs:label "FishPerLineAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:BaitPerNetAcre a rdf:Property ;
+    rdfs:label "BaitPerNetAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:BaitPerLineAcre a rdf:Property ;
+    rdfs:label "BaitPerLineAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:TotalBait a rdf:Property ;
+    rdfs:label "TotalBait" ;
+    rdfs:range xsd:decimal .
+
+opt:PainPerNetAcre a rdf:Property ;
+    rdfs:label "PainPerNetAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:PainPerLineAcre a rdf:Property ;
+    rdfs:label "PainPerLineAcre" ;
+    rdfs:range xsd:decimal .
+
+opt:MaxPain a rdf:Property ;
+    rdfs:label "MaxPain" ;
+    rdfs:range xsd:decimal .
+
+opt:FishingProblem a rdfs:Class ;
+    rdfs:label "FishingProblem" ;
+    rdfs:subClassOf opt:OptimizationProblem .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "OptimizationProblem" .
+
+opt:hasVariable opt:NetAcres, opt:LineAcres ;
+    rdfs:label "hasVariable" ;
+    rdfs:range opt:Variable .
+
+opt:hasParameter opt:TotalAcres, opt:FishPerNetAcre, opt:FishPerLineAcre, opt:BaitPerNetAcre, opt:BaitPerLineAcre, opt:TotalBait, opt:PainPerNetAcre, opt:PainPerLineAcre, opt:MaxPain ;
+    rdfs:label "hasParameter" ;
+    rdfs:range opt:Parameter .
+
+opt:hasConstraint opt:TotalAcresConstraint, opt:TotalBaitConstraint, opt:MaxPainConstraint ;
+    rdfs:label "hasConstraint" ;
+    rdfs:range opt:Constraint .
+
+opt:hasObjective opt:MaximizeFishCatch ;
+    rdfs:label "hasObjective" ;
+    rdfs:range opt:Objective .
+
+opt:Variable a rdfs:Class ;
+    rdfs:label "Variable" .
+
+opt:Parameter a rdfs:Class ;
+    rdfs:label "Parameter" .
+
+opt:Constraint a rdfs:Class ;
+    rdfs:label "Constraint" .
+
+opt:Objective a rdfs:Class ;
+    rdfs:label "Objective" .
+
+opt:TotalAcresConstraint a opt:Constraint ;
+    rdfs:label "TotalAcresConstraint" .
+
+opt:TotalBaitConstraint a opt:Constraint ;
+    rdfs:label "TotalBaitConstraint" .
+
+opt:MaxPainConstraint a opt:Constraint ;
+    rdfs:label "MaxPainConstraint" .
+
+opt:MaximizeFishCatch a opt:Objective ;
+    rdfs:label "MaximizeFishCatch" .

text2model/knowledge_graphs/OR_LP_IP_Scheduling_problem_1.ttl

@@ -0,0 +1,34 @@
+@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 ski: <http://www.example.org/ski#> .
+
+ski:num_skis rdf:type rdfs:Class ;
+    rdfs:label "Number of available skis" ;
+    rdfs:comment "A scalar value representing the total number of skis available." .
+
+ski:num_skiers rdf:type rdfs:Class ;
+    rdfs:label "Number of skiers" ;
+    rdfs:comment "A scalar value representing the total number of skiers." .
+
+ski:ski_heights rdf:type rdfs:Class ;
+    rdfs:label "Array of ski heights" ;
+    rdfs:comment "An array representing the heights of each ski available." .
+
+ski:skier_heights rdf:type rdfs:Class ;
+    rdfs:label "Array of skier heights" ;
+    rdfs:comment "An array representing the heights of each skier." .
+
+ski:disparity rdf:type rdfs:Class ;
+    rdfs:label "Disparity" ;
+    rdfs:comment "The absolute difference between the skier heights and ski heights." .
+
+ski:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Ski Optimization Problem" ;
+    rdfs:comment "The problem aims to minimize the disparity between skier heights and assigned ski heights." .
+
+ski:OptimizationProblem rdfs:subClassOf ski:num_skis, ski:num_skiers, ski:ski_heights, ski:skier_heights, ski:disparity .
+
+ski:OptimizationProblem rdf:type rdfs:Class ;
+    rdfs:label "Objective" ;
+    rdfs:comment "The objective is to find an assignment of skis to skiers such that the sum of disparities is minimized." .

text2model/knowledge_graphs/OR_LP_IP_Scheduling_problem_18.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 xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix knap: <http://www.example.org/knapsack#> .
+
+knap:num_projects rdf:type rdfs:Literal ;
+                  rdfs:label "Number of projects to select from" ;
+                  rdfs:range xsd:integer .
+
+knap:max_budget rdf:type rdfs:Literal ;
+                rdfs:label "Budget limit in million Swedish kronor" ;
+                rdfs:range xsd:integer .
+
+knap:max_persons rdf:type rdfs:Literal ;
+                 rdfs:label "Number of persons available" ;
+                 rdfs:range xsd:integer .
+
+knap:max_projects rdf:type rdfs:Literal ;
+                  rdfs:label "Maximum number of projects that can be selected" ;
+                  rdfs:range xsd:integer .
+
+knap:values rdf:type rdfs:Literal ;
+            rdfs:label "Values of each project in thousand Swedish kronor" ;
+            rdfs:range xsd:integer .
+
+knap:budgets rdf:type rdfs:Literal ;
+             rdfs:label "Budgets of each project in million Swedish kronor" ;
+             rdfs:range xsd:integer .
+
+knap:personell rdf:type rdfs:Literal ;
+               rdfs:label "Personnel required for each project" ;
+               rdfs:range xsd:integer .
+
+knap:not_with rdf:type rdfs:Literal ;
+              rdfs:label "Projects that cannot be selected together" ;
+              rdfs:range xsd:integer .
+
+knap:requires rdf:type rdfs:Literal ;
+              rdfs:label "Projects that must be selected together" ;
+              rdfs:range xsd:integer .
+
+knap:KnapsackProblem rdf:type rdfs:Class ;
+                     rdfs:label "Knapsack (investment) problem" ;
+                     rdfs:subClassOf rdfs:Resource .
+
+knap:hasParameter rdf:type rdf:Property ;
+                  rdfs:label "has parameter" ;
+                  rdfs:domain knap:KnapsackProblem ;
+                  rdfs:range rdfs:Literal .
+
+knap:hasConstraint rdf:type rdf:Property ;
+                   rdfs:label "has constraint" ;
+                   rdfs:domain knap:KnapsackProblem ;
+                   rdfs:range rdfs:Literal .
+
+knap:hasObjective rdf:type rdf:Property ;
+                  rdfs:label "has objective" ;
+                  rdfs:domain knap:KnapsackProblem ;
+                  rdfs:range rdfs:Literal .