text2model 0.1.0__py3-none-any.whl

text2model/knowledge_graphs/puzzles_problem_11.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:bottle_distribution
+  rdf:type opt:OptimizationProblem ;
+  opt:hasParameter opt:n, opt:b, opt:t, opt:num_people ;
+  opt:hasVariable opt:allocation ;
+  opt:hasConstraint opt:equal_bottles, opt:equal_liquid, opt:lexicographical_order ;
+  opt:hasObjective opt:equal_distribution .
+
+opt:n
+  rdf:type opt:Parameter ;
+  rdfs:label "n" ;
+  rdfs:comment "Number of bottle types" ;
+  rdfs:range xsd:integer .
+
+opt:b
+  rdf:type opt:Parameter ;
+  rdfs:label "b" ;
+  rdfs:comment "Number of bottles of each type" ;
+  rdfs:range xsd:integer .
+
+opt:t
+  rdf:type opt:Parameter ;
+  rdfs:label "t" ;
+  rdfs:comment "Number of bottles with each type of fill amount" ;
+  rdfs:range xsd:integer .
+
+opt:num_people
+  rdf:type opt:Parameter ;
+  rdfs:label "num_people" ;
+  rdfs:comment "Number of people" ;
+  rdfs:range xsd:integer .
+
+opt:allocation
+  rdf:type opt:Variable ;
+  rdfs:label "allocation" ;
+  rdfs:comment "Allocation of bottles to each person" ;
+  rdfs:range xsd:integer .
+
+opt:equal_bottles
+  rdf:type opt:Constraint ;
+  rdfs:label "equal_bottles" ;
+  rdfs:comment "Each person gets the same number of bottles" ;
+  opt:relatesTo opt:allocation .
+
+opt:equal_liquid
+  rdf:type opt:Constraint ;
+  rdfs:label "equal_liquid" ;
+  rdfs:comment "Each person gets the same amount of liquid" ;
+  opt:relatesTo opt:allocation .
+
+opt:lexicographical_order
+  rdf:type opt:Constraint ;
+  rdfs:label "lexicographical_order" ;
+  rdfs:comment "Allocations should be in lexicographical order" ;
+  opt:relatesTo opt:allocation .
+
+opt:equal_distribution
+  rdf:type opt:Objective ;
+  rdfs:label "equal_distribution" ;
+  rdfs:comment "Distribute bottles such that each person gets the same number of bottles and the same amount of liquid" ;
+  opt:relatesTo opt:allocation .

text2model/knowledge_graphs/puzzles_problem_12.ttl

@@ -0,0 +1,79 @@
+@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:area1 a rdf:Property ;
+    rdfs:label "Area of the first rectangle" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:area2 a rdf:Property ;
+    rdfs:label "Area of the second rectangle" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:area3 a rdf:Property ;
+    rdfs:label "Area of the third rectangle" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:Rectangle a rdfs:Class ;
+    rdfs:label "Rectangle" ;
+    rdfs:subClassOf opt:Shape .
+
+opt:Shape a rdfs:Class ;
+    rdfs:label "Shape" .
+
+opt:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:subClassOf opt:Problem .
+
+opt:Problem a rdfs:Class ;
+    rdfs:label "Problem" .
+
+opt:problem1 a opt:OptimizationProblem ;
+    opt:hasParameter opt:area1, opt:area2, opt:area3 ;
+    opt:hasVariable opt:x, opt:y, opt:len, opt:height ;
+    opt:hasConstraint opt:constraint1, opt:constraint2, opt:constraint3 ;
+    opt:hasObjective opt:objective1 .
+
+opt:x a rdf:Property ;
+    rdfs:label "Length of the large rectangle" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:y a rdf:Property ;
+    rdfs:label "Width of the large rectangle" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:len a rdf:Property ;
+    rdfs:label "Length of the smaller rectangles" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:height a rdf:Property ;
+    rdfs:label "Height of the smaller rectangles" ;
+    rdfs:range xsd:decimal ;
+    rdfs:domain opt:Rectangle .
+
+opt:constraint1 a opt:Constraint ;
+    rdfs:label "Area of rectangle 1 is 13" ;
+    opt:hasVariable opt:area1 ;
+    opt:hasValue "13"^^xsd:decimal .
+
+opt:constraint2 a opt:Constraint ;
+    rdfs:label "Area of rectangle 2 is 39" ;
+    opt:hasVariable opt:area2 ;
+    opt:hasValue "39"^^xsd:decimal .
+
+opt:constraint3 a opt:Constraint ;
+    rdfs:label "Area of rectangle 3 is 16" ;
+    opt:hasVariable opt:area3 ;
+    opt:hasValue "16"^^xsd:decimal .
+
+opt:objective1 a opt:Objective ;
+    rdfs:label "Find the area of the fourth rectangle" ;
+    opt:hasVariable opt:area4 ;
+    opt:isTypeOf opt:Maximization .

