blob: 55020b902e1d32d52cdd8fc57b84fb6df70940c6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
<?xml version="1.0" encoding="ASCII"?>
<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" minNewElements="7" maxNewElements="7">
<problem href="generation.logicproblem#/"/>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.0"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.0/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.0/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.1"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.1/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.1/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.2"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.2/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.2/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.3"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.3/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.3/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.4"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.4/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.4/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.5"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.5/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.5/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.6"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.6/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.6/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.7"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.7/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.7/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.8"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.8/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.8/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.9"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.9/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.9/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.10"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.10/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.10/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.11"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.11/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.11/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.12"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.12/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.12/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.13"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.13/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.13/@parameters.1"/>
</partialrelationinterpretation>
<partialrelationinterpretation>
<interpretationOf href="generation.logicproblem#//@relations.14"/>
<param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.14/@parameters.0"/>
<param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.14/@parameters.1"/>
</partialrelationinterpretation>
<newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
<newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">
<interpretationOf href="generation.logicproblem#//@types.0"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1">
<interpretationOf href="generation.logicproblem#//@types.1"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.4">
<interpretationOf href="generation.logicproblem#//@types.2"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3">
<interpretationOf href="generation.logicproblem#//@types.3"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4">
<interpretationOf href="generation.logicproblem#//@types.4"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5">
<interpretationOf href="generation.logicproblem#//@types.5"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.12">
<interpretationOf href="generation.logicproblem#//@types.6"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.12">
<interpretationOf href="generation.logicproblem#//@types.7"/>
</partialtypeinterpratation>
<partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8">
<interpretationOf href="generation.logicproblem#//@types.8"/>
</partialtypeinterpratation>
<openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
<openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
<openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
<openWorldElements name="New Objects"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.6"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/>
<scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/>
</partialinterpretation:PartialInterpretation>
|