Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/FaCT++-linux-v1.5.2/Models.lisp/DataTypeTest/DataTypeTest.tbox @ 8:40adbcb2a7cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added merge function and FaCT++ support. Improved OBO render
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 11 Oct 2011 11:09:52 +0200
parents
children
comparison
equal deleted inserted replaced
7:756f1f5798bf 8:40adbcb2a7cc
1 ; updated 05-04-06
2
3 ;;TEST DATA
4 (defdatarole R);
5
6 ;GT and LT
7 ;testing simple satisfiable and unsatisfiable ranges
8 (defconcept TTa1 (and (some R(gt (number 18))) (some R(lt(number 60)))))
9 (defconcept TTa2 (and (some R(gt (number 60))) (some R(lt(number 18)))));unsat
10 (defconcept TTa3 (and (some R(lt (number 18))) (some R(gt(number 60)))));unsat
11 (defconcept TTa4 (and (some R(lt (number 60))) (some R(gt(number 18)))))
12 (defconcept TTa5 (and (some R(gt (number 18))) (some R(lt(number 18)))));unsat
13 (defconcept TTa6 (and (some R(lt (number 60))) (some R(gt(number 60)))));unsat
14 ;the 4 below should eventually simplify
15 (defconcept TTb1 (and (some R(gt (number 18))) (some R(gt(number 60)))))
16 (defconcept TTb2 (and (some R(gt (number 60))) (some R(gt(number 18)))))
17 (defconcept TTb3 (and (some R(lt (number 18))) (some R(lt(number 60)))))
18 (defconcept TTb4 (and (some R(lt (number 60))) (some R(lt(number 18)))))
19 (defconcept TTb5 (and (some R(gt (number 18))) (some R(gt(number 18)))))
20 (defconcept TTb6 (and (some R(lt (number 60))) (some R(lt(number 60)))))
21 ;testing ranges together with specific values
22 (defconcept TTc1 (and (some R(gt (number 18))) (some R(number 60))))
23 (defconcept TTc2 (and (some R(gt (number 60))) (some R(number 18))));unsat
24 (defconcept TTc3 (and (some R(lt (number 18))) (some R(number 60))));unsat
25 (defconcept TTc4 (and (some R(lt (number 60))) (some R(number 18))))
26 (defconcept TTd1 (and (some R(number 18)) (some R(gt (number 60)))));unsat
27 (defconcept TTd2 (and (some R(number 60)) (some R(gt (number 18)))))
28 (defconcept TTd3 (and (some R(number 18)) (some R(lt (number 60)))))
29 (defconcept TTd4 (and (some R(number 60)) (some R(lt (number 18)))));unsat
30 (defconcept TTe1 (and (some R(number 18)) (some R(lt(number 18)))));unsat
31 (defconcept TTe2 (and (some R(number 60)) (some R(gt(number 60)))));unsat
32 (defconcept TTe3 (and (some R(lt (number 60))) (some R(number 60))));unsat
33 (defconcept TTe4 (and (some R(gt (number 18))) (some R(number 18))));unsat
34
35 ;GE and LT
36 ;testing simple satisfiable and unsatisfiable ranges
37 (defconcept ETa1 (and (some R(ge (number 18))) (some R(lt(number 60)))))
38 (defconcept ETa2 (and (some R(ge (number 60))) (some R(lt(number 18)))));unsat
39 (defconcept ETa3 (and (some R(le (number 18))) (some R(gt(number 60)))));unsat
40 (defconcept ETa4 (and (some R(le (number 60))) (some R(gt(number 18)))))
41 (defconcept ETa5 (and (some R(ge (number 18))) (some R(lt(number 18)))));unsat
42 (defconcept ETa6 (and (some R(le (number 60))) (some R(gt(number 60)))));unsat
43 ;the 4 below should eventually simplify
44 (defconcept ETb1 (and (some R(ge (number 18))) (some R(gt(number 60)))))
45 (defconcept ETb2 (and (some R(ge (number 60))) (some R(gt(number 18)))))
46 (defconcept ETb3 (and (some R(le (number 18))) (some R(lt(number 60)))))
47 (defconcept ETb4 (and (some R(le (number 60))) (some R(lt(number 18)))))
48 (defconcept ETb5 (and (some R(ge (number 18))) (some R(gt(number 18)))))
49 (defconcept ETb6 (and (some R(le (number 60))) (some R(lt(number 60)))))
50 ;testing ranges together with specific values
51 (defconcept ETc1 (and (some R(ge (number 18))) (some R(number 60))))
52 (defconcept ETc2 (and (some R(ge (number 60))) (some R(number 18))));unsat
53 (defconcept ETc3 (and (some R(le (number 18))) (some R(number 60))));unsat
54 (defconcept ETc4 (and (some R(le (number 60))) (some R(number 18))))
55 (defconcept ETd1 (and (some R(number 18)) (some R(gt (number 60)))));unsat
56 (defconcept ETd2 (and (some R(number 60)) (some R(gt (number 18)))))
57 (defconcept ETd3 (and (some R(number 18)) (some R(lt (number 60)))))
58 (defconcept ETd4 (and (some R(number 60)) (some R(lt (number 18)))));unsat
59 (defconcept ETe1 (and (some R(number 18)) (some R(lt(number 18)))));unsat
60 (defconcept ETe2 (and (some R(number 60)) (some R(gt(number 60)))));unsat
61 (defconcept ETe3 (and (some R(le (number 60))) (some R(number 60))))
62 (defconcept ETe4 (and (some R(ge (number 18))) (some R(number 18))))
63
64 ;GE and LE
65 ;testing simple satisfiable and unsatisfiable ranges
66 (defconcept EEa1 (and (some R(ge (number 18))) (some R(le(number 60)))))
67 (defconcept EEa2 (and (some R(ge (number 60))) (some R(le(number 18)))));unsat
68 (defconcept EEa3 (and (some R(le (number 18))) (some R(ge(number 60)))));unsat
69 (defconcept EEa4 (and (some R(le (number 60))) (some R(ge(number 18)))))
70 (defconcept EEa5 (and (some R(ge (number 18))) (some R(le(number 18)))))
71 (defconcept EEa6 (and (some R(le (number 60))) (some R(ge(number 60)))))
72 ;the 4 below should eventually simplify
73 (defconcept EEb1 (and (some R(ge (number 18))) (some R(ge(number 60)))))
74 (defconcept EEb2 (and (some R(ge (number 60))) (some R(ge(number 18)))))
75 (defconcept EEb3 (and (some R(le (number 18))) (some R(le(number 60)))))
76 (defconcept EEb4 (and (some R(le (number 60))) (some R(le(number 18)))))
77 (defconcept EEb5 (and (some R(ge (number 18))) (some R(ge(number 18)))))
78 (defconcept EEb6 (and (some R(le (number 60))) (some R(le(number 60)))))
79 ;testing ranges together with specific values
80 (defconcept EEc1 (and (some R(ge (number 18))) (some R(number 60))))
81 (defconcept EEc2 (and (some R(ge (number 60))) (some R(number 18))));unsat
82 (defconcept EEc3 (and (some R(le (number 18))) (some R(number 60))));unsat
83 (defconcept EEc4 (and (some R(le (number 60))) (some R(number 18))))
84 (defconcept EEd1 (and (some R(number 18)) (some R(ge (number 60)))));unsat
85 (defconcept EEd2 (and (some R(number 60)) (some R(ge (number 18)))))
86 (defconcept EEd3 (and (some R(number 18)) (some R(le (number 60)))))
87 (defconcept EEd4 (and (some R(number 60)) (some R(le (number 18)))));unsat
88 (defconcept EEe1 (and (some R(number 18)) (some R(le(number 18)))))
89 (defconcept EEe2 (and (some R(number 60)) (some R(ge(number 60)))))
90 (defconcept EEe3 (and (some R(le (number 60))) (some R(number 60))))
91 (defconcept EEe4 (and (some R(ge (number 18))) (some R(number 18))))
92
93 ;GT and LE
94 ;testing simple satisfiable and unsatisfiable ranges
95 (defconcept TEa1 (and (some R(gt (number 18))) (some R(le(number 60)))))
96 (defconcept TEa2 (and (some R(gt (number 60))) (some R(le(number 18)))));unsat
97 (defconcept TEa3 (and (some R(lt (number 18))) (some R(ge(number 60)))));unsat
98 (defconcept TEa4 (and (some R(lt (number 60))) (some R(ge(number 18)))))
99 (defconcept TEa5 (and (some R(gt (number 18))) (some R(le(number 18)))));unsat
100 (defconcept TEa6 (and (some R(lt (number 60))) (some R(ge(number 60)))));unsat
101 ;the 4 below should eventually simplify
102 (defconcept TEb1 (and (some R(gt (number 18))) (some R(ge(number 60)))))
103 (defconcept TEb2 (and (some R(gt (number 60))) (some R(ge(number 18)))))
104 (defconcept TEb3 (and (some R(lt (number 18))) (some R(le(number 60)))))
105 (defconcept TEb4 (and (some R(lt (number 60))) (some R(le(number 18)))))
106 (defconcept TEb5 (and (some R(gt (number 18))) (some R(ge(number 18)))))
107 (defconcept TEb6 (and (some R(lt (number 60))) (some R(le(number 60)))))
108 ;testing ranges together with specific values
109 (defconcept TEc1 (and (some R(gt (number 18))) (some R(number 60))))
110 (defconcept TEc2 (and (some R(gt (number 60))) (some R(number 18))));unsat
111 (defconcept TEc3 (and (some R(lt (number 18))) (some R(number 60))));unsat
112 (defconcept TEc4 (and (some R(lt (number 60))) (some R(number 18))))
113 (defconcept TEd1 (and (some R(number 18)) (some R(ge (number 60)))));unsat
114 (defconcept TEd2 (and (some R(number 60)) (some R(ge (number 18)))))
115 (defconcept TEd3 (and (some R(number 18)) (some R(le (number 60)))))
116 (defconcept TEd4 (and (some R(number 60)) (some R(le (number 18)))));unsat
117 (defconcept TEe1 (and (some R(number 18)) (some R(le(number 18)))))
118 (defconcept TEe2 (and (some R(number 60)) (some R(ge(number 60)))))
119 (defconcept TEe3 (and (some R(lt (number 60))) (some R(number 60))));unsat
120 (defconcept TEe4 (and (some R(gt (number 18))) (some R(number 18))));unsat
121
122 ;Doubles - not supported
123 (defconcept double1 (and (some R(gt (number 18.4))) (some R(lt (number 18.5)))));unsat
124 (defconcept double2 (and (some R(lt (number 18.4))) (some R(gt (number 18.5)))));unsat
125
126 ;Testing range cross-over
127 (defconcept between1 (and (some R(between (number 28) (number 60))) (some R(between (number 18) (number 50)))))
128 (defconcept inrange1 (and (some R(in-range (number 18) (number 50))) (some R(in-range (number 28) (number 60)))))
129 (defconcept between2 (and (some R(between (number 18) (number 28))) (some R(between (number 50) (number 60)))));unsat
130 (defconcept inrange2 (and (some R(in-range (number 50) (number 60))) (some R(in-range (number 18) (number 28)))));unsat
131
132 ;Check that 1a and 1b, and 2a and 2b are equivalent
133 (defconcept equiv1a (and (some R(gt (number 18))) (some R(lt (number 60)))))
134 (defconcept equiv1b (some R(between (number 18) (number 60))))
135 (defconcept equiv2a (and (some R(ge (number 18))) (some R(le (number 60)))))
136 (defconcept equiv2b (some R(in-range (number 18) (number 60))))
137
138 ;Strings
139 (defconcept str01 (and (some R(gt(string AWord))) (some R(lt(string BWord)))))
140 (defconcept str02 (and (some R(lt(string AWord))) (some R(gt(string BWord)))));unsat
141 (defconcept str03 (and (some R(gt(string WordA))) (some R(lt(string WordB)))))
142 (defconcept str04 (and (some R(lt(string WordA))) (some R(gt(string WordB)))));unsat
143 (defconcept str05 (and (some R(gt(string A))) (some R(lt(string A)))));unsat
144 (defconcept str06 (and (some R(ge(string A))) (some R(le(string A)))))
145 (defconcept str07 (and (some R(gt(string A))) (some R(gt(string B)))))
146 (defconcept str08 (and (some R(lt(string A))) (some R(lt(string B)))))
147 (defconcept str09 (and (some R(gt(string aa))) (some R(lt(string aaa)))))
148 (defconcept str10 (and (some R(gt(string aaa))) (some R(lt(string aa)))));unsat
149 (defconcept str11 (and (some R(gt(string AWord))) (some R(string BWord))))
150 (defconcept str12 (and (some R(lt(string AWord))) (some R(string BWord))));unsat
151
152 ;Subsumption tests
153 (defconcept subNumA (and (some R (ge (number 5))) (some R (le (number 10))))) ; subsumes TOP
154 (defconcept subNumB (and (some R (ge (number 5))) (some R (lt (number 10))))) ; subsumes a
155 (defconcept subNumC (and (some R (gt (number 5))) (some R (le (number 10))))) ; subsumes a
156 (defconcept subNumD (and (some R (gt (number 5))) (some R (lt (number 10))))) ; subsumes b, c (a)
157 (defconcept subNumE (some R (number 5))) ; subsumes b (a)
158 (defconcept subNumF (some R (number 10))) ; subsumes c (a)
159 (defconcept subStrA (and (some R (ge (string a))) (some R (le (string b))))) ; subsumes TOP
160 (defconcept subStrB (and (some R (ge (string a))) (some R (lt (string b))))) ; subsumes a
161 (defconcept subStrC (and (some R (gt (string a))) (some R (le (string b))))) ; subsumes a
162 (defconcept subStrD (and (some R (gt (string a))) (some R (lt (string b))))) ; subsumes b, c (a)
163 (defconcept subStrE (some R (string a))) ; subsumes b (a)
164 (defconcept subStrF (some R (string b))) ; subsumes c (a)
165
166 ;Mix of types unsatisfiability test
167 (defconcept mix1 (and (some R (gt (number 5))) (some R (lt (string five)))));unsat
168 (defconcept mix2 (and (some R (gt (number 5))) (some R (lt (string 5)))));unsat
169
170 ;Check that negative type saturation works correcly
171 (defconcept negSat1N (and (some R (number)) (not (some R (le (number 5)))) (not (some R (number 6))) (not(some R (ge (number 7))))));unsat
172 (defconcept negSat2N (and (some R (number)) (not (some R (lt (number 5)))) (not (some R (number 6))) (not(some R (ge (number 7))))))
173 (defconcept negSat3N (and (some R (number)) (not (some R (le (number 5)))) (not (some R (number 6))) (not(some R (gt (number 7))))))
174 (defconcept negSat4N (and (some R (number)) (not (some R (lt (number 5)))) (not (some R (number 6))) (not (some R (number 5))) (not(some R (ge (number 7))))));unsat
175 (defconcept negSat5N (and (some R (number)) (not (some R (le (number 5)))) (not (some R (number 6))) (not (some R (number 7))) (not(some R (gt (number 7))))));unsat
176 (defconcept negSat1S (and (some R (string)) (not (some R (le (string a)))) (not (some R (string b))) (not(some R (ge (string c))))))
177
178 ;negative subsumption tests
179 ;C = E
180 ;D = F
181 ;I subsumes A
182 ;J subsumes C
183 ;H subsumes B
184 ;G subsumes D
185 ;F subsumes B
186 ;E subsumes A
187 ;M subsumes L
188 (defconcept subSumpA (not (some R(lt (number 2)))))
189 (defconcept subSumpB (not (some R(gt (number 5)))))
190 (defconcept subSumpC (not (some R(le (number 2)))))
191 (defconcept subSumpD (not (some R(ge (number 5)))))
192 (defconcept subSumpE (and (not (some R(lt (number 2)))) (not (some R (number 2)))))
193 (defconcept subSumpF (and (not (some R(gt (number 5)))) (not (some R (number 5)))))
194 (defconcept subSumpG (and (some R(lt (number 5)))))
195 (defconcept subSumpH (and (some R(le (number 5)))))
196 (defconcept subSumpI (and (some R(ge (number 2)))))
197 (defconcept subSumpJ (and (some R(gt (number 2)))))
198 (defconcept subSumpK (and (not (some R(number 2))) (not (some R(number 3))) (not (some R(number 4))) (some R (ge (number 2))) (some R (le (number 4)))));unsat
199 (defconcept subSumpL (and (not (some R(number 2))) (not (some R(number 3))) (not (some R(number 4)))))
200 (defconcept subSumpM (some R(le (number 1))))
201 (defconcept subSumpN (and (not (some R(number 2))) (some R (number 2))));unsat