text2model/knowledge_graphs/puzzles_problem_13.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 : <http://example.org/> .
+
+:puzzle a rdfs:Class ;
+  rdfs:label "Hidato puzzle" ;
+  rdfs:comment "A logic puzzle game where a grid of cells is given, some of which are filled with numbers." .
+
+:rows a rdf:Property ;
+  rdfs:label "rows" ;
+  rdfs:comment "Number of rows in the grid" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:integer .
+
+:columns a rdf:Property ;
+  rdfs:label "columns" ;
+  rdfs:comment "Number of columns in the grid" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:integer .
+
+:grid a rdf:Property ;
+  rdfs:label "grid" ;
+  rdfs:comment "Hidato puzzle grid where 0 represents an empty cell and a positive integer represents a filled cell" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:array .
+
+:startNumber a rdf:Property ;
+  rdfs:label "start number" ;
+  rdfs:comment "The number from which the path starts" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:integer .
+
+:endNumber a rdf:Property ;
+  rdfs:label "end number" ;
+  rdfs:comment "The number at which the path ends" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:integer .
+
+:path a rdf:Property ;
+  rdfs:label "path" ;
+  rdfs:comment "The path from the start number to the end number, where the path is a sequence of horizontally, vertically, or diagonally adjacent cells" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:array .
+
+:objective a rdf:Property ;
+  rdfs:label "objective" ;
+  rdfs:comment "The goal is to fill the remaining cells with consecutive numbers that will form a path from the start number to the end number" ;
+  rdfs:domain :puzzle ;
+  rdfs:range xsd:string .

text2model/knowledge_graphs/puzzles_problem_31.ttl

@@ -0,0 +1,62 @@
+@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 fillapix: <http://www.example.org/fillapix#> .
+
+fillapix:Grid a rdfs:Class ;
+    rdfs:label "Grid" ;
+    rdfs:comment "A grid of the Fill-a-Pix puzzle" .
+
+fillapix:gridSize a rdf:Property ;
+    rdfs:label "grid size" ;
+    rdfs:comment "Size of the grid (number of rows and columns)" ;
+    rdfs:domain fillapix:Grid ;
+    rdfs:range xsd:integer .
+
+fillapix:Clue a rdfs:Class ;
+    rdfs:label "Clue" ;
+    rdfs:comment "A clue in the Fill-a-Pix puzzle" .
+
+fillapix:clueValue a rdf:Property ;
+    rdfs:label "clue value" ;
+    rdfs:comment "Value of the clue indicating the number of painted squares" ;
+    rdfs:domain fillapix:Clue ;
+    rdfs:range xsd:integer .
+
+fillapix:Square a rdfs:Class ;
+    rdfs:label "Square" ;
+    rdfs:comment "A square in the Fill-a-Pix puzzle grid" .
+
+fillapix:isPainted a rdf:Property ;
+    rdfs:label "is painted" ;
+    rdfs:comment "Indicates if a square is painted or not" ;
+    rdfs:domain fillapix:Square ;
+    rdfs:range xsd:boolean .
+
+fillapix:hasClue a rdf:Property ;
+    rdfs:label "has clue" ;
+    rdfs:comment "Indicates if a square has a clue or not" ;
+    rdfs:domain fillapix:Square ;
+    rdfs:range fillapix:Clue .
+
+fillapix:OptimizationProblem a rdfs:Class ;
+    rdfs:label "Optimization Problem" ;
+    rdfs:comment "The Fill-a-Pix optimization problem" .
+
+fillapix:hasGrid a rdf:Property ;
+    rdfs:label "has grid" ;
+    rdfs:comment "The grid associated with the optimization problem" ;
+    rdfs:domain fillapix:OptimizationProblem ;
+    rdfs:range fillapix:Grid .
+
+fillapix:hasObjective a rdf:Property ;
+    rdfs:label "has objective" ;
+    rdfs:comment "The objective of the optimization problem" ;
+    rdfs:domain fillapix:OptimizationProblem ;
+    rdfs:range rdfs:Literal .
+
+fillapix:hasConstraint a rdf:Property ;
+    rdfs:label "has constraint" ;
+    rdfs:comment "The constraints of the optimization problem" ;
+    rdfs:domain fillapix:OptimizationProblem ;
+    rdfs:range rdfs:Literal .