blob: 47d54258b7669f8a8595636c07b080d06047cd8d (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partialinterpretation" nsURI="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
nsPrefix="partialinterpretation">
<eClassifiers xsi:type="ecore:EClass" name="PartialInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="problem" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialconstantinterpretation"
upperBound="-1" eType="#//PartialConstantInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialrelationinterpretation"
upperBound="-1" eType="#//PartialRelationInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialfunctioninterpretation"
upperBound="-1" eType="#//PartialFunctionInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="newElements" upperBound="-1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation"
upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElements" upperBound="-1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"
eType="#//Scope" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElementsHeuristic"
lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="0"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//ConstantDeclaration"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialRelationInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="relationlinks" upperBound="-1"
eType="#//RelationLink" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param2" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialFunctionInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation" abstract="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"
eType="#//Scope" eOpposite="#//Scope/targetTypeInterpretation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BinaryElementRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param2" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
eType="#//NaryRelationLinkElement" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param" lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PrimitiveElement" abstract="true" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="valueSet" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BooleanElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="IntegerElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="RealElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StringElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Scope">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="targetTypeInterpretation"
lowerBound="1" eType="#//PartialTypeInterpratation" eOpposite="#//PartialTypeInterpratation/scopes"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElementsHeuristic"
lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="0"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialPrimitiveInterpretation" abstract="true"
eSuperTypes="#//PartialTypeInterpratation"/>
<eClassifiers xsi:type="ecore:EClass" name="PartialBooleanInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/>
<eClassifiers xsi:type="ecore:EClass" name="PartialIntegerInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/>
<eClassifiers xsi:type="ecore:EClass" name="PartialRealInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/>
<eClassifiers xsi:type="ecore:EClass" name="PartialStringInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/>
<eClassifiers xsi:type="ecore:EClass" name="PartialComplexTypeInterpretation" eSuperTypes="#//PartialTypeInterpratation">
<eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation"
upperBound="-1" eType="#//PartialComplexTypeInterpretation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/>
</eClassifiers>
</ecore:EPackage>
|
