├── LICENSE ├── Natural Language Processing - Prolog ├── Diary.pl └── DiaryReport.pdf ├── Ontology - Protégé ├── pr9.pins ├── pr9.pont └── pr9.pprj ├── README.md ├── Travel recommender - Jess ├── TravelRecommendation.clp └── TravelRecommendationReport.pdf └── Travel recommender - Protégé-Jess ├── TravelRecommendationReport2.pdf ├── TravelRecommender.clp ├── pr10.pins ├── pr10.pont └── pr10.pprj /LICENSE: -------------------------------------------------------------------------------- 1 | The MIT License (MIT) 2 | 3 | Copyright (c) 2016 Ana María Martínez Gómez 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /Natural Language Processing - Prolog/Diary.pl: -------------------------------------------------------------------------------- 1 | 2 | % Realizado por Ana María Martínez Gómez y Víctor Adolfo Gallego Alcalá 3 | 4 | %gramática 5 | 6 | consulta:- 7 | nl, write('Escribe frase entre corchetes separando palabras con comas '), nl, 8 | write('o lista vacía para parar '), nl, 9 | read(F), trata(F). 10 | 11 | % tratamiento final 12 | trata([]):- write('Hasta pronto.'). 13 | 14 | % tratamiento caso general 15 | 16 | %caso de añadir 17 | trata(F) :- frase(añadir,Dia,Mes,Hora,Minutos,Persona, F, []), \+ (cita(Dia,Mes,Hora,Minutos,_,_)), 18 | assert(cita(Dia, Mes, Hora, Minutos, -1, Persona)), escribe_cita1(Dia, Mes, Hora, Minutos, -1, Persona),!,consulta. 19 | %El corte se explica en la memoria. 20 | 21 | trata(F) :- frase(añadir,Dia,Mes,Hora,Minutos,Duracion,Persona, F, []), \+ (cita(Dia,Mes,Hora,Minutos,_,_)), 22 | assert(cita(Dia, Mes, Hora, Minutos, Duracion, Persona)), escribe_cita1(Dia, Mes, Hora, Minutos, Duracion, Persona),!,consulta. 23 | %El corte se explica en la memoria. 24 | 25 | trata(F) :- (frase(añadir,_,_,_,_,_, F, []); frase(añadir,_,_,_,_,_,_, F, [])), write('Imposible añadir la reunión, hay otra a la misma hora.'), nl,!,consulta. 26 | 27 | %caso de borrar 28 | trata(F) :- frase(borrar,Dia,Mes,Hora,Minutos, F, []), 29 | retract(cita(Dia, Mes, Hora, Minutos, Duracion, Persona)), escribe_cita2(Dia, Mes, Hora, Minutos, Duracion, Persona),!,consulta. 30 | %El corte se explica en la memoria. 31 | 32 | trata(F) :- frase(borrar,Persona, F, []), 33 | retract(cita(Dia, Mes, Hora, Minutos, Duracion, Persona)), escribe_cita2(Dia, Mes, Hora, Minutos, Duracion, Persona),!,consulta. 34 | %El corte se explica en la memoria. 35 | 36 | trata(F) :- (frase(borrar,_,_,_,_, F, []);frase(borrar,_, F, [])), write('Imposible borrar la reunión, no existe.'), nl, !,consulta. 37 | 38 | %caso de consultar 39 | 40 | trata(F) :- frase(consultar,Dia,Mes, F,[]),cita(Dia, Mes, Hora, Minutos, Duracion, _), not(consulta_actual(_,_,_,_,_)), 41 | assert(consulta_actual(Dia, Mes, Hora, Minutos, Duracion)), 42 | forall(cita(Dia, Mes, Hora1, Minutos1, _,Persona1), escribe_cita3(Dia, Mes, Hora1, Minutos1, Persona1)), 43 | !,consulta. 44 | 45 | trata(F) :- frase(consultar,Dia,Mes, F,[]),cita(Dia, Mes, Hora, Minutos, Duracion, _),retract(consulta_actual(_,_,_,_,_)), 46 | assert(consulta_actual(Dia, Mes, Hora, Minutos, Duracion)), 47 | forall(cita(Dia, Mes, Hora1, Minutos1, _,Persona1), escribe_cita3(Dia, Mes, Hora1, Minutos1, Persona1)), 48 | !,consulta. 49 | 50 | trata(F) :- frase(consultar,Dia,Mes,Hora,Minutos, F,[]),cita(Dia, Mes, Hora, Minutos, Duracion, Persona),not(consulta_actual(_,_,_,_,_)), 51 | assert(consulta_actual(Dia, Mes, Hora, Minutos, Duracion)), 52 | escribe_cita3(Dia, Mes, Hora, Minutos, Persona), 53 | !, consulta . 54 | 55 | trata(F) :- frase(consultar,Dia,Mes,Hora,Minutos, F,[]),cita(Dia, Mes, Hora, Minutos, Duracion, Persona),retract(consulta_actual(_,_,_,_,_)), 56 | assert(consulta_actual(Dia, Mes, Hora, Minutos, Duracion)), 57 | escribe_cita3(Dia, Mes, Hora, Minutos, Persona), 58 | !, consulta . 59 | 60 | trata(F) :- (frase(consultar,_,_,F,[]) ; frase(consultar,_,_,_,_,F,[])), nl,write('No hay ninguna reunión en esa fecha'),nl,!, consulta. 61 | 62 | %caso de durar 63 | trata(F) :- frase(durar,Dia,Mes,Persona, F,[]),cita(Dia, Mes, _,_, -1, Persona),write('Dato desconocido.'),!, consulta . 64 | 65 | trata(F) :- frase(durar,Dia,Mes,Persona, F,[]),cita(Dia, Mes, _,_, Duracion, Persona),write('Dura '), write(Duracion), write(' horas'),!, consulta . 66 | 67 | trata(F) :- frase(durar,_,_,_, F,[]),nl,write('No hay ninguna reunión en esa fecha'),nl,!,consulta. 68 | 69 | %caso de elipsis 70 | 71 | trata(F) :- (frase(elipsis,_,_,F,[]) ; frase(elipsis,F,[])),not(consulta_actual(_,_,_,_,_)), write('Accion no reconocida.'), nl, consulta. 72 | 73 | trata(F) :- frase(elipsis,Hora,Minutos,F,[]),consulta_actual(Dia, Mes, _, _, Duracion), 74 | cita(Dia, Mes, Hora, Minutos, _, Persona), escribe_cita3(Dia, Mes, Hora, Minutos, Persona), 75 | retract(consulta_actual(Dia, Mes, _, _, Duracion)), 76 | assert(consulta_actual(Dia,Mes,Hora,Minutos,Duracion)),!,consulta. 77 | 78 | trata(F) :- frase(elipsis,F,[]),consulta_actual(_, _, _, _, Duracion),escribe_cita4(Duracion),nl,!,consulta. 79 | 80 | trata(F) :- frase(elipsis,_,_,F,[]),nl,write('No hay ninguna reunión en esa fecha'),nl,!,consulta. 81 | %otro caso 82 | 83 | trata(_) :- write('Accion no reconocida.'), nl, consulta. 84 | 85 | %Escritura de reuniones. 86 | escribe_cita1(Dia, Mes, Hora, Minutos, Duracion,Persona) :- write('Se ha añadido una reunión con '), escribe_cita(Dia, Mes, Hora, Minutos, Persona),escribe_duracion(Duracion), write('.'), nl. 87 | 88 | escribe_cita2(Dia, Mes, Hora, Minutos, Persona) :- write('Se ha eliminado la reunión con '), escribe_cita(Dia, Mes, Hora, Minutos, Persona), write('.'), nl. 89 | 90 | escribe_cita3(Dia, Mes, Hora, Minutos, Persona) :- write('Tienes una reunión con '),escribe_cita(Dia, Mes, Hora, Minutos,Persona), write('.'), nl. 91 | 92 | escribe_cita4(-1):- write('No se sabe'). 93 | escribe_cita4(Duracion):- write(Duracion), write(' horas'),nl. 94 | 95 | escribe_cita(Dia, Mes, Hora, Minutos, Persona) :- 96 | write(Persona), write(' el día '),write(Dia), write(' de '), write(Mes), 97 | escribe_hora(Hora), write(':'), escribe_minutos(Minutos). 98 | 99 | escribe_hora(1):- write(' a la 1'). 100 | escribe_hora(Hora) :-write(' a las '), write(Hora). 101 | 102 | escribe_minutos(Minutos):- Minutos <10, write(0), write(Minutos). 103 | escribe_minutos(Minutos):- write(Minutos). 104 | 105 | escribe_duracion(-1). 106 | escribe_duracion(Duracion):- write(' con una duración de '), write(Duracion), write(' horas'). 107 | 108 | 109 | frase(elipsis) --> 110 | reconoce_accion(elipsis), 111 | aux, 112 | [Cuanto], 113 | {es_palabra_duracion(Cuanto)}, 114 | aux. 115 | 116 | frase(Accion, Persona) --> 117 | aux, 118 | reconoce_accion(Accion), 119 | aux, 120 | reconoce_persona(Persona), 121 | aux. 122 | 123 | frase(Accion, Hora, Minutos) --> 124 | reconoce_accion(Accion), 125 | aux, 126 | reconoce_tiempo(Hora, Minutos), 127 | aux. 128 | 129 | 130 | frase(Accion,Dia,Mes) --> 131 | aux, 132 | reconoce_accion(Accion), 133 | aux, 134 | reconoce_fecha(Dia,Mes), 135 | aux. 136 | 137 | 138 | frase(Accion,Dia,Mes,Persona) --> 139 | aux, 140 | reconoce_accion(Accion), 141 | aux, 142 | reconoce_persona(Persona), 143 | aux, 144 | reconoce_fecha(Dia,Mes), 145 | aux. 146 | 147 | frase(Accion,Dia,Mes,Hora,Minutos) --> 148 | aux, 149 | reconoce_accion(Accion), 150 | aux, 151 | reconoce_fecha(Dia,Mes), 152 | aux, 153 | reconoce_tiempo(Hora,Minutos), 154 | aux. 155 | 156 | frase(Accion,Dia,Mes,Hora,Minutos,Persona) --> 157 | aux, 158 | reconoce_accion(Accion), 159 | aux, 160 | reconoce_persona(Persona), 161 | aux, 162 | reconoce_fecha(Dia,Mes), 163 | aux, 164 | reconoce_tiempo(Hora,Minutos), 165 | aux. 166 | 167 | frase(Accion,Dia,Mes,Hora,Minutos,Duracion,Persona) --> 168 | aux, 169 | reconoce_accion(Accion), 170 | aux, 171 | reconoce_persona(Persona), 172 | aux, 173 | reconoce_fecha(Dia,Mes), 174 | aux, 175 | reconoce_tiempo(Hora,Minutos), 176 | aux, 177 | reconoce_duracion(Duracion), 178 | aux. 179 | 180 | 181 | 182 | :- dynamic cita/6 . %cita(día, mes, hora, minuto, duración, persona). 183 | :- dynamic consulta_actual/5 . %consulta_actual(día, mes, hora, minuto, duración). 184 | 185 | aux --> []. 186 | aux --> [Aux],aux, { 187 | not(es_palabra_accion(Aux,_)), 188 | not(es_palabra_duracion(Aux)), 189 | not(integer(Aux)), %porque sino no sabemos donde empieza un día. 190 | not(es_persona(Aux)), 191 | not(es_mes(Aux))}. 192 | 193 | reconoce_accion(Accion) --> [Palabra] , {es_palabra_accion(Palabra,Accion)}. 194 | 195 | reconoce_persona(Persona) --> [Persona] , {es_persona(Persona)}. 196 | 197 | reconoce_fecha(Dia,Mes) --> [hoy], {hoy(Dia,Mes)}. 198 | reconoce_fecha(Dia,Mes) --> [mañana], {mañana(Dia,Mes)}. 199 | reconoce_fecha(Dia,Mes) --> 200 | reconoce_dia(Dia), 201 | aux, 202 | reconoce_mes(Mes). 203 | 204 | reconoce_fecha(Dia,Mes) --> reconoce_dia(Dia), {mes_actual(Mes)}. 205 | 206 | reconoce_fecha(Dia,Mes) --> {hoy(Dia,Mes)}. 207 | 208 | reconoce_dia(Dia) --> [Dia] , {integer(Dia), Dia < 32}. 209 | 210 | reconoce_mes(Mes) --> [de, Mes] , {es_mes(Mes)}. 211 | 212 | reconoce_tiempo(Hora,Minutos) --> ([a];[de]),reconoce_hora(Hora),(reconoce_minutos(Minutos) ; reconoce_minutos_puntos(Minutos)). 213 | reconoce_tiempo(Hora,Minutos) --> ([a];[de]),reconoce_hora(HoraAux),reconoce_minutos_menos(Minutos) , {Hora is HoraAux-1}. 214 | reconoce_tiempo(Hora,0) --> ([a];[de]) , reconoce_hora(Hora). 215 | reconoce_tiempo(Hora,Minutos) --> ([a];[de]) , (reconoce_minutos(Minutos) ; reconoce_minutos_menos(Minutos)), {hora_actual(Hora)}. 216 | 217 | reconoce_hora(1) --> [la] , ([una] ; [1]). 218 | reconoce_hora(Hora) --> [las, Hora] , {integer(Hora), Hora > -1, Hora <24}. 219 | reconoce_hora(HoraNumerica) --> [las, HoraLetra], {es_numero_hora(HoraLetra, HoraNumerica), HoraNumerica <24}. 220 | 221 | reconoce_minutos(Minutos) --> [y, Minutos] , {integer(Minutos), Minutos > 0, Minutos < 60}. 222 | reconoce_minutos(MinutoNumerico) --> [y], [MinutoLetra] , {es_minuto_exp(MinutoLetra, MinutoNumerico), MinutoNumerico < 60}. 223 | 224 | reconoce_minutos_menos(Resultado) --> [menos, Minutos] , {integer(Minutos), Minutos > 0, Minutos < 60, Resultado is 60-Minutos}. 225 | reconoce_minutos_menos(Resultado) --> [menos], [MinutoLetra] , {es_minuto_exp(MinutoLetra, MinutoNumerico), MinutoNumerico < 60, Resultado is 60-MinutoNumerico}. 226 | 227 | reconoce_minutos_puntos(Minutos) --> [:,Minutos] , {integer(Minutos), Minutos > -1, Minutos < 60}. 228 | 229 | reconoce_duracion(Duracion) --> [Duracion], {integer(Duracion), Duracion>0}. 230 | 231 | % DICCIONARIO 232 | 233 | 234 | es_palabra_accion(añade, añadir). 235 | es_palabra_accion(pon, añadir). 236 | es_palabra_accion(borra, borrar). 237 | es_palabra_accion(quita, borrar). 238 | es_palabra_accion(consulta, consultar). 239 | es_palabra_accion(tengo, consultar). 240 | es_palabra_accion(hay, consultar). 241 | es_palabra_accion(cuanto, durar). 242 | es_palabra_accion(cuánto, durar). 243 | es_palabra_accion(y, elipsis). 244 | 245 | es_palabra_duracion(cuanto). 246 | es_palabra_duracion(cuánto). 247 | 248 | 249 | es_persona(ana). 250 | es_persona(víctor). 251 | es_persona(carmen). 252 | es_persona(maría). 253 | es_persona(carlos). 254 | es_persona(juan). 255 | es_persona(nuria). 256 | 257 | es_mes(enero). 258 | es_mes(febrero). 259 | es_mes(marzo). 260 | es_mes(abril). 261 | es_mes(mayo). 262 | es_mes(junio). 263 | es_mes(julio). 264 | es_mes(agosto). 265 | es_mes(septiembre). 266 | es_mes(octubre). 267 | es_mes(noviembre). 268 | es_mes(diciembre). 269 | 270 | % es_numero_hora son los numeros del 2 al 12 escritos con letra 271 | es_numero_hora(dos,2). 272 | es_numero_hora(tres, 3). 273 | es_numero_hora(cuatro, 4). 274 | es_numero_hora(cinco, 5). 275 | es_numero_hora(seis, 6). 276 | es_numero_hora(siete, 7). 277 | es_numero_hora(ocho, 8). 278 | es_numero_hora(nueve, 9). 279 | es_numero_hora(diez, 10). 280 | es_numero_hora(once, 11). 281 | es_numero_hora(doce, 12). 282 | 283 | % es_minuto_exp transforma expresiones numericas en numeros 284 | es_minuto_exp(Exp,Num) :- es_minuto(Exp,Num). 285 | es_minuto_exp(cuarto, 15). 286 | es_minuto_exp(media, 30). 287 | 288 | % es_minuto tiene los numeros del 1 al 59 289 | es_minuto(uno, 1). 290 | es_minuto(dos, 2). 291 | es_minuto(tres, 3). 292 | es_minuto(cuatro, 4). 293 | es_minuto(cinco,5). 294 | es_minuto(seis, 6). 295 | es_minuto(siete, 7). 296 | es_minuto(ocho, 8). 297 | es_minuto(nueve, 9). 298 | es_minuto(diez,10). 299 | es_minuto(once, 11). 300 | es_minuto(doce, 12). 301 | es_minuto(trece, 13). 302 | es_minuto(catorce, 14). 303 | es_minuto(quince,15). 304 | es_minuto(dieciseis, 16). 305 | es_minuto(diecisiete, 17). 306 | es_minuto(dieciocho, 18). 307 | es_minuto(diecinueve, 19). 308 | es_minuto(veinte, 20). 309 | es_minuto(veintiuno, 21). 310 | es_minuto(veintidos, 22). 311 | es_minuto(veintitres, 23). 312 | es_minuto(veinticuatro, 24). 313 | es_minuto(veinticinco, 25). 314 | es_minuto(veintiseis, 26). 315 | es_minuto(veintisiete, 27). 316 | es_minuto(veintiocho, 28). 317 | es_minuto(veintinueve, 29). 318 | es_minuto(treinta, 30). 319 | 320 | hoy(22,X):-mes_actual(X). 321 | mañana(23,X):-mes_actual(X). 322 | hora_actual(19). 323 | mes_actual(mayo). 324 | -------------------------------------------------------------------------------- /Natural Language Processing - Prolog/DiaryReport.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ana06/AI/2e94a2bb64536a7db3237399bd196c3315541035/Natural Language Processing - Prolog/DiaryReport.pdf -------------------------------------------------------------------------------- /Ontology - Protégé/pr9.pins: -------------------------------------------------------------------------------- 1 | ; Tue Mar 24 17:08:17 CET 2015 2 | ; 3 | ;+ (version "3.5") 4 | ;+ (build "Build 663") 5 | 6 | ([pr9_Class0] of Pais 7 | 8 | (nombre_pais "Estados Unidos") 9 | (num_habitantes 318900000)) 10 | 11 | ([pr9_Class1] of Region 12 | 13 | (idioma_region 14 | "Español" 15 | "Catalán") 16 | (nombre_region "Cataluña") 17 | (pais [pr9_Class65])) 18 | 19 | ([pr9_Class10000] of Cadena 20 | 21 | (nombre_empresa "Pullmantour") 22 | (numero_empleados 389) 23 | (tiene 24 | [pr9_Class16] 25 | [pr9_Class17] 26 | [pr9_Class30023] 27 | [pr9_Class30029])) 28 | 29 | ([pr9_Class10002] of Cadena 30 | 31 | (nombre_empresa "Meliá") 32 | (numero_empleados 211) 33 | (tiene 34 | [pr9_Class10006] 35 | [pr9_Class10019] 36 | [pr9_Class10011])) 37 | 38 | ([pr9_Class10003] of Hotel 39 | 40 | (estrellas 3) 41 | (habitaciones 120) 42 | (localizacion_alojamiento [pr9_Class7]) 43 | (nombre_alojamiento "NHBarcelona") 44 | (precio_alojamiento_dia_persona 23.0) 45 | (propiedad_de [pr9_Class20]) 46 | (regimen_alojamiento desayuno) 47 | (viaje_en_que_se_oferta [pr9_Class30030])) 48 | 49 | ([pr9_Class10006] of HotelLujo 50 | 51 | (estrellas 5) 52 | (habitaciones 40) 53 | (localizacion_alojamiento [pr9_Class7]) 54 | (nombre_alojamiento "Romantic Hotel Barcelona") 55 | (precio_alojamiento_dia_persona 100.0) 56 | (propiedad_de [pr9_Class10002]) 57 | (regimen_alojamiento pension_completa) 58 | (suites 10)) 59 | 60 | ([pr9_Class10008] of Region 61 | 62 | (idioma_region "Español") 63 | (nombre_region "Andalucía") 64 | (pais [pr9_Class65])) 65 | 66 | ([pr9_Class10009] of Destino 67 | 68 | (nombre_destino "Sevilla") 69 | (num_habitantes_destino 400000) 70 | (regi%C3%B3n_destino [pr9_Class10008]) 71 | (tipo_destino ciudad) 72 | (viajes 73 | [pr9_Class30021] 74 | [pr9_Class30022] 75 | [pr9_Class30001])) 76 | 77 | ([pr9_Class10010] of Destino 78 | 79 | (nombre_destino "Málaga") 80 | (num_habitantes_destino 150000) 81 | (regi%C3%B3n_destino [pr9_Class10008]) 82 | (tipo_destino ciudad)) 83 | 84 | ([pr9_Class10011] of Hotel 85 | 86 | (estrellas 4) 87 | (habitaciones 200) 88 | (localizacion_alojamiento [pr9_Class10009]) 89 | (nombre_alojamiento "Melia Sevilla") 90 | (precio_alojamiento_dia_persona 22.0) 91 | (propiedad_de [pr9_Class10002]) 92 | (regimen_alojamiento desayuno) 93 | (viaje_en_que_se_oferta 94 | [pr9_Class30021] 95 | [pr9_Class30001])) 96 | 97 | ([pr9_Class10012] of HotelLujo 98 | 99 | (estrellas 5) 100 | (habitaciones 50) 101 | (localizacion_alojamiento [pr9_Class10010]) 102 | (nombre_alojamiento "Gran Hotel de Málaga") 103 | (precio_alojamiento_dia_persona 78.0) 104 | (propiedad_de [pr9_Class20]) 105 | (regimen_alojamiento media_pension) 106 | (suites 10)) 107 | 108 | ([pr9_Class10018] of Destino 109 | 110 | (nombre_destino "Los Ángeles") 111 | (num_habitantes_destino 2000000) 112 | (regi%C3%B3n_destino [pr9_Class4]) 113 | (tipo_destino ciudad) 114 | (viajes 115 | [pr9_Class30025] 116 | [pr9_Class30026])) 117 | 118 | ([pr9_Class10019] of Hotel 119 | 120 | (estrellas 4) 121 | (habitaciones 60) 122 | (localizacion_alojamiento [pr9_Class10018]) 123 | (nombre_alojamiento "Los Angeles Resort") 124 | (precio_alojamiento_dia_persona 21.0) 125 | (propiedad_de [pr9_Class10002]) 126 | (regimen_alojamiento desayuno) 127 | (viaje_en_que_se_oferta [pr9_Class30026])) 128 | 129 | ([pr9_Class10021] of Mayorista 130 | 131 | (nombre_empresa "Travelplan") 132 | (numero_empleados 17) 133 | (viajes_ofertados 134 | [pr9_Class30025] 135 | [pr9_Class30026] 136 | [pr9_Class40026])) 137 | 138 | ([pr9_Class10025] of Destino 139 | 140 | (nombre_destino "Mallorca") 141 | (num_habitantes_destino 200000) 142 | (regi%C3%B3n_destino [pr9_Class10026]) 143 | (tipo_destino isla)) 144 | 145 | ([pr9_Class10026] of Region 146 | 147 | (idioma_region "Español") 148 | (nombre_region "Baleares") 149 | (pais [pr9_Class65])) 150 | 151 | ([pr9_Class10027] of Mayorista 152 | 153 | (nombre_empresa "Politours") 154 | (numero_empleados 1032) 155 | (viajes_ofertados 156 | [pr9_Class30030] 157 | [pr9_Class30021])) 158 | 159 | ([pr9_Class13] of TransporteTurista 160 | 161 | (clase_transporte turista) 162 | (destino_transporte [pr9_Class10018]) 163 | (duracion_translado 9.0) 164 | (hora_salida 600) 165 | (id_transporte "13458H") 166 | (nombre_transporte "Avión-Turista-Mad-Ang1378H") 167 | (origen_transporte [pr9_Class6]) 168 | (precio_transporte_persona 220.0)) 169 | 170 | ([pr9_Class14] of TransporteTurista 171 | 172 | (clase_transporte turista) 173 | (destino_transporte [pr9_Class7]) 174 | (duracion_translado 6.0) 175 | (hora_salida 2000) 176 | (id_transporte "5792CBR") 177 | (nombre_transporte "Autobús-Mad-Bar") 178 | (origen_transporte [pr9_Class6]) 179 | (precio_transporte_persona 31.0)) 180 | 181 | ([pr9_Class15] of TransporteTurista 182 | 183 | (clase_transporte turista) 184 | (destino_transporte [pr9_Class10009]) 185 | (duracion_translado 3.0) 186 | (hora_salida 1000) 187 | (id_transporte "1309") 188 | (nombre_transporte "Ave-Turista-Mad-Sev1309") 189 | (origen_transporte [pr9_Class6]) 190 | (precio_transporte_persona 100.0)) 191 | 192 | ([pr9_Class16] of Barco 193 | 194 | (camarote 356) 195 | (nombre_alojamiento "ss oceanic") 196 | (precio_alojamiento_dia_persona 44.0) 197 | (propiedad_de [pr9_Class10000]) 198 | (regimen_alojamiento todo_incluido) 199 | (viaje_en_que_se_oferta [pr9_Class40026])) 200 | 201 | ([pr9_Class17] of Barco 202 | 203 | (camarote 2) 204 | (nombre_alojamiento "yate") 205 | (precio_alojamiento_dia_persona 400.0) 206 | (propiedad_de [pr9_Class10000])) 207 | 208 | ([pr9_Class18] of Albergue 209 | 210 | (habitaciones 3) 211 | (localizacion_alojamiento [pr9_Class30013]) 212 | (nombre_alojamiento "Albergue de la Abuela Maria") 213 | (precio_alojamiento_dia_persona 10.0)) 214 | 215 | ([pr9_Class2] of Region 216 | 217 | (idioma_region "Español") 218 | (nombre_region "Comunidad de Madrid") 219 | (pais [pr9_Class65])) 220 | 221 | ([pr9_Class20] of Cadena 222 | 223 | (nombre_empresa "NH") 224 | (numero_empleados 1011) 225 | (tiene 226 | [pr9_Class10003] 227 | [pr9_Class10012] 228 | [pr9_Class20000])) 229 | 230 | ([pr9_Class20000] of HotelLujo 231 | 232 | (estrellas 6) 233 | (habitaciones 10) 234 | (localizacion_alojamiento [pr9_Class10018]) 235 | (nombre_alojamiento "Los Angeles Resort Lujo") 236 | (precio_alojamiento_dia_persona 500.0) 237 | (propiedad_de [pr9_Class20]) 238 | (regimen_alojamiento todo_incluido) 239 | (suites 10) 240 | (viaje_en_que_se_oferta [pr9_Class30025])) 241 | 242 | ([pr9_Class30001] of ViajeBarato 243 | 244 | (alojamiento_viaje [pr9_Class10011]) 245 | (destino_viaje [pr9_Class10009]) 246 | (duracion_viaje 2) 247 | (mayorista_viaje [pr9_Class62]) 248 | (medio_transporte_viaje 249 | [pr9_Class15] 250 | [pr9_Class40016]) 251 | (nombre_viaje "Sevilla Cultural Fin De Semana") 252 | (num_viajeros 1) 253 | (origen_viaje [pr9_Class30017]) 254 | (precio_viaje 144.0) 255 | (tipo_viaje escapada)) 256 | 257 | ([pr9_Class30013] of Destino 258 | 259 | (nombre_destino "La Granja De San Ildefonso") 260 | (num_habitantes_destino 10000) 261 | (regi%C3%B3n_destino [pr9_Class69]) 262 | (tipo_destino pueblo)) 263 | 264 | ([pr9_Class30017] of Destino 265 | 266 | (nombre_destino "El Escorial") 267 | (num_habitantes_destino 15000) 268 | (regi%C3%B3n_destino [pr9_Class2]) 269 | (tipo_destino pueblo)) 270 | 271 | ([pr9_Class30018] of Region 272 | 273 | (idioma_region "Español") 274 | (nombre_region "Canarias") 275 | (pais [pr9_Class65])) 276 | 277 | ([pr9_Class30019] of Destino 278 | 279 | (nombre_destino "Tenerife") 280 | (num_habitantes_destino 100000) 281 | (regi%C3%B3n_destino [pr9_Class30018]) 282 | (tipo_destino isla) 283 | (viajes [pr9_Class30028])) 284 | 285 | ([pr9_Class30020] of Destino 286 | 287 | (nombre_destino "La Gomera") 288 | (num_habitantes_destino 6000) 289 | (regi%C3%B3n_destino [pr9_Class30018]) 290 | (tipo_destino isla) 291 | (viajes [pr9_Class40026])) 292 | 293 | ([pr9_Class30021] of ViajeEconomico 294 | 295 | (alojamiento_viaje [pr9_Class10011]) 296 | (destino_viaje [pr9_Class10009]) 297 | (duracion_viaje 4) 298 | (mayorista_viaje [pr9_Class10027]) 299 | (medio_transporte_viaje 300 | [pr9_Class15] 301 | [pr9_Class40016]) 302 | (nombre_viaje "Sevilla Cultural") 303 | (num_viajeros 2) 304 | (origen_viaje [pr9_Class30017]) 305 | (precio_viaje 576.0) 306 | (tipo_viaje escapada)) 307 | 308 | ([pr9_Class30022] of ViajeCaro 309 | 310 | (alojamiento_viaje [pr9_Class30023]) 311 | (destino_viaje [pr9_Class10009]) 312 | (duracion_viaje 2) 313 | (mayorista_viaje [pr9_Class62]) 314 | (medio_transporte_viaje 315 | [pr9_Class40017] 316 | [pr9_Class40018]) 317 | (nombre_viaje "Sevilla Romantico") 318 | (num_viajeros 2) 319 | (origen_viaje [pr9_Class6]) 320 | (precio_viaje 2618.0) 321 | (tipo_viaje escapada)) 322 | 323 | ([pr9_Class30023] of HotelLujo 324 | 325 | (estrellas 6) 326 | (habitaciones 20) 327 | (localizacion_alojamiento [pr9_Class10009]) 328 | (nombre_alojamiento "Luxury Sevilla") 329 | (precio_alojamiento_dia_persona 467.0) 330 | (propiedad_de [pr9_Class10000]) 331 | (regimen_alojamiento todo_incluido) 332 | (suites 20) 333 | (viaje_en_que_se_oferta [pr9_Class30022])) 334 | 335 | ([pr9_Class30025] of ViajeCaro 336 | 337 | (alojamiento_viaje [pr9_Class20000]) 338 | (destino_viaje [pr9_Class10018]) 339 | (duracion_viaje 2) 340 | (mayorista_viaje [pr9_Class10021]) 341 | (medio_transporte_viaje 342 | [pr9_Class40013] 343 | [pr9_Class40012]) 344 | (nombre_viaje "Los Angeles Luxury") 345 | (num_viajeros 4) 346 | (origen_viaje [pr9_Class6]) 347 | (precio_viaje 12080.0) 348 | (tipo_viaje otro)) 349 | 350 | ([pr9_Class30026] of ViajeEconomico 351 | 352 | (alojamiento_viaje [pr9_Class10019]) 353 | (destino_viaje [pr9_Class10018]) 354 | (duracion_viaje 4) 355 | (mayorista_viaje [pr9_Class10021]) 356 | (medio_transporte_viaje 357 | [pr9_Class40014] 358 | [pr9_Class40014]) 359 | (nombre_viaje "Los Angeles Shopping") 360 | (num_viajeros 1) 361 | (origen_viaje [pr9_Class6]) 362 | (precio_viaje 504.0) 363 | (tipo_viaje otro)) 364 | 365 | ([pr9_Class30028] of ViajeEconomico 366 | 367 | (alojamiento_viaje [pr9_Class30029]) 368 | (destino_viaje [pr9_Class30019]) 369 | (duracion_viaje 2) 370 | (mayorista_viaje [pr9_Class62]) 371 | (medio_transporte_viaje 372 | [pr9_Class40022] 373 | [pr9_Class40021]) 374 | (nombre_viaje "Escapada a Tenerife") 375 | (num_viajeros 3) 376 | (origen_viaje [pr9_Class6]) 377 | (precio_viaje 570.0) 378 | (tipo_viaje escapada)) 379 | 380 | ([pr9_Class30029] of Hotel 381 | 382 | (estrellas 3) 383 | (habitaciones 60) 384 | (localizacion_alojamiento [pr9_Class30019]) 385 | (nombre_alojamiento "Tenerife Hotel") 386 | (precio_alojamiento_dia_persona 20.0) 387 | (propiedad_de [pr9_Class10000]) 388 | (regimen_alojamiento desayuno) 389 | (viaje_en_que_se_oferta [pr9_Class30028])) 390 | 391 | ([pr9_Class30030] of ViajeBarato 392 | 393 | (alojamiento_viaje [pr9_Class10003]) 394 | (destino_viaje [pr9_Class7]) 395 | (duracion_viaje 1) 396 | (mayorista_viaje [pr9_Class10027]) 397 | (medio_transporte_viaje 398 | [pr9_Class40015] 399 | [pr9_Class14]) 400 | (nombre_viaje "Noche en Barcelona") 401 | (num_viajeros 2) 402 | (origen_viaje [pr9_Class6]) 403 | (precio_viaje 170.0) 404 | (tipo_viaje escapada)) 405 | 406 | ([pr9_Class4] of Region 407 | 408 | (idioma_region "Inglés") 409 | (nombre_region "California") 410 | (pais [pr9_Class0])) 411 | 412 | ([pr9_Class40012] of TransporteVIP 413 | 414 | (clase_transporte bussiness) 415 | (destino_transporte [pr9_Class6]) 416 | (duracion_translado 9.0) 417 | (hora_salida 500) 418 | (id_transporte "1379H") 419 | (nombre_transporte "Avión-Bussiness-Ang-Madrid1379H") 420 | (origen_transporte [pr9_Class10018]) 421 | (precio_transporte_persona 1020.0)) 422 | 423 | ([pr9_Class40013] of TransporteVIP 424 | 425 | (clase_transporte bussiness) 426 | (destino_transporte [pr9_Class10018]) 427 | (duracion_translado 9.0) 428 | (hora_salida 600) 429 | (id_transporte "1378H") 430 | (nombre_transporte "Avión-Bussiness-Mad-Ang1378H") 431 | (origen_transporte [pr9_Class6]) 432 | (precio_transporte_persona 1000.0)) 433 | 434 | ([pr9_Class40014] of TransporteTurista 435 | 436 | (clase_transporte turista) 437 | (destino_transporte [pr9_Class6]) 438 | (duracion_translado 9.0) 439 | (hora_salida 500) 440 | (id_transporte "1379H") 441 | (nombre_transporte "Avión-Turista-Ang-Mad1379H") 442 | (origen_transporte [pr9_Class10018]) 443 | (precio_transporte_persona 200.0)) 444 | 445 | ([pr9_Class40015] of TransporteTurista 446 | 447 | (clase_transporte turista) 448 | (destino_transporte [pr9_Class6]) 449 | (duracion_translado 6.0) 450 | (hora_salida 2000) 451 | (id_transporte "5792CBR") 452 | (nombre_transporte "Autobús-Bar-Mad") 453 | (origen_transporte [pr9_Class7]) 454 | (precio_transporte_persona 31.0)) 455 | 456 | ([pr9_Class40016] of TransporteTurista 457 | 458 | (clase_transporte turista) 459 | (destino_transporte [pr9_Class6]) 460 | (duracion_translado 3.0) 461 | (hora_salida 2030) 462 | (id_transporte "1310") 463 | (nombre_transporte "Ave-Turista-Sev-Mad1310") 464 | (origen_transporte [pr9_Class10009]) 465 | (precio_transporte_persona 100.0)) 466 | 467 | ([pr9_Class40017] of TransporteVIP 468 | 469 | (clase_transporte primera) 470 | (destino_transporte [pr9_Class10009]) 471 | (duracion_translado 3.0) 472 | (hora_salida 1000) 473 | (id_transporte "1309") 474 | (nombre_transporte "Ave-Primera-Mad-Sev1309") 475 | (origen_transporte [pr9_Class6]) 476 | (precio_transporte_persona 180.0)) 477 | 478 | ([pr9_Class40018] of TransporteVIP 479 | 480 | (clase_transporte primera) 481 | (destino_transporte [pr9_Class6]) 482 | (duracion_translado 3.0) 483 | (hora_salida 2030) 484 | (id_transporte "1310") 485 | (nombre_transporte "Ave-Primera-Sev-Mad1310") 486 | (origen_transporte [pr9_Class10009]) 487 | (precio_transporte_persona 195.0)) 488 | 489 | ([pr9_Class40021] of TransporteTurista 490 | 491 | (clase_transporte turista) 492 | (destino_transporte [pr9_Class6]) 493 | (duracion_translado 5.0) 494 | (hora_salida 1600) 495 | (id_transporte "2191J") 496 | (nombre_transporte "Avión-Turista-Ten-Mad2191J") 497 | (origen_transporte [pr9_Class30019]) 498 | (precio_transporte_persona 75.0)) 499 | 500 | ([pr9_Class40022] of TransporteTurista 501 | 502 | (clase_transporte turista) 503 | (destino_transporte [pr9_Class30019]) 504 | (duracion_translado 5.0) 505 | (hora_salida 1000) 506 | (id_transporte "2190J") 507 | (nombre_transporte "Avión-Turista-Mad-Ten2190J") 508 | (origen_transporte [pr9_Class6]) 509 | (precio_transporte_persona 75.0)) 510 | 511 | ([pr9_Class40026] of ViajeAsequible 512 | 513 | (alojamiento_viaje [pr9_Class16]) 514 | (destino_viaje [pr9_Class30020]) 515 | (duracion_viaje 8) 516 | (mayorista_viaje [pr9_Class10021]) 517 | (nombre_viaje "Crucero a la Gomera") 518 | (num_viajeros 2) 519 | (origen_viaje [pr9_Class6]) 520 | (precio_viaje 792.0) 521 | (tipo_viaje crucero)) 522 | 523 | ([pr9_Class40031] of TransporteVIP 524 | 525 | (clase_transporte primera) 526 | (destino_transporte [pr9_Class6]) 527 | (duracion_translado 9.0) 528 | (hora_salida 200) 529 | (id_transporte "1369H") 530 | (nombre_transporte "Avión-Primera-Ang-Madrid1369H") 531 | (origen_transporte [pr9_Class10018]) 532 | (precio_transporte_persona 1320.0)) 533 | 534 | ([pr9_Class5] of Region 535 | 536 | (idioma_region "Inglés") 537 | (nombre_region "Massachusetts") 538 | (pais [pr9_Class0])) 539 | 540 | ([pr9_Class6] of Destino 541 | 542 | (nombre_destino "Madrid") 543 | (num_habitantes_destino 6000000) 544 | (regi%C3%B3n_destino [pr9_Class2]) 545 | (tipo_destino ciudad)) 546 | 547 | ([pr9_Class62] of Mayorista 548 | 549 | (nombre_empresa "Panavisión") 550 | (numero_empleados 123) 551 | (viajes_ofertados 552 | [pr9_Class30022] 553 | [pr9_Class30028] 554 | [pr9_Class30001])) 555 | 556 | ([pr9_Class65] of Pais 557 | 558 | (nombre_pais "España") 559 | (num_habitantes 47270000)) 560 | 561 | ([pr9_Class66] of Pais 562 | 563 | (nombre_pais "Portugal") 564 | (num_habitantes 10460000)) 565 | 566 | ([pr9_Class67] of Pais 567 | 568 | (nombre_pais "China") 569 | (num_habitantes 1357000000)) 570 | 571 | ([pr9_Class68] of Pais 572 | 573 | (nombre_pais "México") 574 | (num_habitantes 122300000)) 575 | 576 | ([pr9_Class69] of Region 577 | 578 | (idioma_region "Español") 579 | (nombre_region "Castilla León") 580 | (pais [pr9_Class65])) 581 | 582 | ([pr9_Class7] of Destino 583 | 584 | (nombre_destino "Barcelona") 585 | (num_habitantes_destino 34000) 586 | (regi%C3%B3n_destino [pr9_Class1]) 587 | (tipo_destino ciudad) 588 | (viajes [pr9_Class30030])) 589 | 590 | ([pr9_Class8] of Destino 591 | 592 | (nombre_destino "Woburn") 593 | (num_habitantes_destino 300000) 594 | (regi%C3%B3n_destino [pr9_Class5]) 595 | (tipo_destino pueblo)) 596 | -------------------------------------------------------------------------------- /Ontology - Protégé/pr9.pont: -------------------------------------------------------------------------------- 1 | ; Tue Mar 24 17:08:17 CET 2015 2 | ; 3 | ;+ (version "3.5") 4 | ;+ (build "Build 663") 5 | 6 | 7 | (defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS "Fake class to save top-level slot information" 8 | (is-a USER) 9 | (role abstract) 10 | (single-slot nombre_destino 11 | (type STRING) 12 | ;+ (cardinality 1 1) 13 | (create-accessor read-write)) 14 | (single-slot pais 15 | ;+ (comment "País al que pertenece la región.") 16 | (type INSTANCE) 17 | ;+ (allowed-classes Pais) 18 | ;+ (cardinality 1 1) 19 | (create-accessor read-write)) 20 | (single-slot regi%C3%B3n_destino 21 | ;+ (comment "Región a la que pertenece") 22 | (type INSTANCE) 23 | ;+ (allowed-classes Region) 24 | ;+ (cardinality 1 1) 25 | (create-accessor read-write)) 26 | (single-slot camarote 27 | ;+ (comment "Número de camarotes") 28 | (type INTEGER) 29 | (range 0 %3FVARIABLE) 30 | ;+ (cardinality 0 1) 31 | (create-accessor read-write)) 32 | (single-slot nombre_pais 33 | ;+ (comment "El nombre del país") 34 | (type STRING) 35 | ;+ (cardinality 1 1) 36 | (create-accessor read-write)) 37 | (single-slot precio_alojamiento_dia_persona 38 | (type FLOAT) 39 | (range 0.0 %3FVARIABLE) 40 | ;+ (cardinality 1 1) 41 | (create-accessor read-write)) 42 | (multislot tiene 43 | ;+ (comment "Alojamientos de la cadena o empresa.") 44 | (type INSTANCE) 45 | ;+ (allowed-classes Alojamiento) 46 | ;+ (inverse-slot propiedad_de) 47 | (create-accessor read-write)) 48 | (single-slot localizacion_alojamiento 49 | (type INSTANCE) 50 | ;+ (allowed-classes Destino) 51 | ;+ (cardinality 0 1) 52 | (create-accessor read-write)) 53 | (single-slot num_habitantes_destino 54 | (type INTEGER) 55 | (range 0 %3FVARIABLE) 56 | ;+ (cardinality 0 1) 57 | (create-accessor read-write)) 58 | (single-slot duracion_translado 59 | ;+ (comment "En horas") 60 | (type FLOAT) 61 | (range 0.0 %3FVARIABLE) 62 | ;+ (cardinality 0 1) 63 | (create-accessor read-write)) 64 | (single-slot regimen_alojamiento 65 | ;+ (comment "El regimen de comidas que ofrece el alojamiento.") 66 | (type SYMBOL) 67 | (allowed-values desayuno media_pension pension_completa todo_incluido) 68 | ;+ (cardinality 0 1) 69 | (create-accessor read-write)) 70 | (single-slot origen_transporte 71 | (type INSTANCE) 72 | ;+ (allowed-classes Destino) 73 | (default [pr9_Class6]) 74 | ;+ (cardinality 1 1) 75 | (create-accessor read-write)) 76 | (single-slot propiedad_de 77 | (type INSTANCE) 78 | ;+ (allowed-classes Cadena) 79 | ;+ (cardinality 0 1) 80 | ;+ (inverse-slot tiene) 81 | (create-accessor read-write)) 82 | (single-slot clase_transporte 83 | (type SYMBOL) 84 | (allowed-values turista bussiness primera) 85 | ;+ (cardinality 1 1) 86 | (create-accessor read-write)) 87 | (single-slot destino_viaje 88 | ;+ (comment "Ciudad de destino.") 89 | (type INSTANCE) 90 | ;+ (allowed-classes Destino) 91 | ;+ (cardinality 1 1) 92 | ;+ (inverse-slot viajes) 93 | (create-accessor read-write)) 94 | (multislot medio_transporte_viaje 95 | ;+ (comment "Medio de transporte. Nótese que puede no hacer falta contratar ningún medio de transporte por ejemplo si es un crucero que sale de tu ciudad o si vas en un coche particular. Podrían utilizarse varios medios de transporte.") 96 | (type INSTANCE) 97 | ;+ (allowed-classes Transporte) 98 | (create-accessor read-write)) 99 | (single-slot num_habitantes 100 | (type INTEGER) 101 | (range 0 %3FVARIABLE) 102 | ;+ (cardinality 0 1) 103 | (create-accessor read-write)) 104 | (single-slot suites 105 | (type INTEGER) 106 | (range 0 %3FVARIABLE) 107 | ;+ (cardinality 0 1) 108 | (create-accessor read-write)) 109 | (single-slot pasajeros 110 | ;+ (comment "Número máximo de pasajeros") 111 | (type INTEGER) 112 | (range 0 %3FVARIABLE) 113 | ;+ (cardinality 0 1) 114 | (create-accessor read-write)) 115 | (single-slot destino_transporte 116 | (type INSTANCE) 117 | ;+ (allowed-classes Destino) 118 | ;+ (cardinality 1 1) 119 | (create-accessor read-write)) 120 | (single-slot precio_viaje 121 | ;+ (comment "El precio total de ese viaje") 122 | (type FLOAT) 123 | (range 0.0 %3FVARIABLE) 124 | (default 500.0) 125 | ;+ (cardinality 1 1) 126 | (create-accessor read-write)) 127 | (multislot tipo_viaje 128 | (type SYMBOL) 129 | (allowed-values crucero interrail escapada otro) 130 | (default otro) 131 | (cardinality 1 ?VARIABLE) 132 | (create-accessor read-write)) 133 | (single-slot tipo_destino 134 | (type SYMBOL) 135 | (allowed-values isla ciudad pueblo) 136 | (default ciudad) 137 | ;+ (cardinality 1 1) 138 | (create-accessor read-write)) 139 | (single-slot num_viajeros 140 | ;+ (comment "El número de viajeros que forma el grupo") 141 | (type INTEGER) 142 | ;+ (cardinality 1 1) 143 | (create-accessor read-write)) 144 | (single-slot habitaciones 145 | ;+ (comment "habitaciones") 146 | (type INTEGER) 147 | (range 0 %3FVARIABLE) 148 | ;+ (cardinality 0 1) 149 | (create-accessor read-write)) 150 | (single-slot nombre_alojamiento 151 | (type STRING) 152 | ;+ (cardinality 1 1) 153 | (create-accessor read-write)) 154 | (single-slot alojamiento_viaje 155 | (type INSTANCE) 156 | ;+ (allowed-classes Alojamiento) 157 | ;+ (cardinality 0 1) 158 | ;+ (inverse-slot viaje_en_que_se_oferta) 159 | (create-accessor read-write)) 160 | (single-slot duracion_viaje 161 | ;+ (comment "La duración del viaje en días. No se podrán contratar viajes con una duración superior a 30 días") 162 | (type INTEGER) 163 | (range 1 30) 164 | (default 2) 165 | ;+ (cardinality 1 1) 166 | (create-accessor read-write)) 167 | (single-slot hora_salida 168 | (type INTEGER) 169 | (range 0 2359) 170 | ;+ (cardinality 0 1) 171 | (create-accessor read-write)) 172 | (multislot viaje_en_que_se_oferta 173 | (type INSTANCE) 174 | ;+ (allowed-classes Viaje) 175 | ;+ (inverse-slot alojamiento_viaje) 176 | (create-accessor read-write)) 177 | (single-slot id_transporte 178 | (type STRING) 179 | ;+ (cardinality 1 1) 180 | (create-accessor read-write)) 181 | (single-slot nombre_region 182 | ;+ (comment "El nombre de la región, comunidad autónoma o equivalente división de un estado") 183 | (type STRING) 184 | ;+ (cardinality 1 1) 185 | (create-accessor read-write)) 186 | (multislot viajes 187 | (type INSTANCE) 188 | ;+ (allowed-classes Viaje) 189 | ;+ (inverse-slot destino_viaje) 190 | (create-accessor read-write)) 191 | (single-slot nombre_empresa 192 | (type STRING) 193 | ;+ (cardinality 1 1) 194 | (create-accessor read-write)) 195 | (single-slot mayorista_viaje 196 | (type INSTANCE) 197 | ;+ (allowed-classes Mayorista) 198 | ;+ (cardinality 1 1) 199 | ;+ (inverse-slot viajes_ofertados) 200 | (create-accessor read-write)) 201 | (single-slot nombre_viaje 202 | (type STRING) 203 | ;+ (cardinality 1 1) 204 | (create-accessor read-write)) 205 | (single-slot nombre_transporte 206 | ;+ (comment "El nombre del transporte.") 207 | (type STRING) 208 | ;+ (cardinality 1 1) 209 | (create-accessor read-write)) 210 | (multislot idioma_region 211 | ;+ (comment "El idioma oficial hablado en la región (por ejemplo, en Cataluña catalán y español)") 212 | (type STRING) 213 | (cardinality 1 ?VARIABLE) 214 | (create-accessor read-write)) 215 | (multislot viajes_ofertados 216 | ;+ (comment "Viajes ofertados por ese mayorista") 217 | (type INSTANCE) 218 | ;+ (allowed-classes Viaje) 219 | ;+ (inverse-slot mayorista_viaje) 220 | (create-accessor read-write)) 221 | (single-slot numero_empleados 222 | (type INTEGER) 223 | (range 0 %3FVARIABLE) 224 | ;+ (cardinality 0 1) 225 | (create-accessor read-write)) 226 | (single-slot estrellas 227 | ;+ (comment "Número de estrellas del hotel.") 228 | (type INTEGER) 229 | (range 1 6) 230 | (default 3) 231 | ;+ (cardinality 1 1) 232 | (create-accessor read-write)) 233 | (single-slot origen_viaje 234 | ;+ (comment "Ciudad de origen.") 235 | (type INSTANCE) 236 | ;+ (allowed-classes Destino) 237 | (default [pr9_Class6]) 238 | ;+ (cardinality 1 1) 239 | (create-accessor read-write)) 240 | (single-slot precio_transporte_persona 241 | (type FLOAT) 242 | (range 0.0 %3FVARIABLE) 243 | (default 100.0) 244 | ;+ (cardinality 1 1) 245 | (create-accessor read-write))) 246 | 247 | (defclass Viaje 248 | (is-a USER) 249 | (role abstract) 250 | (single-slot num_viajeros 251 | ;+ (comment "El número de viajeros que forma el grupo") 252 | (type INTEGER) 253 | ;+ (cardinality 1 1) 254 | (create-accessor read-write)) 255 | (single-slot destino_viaje 256 | ;+ (comment "Ciudad de destino.") 257 | (type INSTANCE) 258 | ;+ (allowed-classes Destino) 259 | ;+ (cardinality 1 1) 260 | (create-accessor read-write)) 261 | (multislot medio_transporte_viaje 262 | ;+ (comment "Medio de transporte. Nótese que puede no hacer falta contratar ningún medio de transporte por ejemplo si es un crucero que sale de tu ciudad o si vas en un coche particular. Podrían utilizarse varios medios de transporte.") 263 | (type INSTANCE) 264 | ;+ (allowed-classes Transporte) 265 | (create-accessor read-write)) 266 | (single-slot mayorista_viaje 267 | (type INSTANCE) 268 | ;+ (allowed-classes Mayorista) 269 | ;+ (cardinality 1 1) 270 | (create-accessor read-write)) 271 | (single-slot precio_viaje 272 | ;+ (comment "El precio total de ese viaje") 273 | (type FLOAT) 274 | (range 0.0 %3FVARIABLE) 275 | (default 500.0) 276 | ;+ (cardinality 1 1) 277 | (create-accessor read-write)) 278 | (single-slot nombre_viaje 279 | (type STRING) 280 | ;+ (cardinality 1 1) 281 | (create-accessor read-write)) 282 | (single-slot alojamiento_viaje 283 | (type INSTANCE) 284 | ;+ (allowed-classes Alojamiento) 285 | ;+ (cardinality 0 1) 286 | (create-accessor read-write)) 287 | (single-slot duracion_viaje 288 | ;+ (comment "La duración del viaje en días. No se podrán contratar viajes con una duración superior a 30 días") 289 | (type INTEGER) 290 | (range 1 30) 291 | (default 2) 292 | ;+ (cardinality 1 1) 293 | (create-accessor read-write)) 294 | (multislot tipo_viaje 295 | (type SYMBOL) 296 | (allowed-values crucero interrail escapada otro) 297 | (default otro) 298 | (cardinality 1 ?VARIABLE) 299 | (create-accessor read-write)) 300 | (single-slot origen_viaje 301 | ;+ (comment "Ciudad de origen.") 302 | (type INSTANCE) 303 | ;+ (allowed-classes Destino) 304 | (default [pr9_Class6]) 305 | ;+ (cardinality 1 1) 306 | (create-accessor read-write))) 307 | 308 | (defclass ViajeCaro 309 | (is-a Viaje) 310 | (role concrete) 311 | (single-slot precio_viaje 312 | ;+ (comment "El precio total de ese viaje") 313 | (type FLOAT) 314 | (range 1001.0 %3FVARIABLE) 315 | (default 1500.0) 316 | ;+ (cardinality 1 1) 317 | (create-accessor read-write))) 318 | 319 | (defclass ViajeAsequible 320 | (is-a Viaje) 321 | (role concrete) 322 | (single-slot precio_viaje 323 | ;+ (comment "El precio total de ese viaje") 324 | (type FLOAT) 325 | (range 700.0 1000.0) 326 | (default 600.0) 327 | ;+ (cardinality 1 1) 328 | (create-accessor read-write))) 329 | 330 | (defclass ViajeBarato 331 | (is-a Viaje) 332 | (role concrete) 333 | (single-slot precio_viaje 334 | ;+ (comment "El precio total de ese viaje") 335 | (type FLOAT) 336 | (range 0.0 499.0) 337 | (default 250.0) 338 | ;+ (cardinality 1 1) 339 | (create-accessor read-write))) 340 | 341 | (defclass ViajeEconomico 342 | (is-a Viaje) 343 | (role concrete) 344 | (single-slot precio_viaje 345 | ;+ (comment "El precio total de ese viaje") 346 | (type FLOAT) 347 | (range 500.0 699.0) 348 | (default 500.0) 349 | ;+ (cardinality 1 1) 350 | (create-accessor read-write))) 351 | 352 | (defclass Alojamiento 353 | (is-a USER) 354 | (role abstract) 355 | (single-slot precio_alojamiento_dia_persona 356 | (type FLOAT) 357 | (range 0.0 %3FVARIABLE) 358 | ;+ (cardinality 1 1) 359 | (create-accessor read-write)) 360 | (single-slot localizacion_alojamiento 361 | (type INSTANCE) 362 | ;+ (allowed-classes Destino) 363 | ;+ (cardinality 0 1) 364 | (create-accessor read-write)) 365 | (single-slot nombre_alojamiento 366 | (type STRING) 367 | ;+ (cardinality 1 1) 368 | (create-accessor read-write)) 369 | (multislot viaje_en_que_se_oferta 370 | (type INSTANCE) 371 | ;+ (allowed-classes Viaje) 372 | (create-accessor read-write)) 373 | (single-slot propiedad_de 374 | (type INSTANCE) 375 | ;+ (allowed-classes Cadena) 376 | ;+ (cardinality 0 1) 377 | (create-accessor read-write)) 378 | (single-slot regimen_alojamiento 379 | ;+ (comment "El regimen de comidas que ofrece el alojamiento.") 380 | (type SYMBOL) 381 | (allowed-values desayuno media_pension pension_completa todo_incluido) 382 | ;+ (cardinality 0 1) 383 | (create-accessor read-write))) 384 | 385 | (defclass Barco "El barco es un alojamiento. No confundir con un bqarco de transporte." 386 | (is-a Alojamiento) 387 | (role concrete) 388 | (single-slot camarote 389 | ;+ (comment "Número de camarotes") 390 | (type INTEGER) 391 | (range 0 %3FVARIABLE) 392 | ;+ (cardinality 0 1) 393 | (create-accessor read-write))) 394 | 395 | (defclass AlojamientoTerrestre 396 | (is-a Alojamiento) 397 | (role abstract) 398 | (single-slot habitaciones 399 | ;+ (comment "habitaciones") 400 | (type INTEGER) 401 | (range 0 %3FVARIABLE) 402 | ;+ (cardinality 0 1) 403 | (create-accessor read-write))) 404 | 405 | (defclass Hotel 406 | (is-a AlojamientoTerrestre) 407 | (role concrete) 408 | (single-slot estrellas 409 | ;+ (comment "Número de estrellas del hotel.") 410 | (type INTEGER) 411 | (range 1 6) 412 | (default 3) 413 | ;+ (cardinality 1 1) 414 | (create-accessor read-write))) 415 | 416 | (defclass HotelLujo 417 | (is-a Hotel) 418 | (role concrete) 419 | (single-slot estrellas 420 | ;+ (comment "Número de estrellas del hotel.") 421 | (type INTEGER) 422 | (range 5 6) 423 | (default 5) 424 | ;+ (cardinality 1 1) 425 | (create-accessor read-write)) 426 | (single-slot suites 427 | (type INTEGER) 428 | (range 0 %3FVARIABLE) 429 | ;+ (cardinality 0 1) 430 | (create-accessor read-write))) 431 | 432 | (defclass Albergue 433 | (is-a AlojamientoTerrestre) 434 | (role concrete)) 435 | 436 | (defclass Transporte 437 | (is-a USER) 438 | (role abstract) 439 | (single-slot origen_transporte 440 | (type INSTANCE) 441 | ;+ (allowed-classes Destino) 442 | (default [pr9_Class6]) 443 | ;+ (cardinality 1 1) 444 | (create-accessor read-write)) 445 | (single-slot duracion_translado 446 | ;+ (comment "En horas") 447 | (type FLOAT) 448 | (range 0.0 %3FVARIABLE) 449 | ;+ (cardinality 0 1) 450 | (create-accessor read-write)) 451 | (single-slot hora_salida 452 | (type INTEGER) 453 | (range 0 2359) 454 | ;+ (cardinality 0 1) 455 | (create-accessor read-write)) 456 | (single-slot nombre_transporte 457 | ;+ (comment "El nombre del transporte.") 458 | (type STRING) 459 | ;+ (cardinality 1 1) 460 | (create-accessor read-write)) 461 | (single-slot id_transporte 462 | (type STRING) 463 | ;+ (cardinality 1 1) 464 | (create-accessor read-write)) 465 | (single-slot clase_transporte 466 | (type SYMBOL) 467 | (allowed-values turista bussiness primera) 468 | ;+ (cardinality 1 1) 469 | (create-accessor read-write)) 470 | (single-slot destino_transporte 471 | (type INSTANCE) 472 | ;+ (allowed-classes Destino) 473 | ;+ (cardinality 1 1) 474 | (create-accessor read-write)) 475 | (single-slot precio_transporte_persona 476 | (type FLOAT) 477 | (range 0.0 %3FVARIABLE) 478 | (default 100.0) 479 | ;+ (cardinality 1 1) 480 | (create-accessor read-write))) 481 | 482 | (defclass TransporteVIP 483 | (is-a Transporte) 484 | (role concrete) 485 | (single-slot clase_transporte 486 | (type SYMBOL) 487 | (allowed-values bussiness primera) 488 | ;+ (cardinality 1 1) 489 | (create-accessor read-write))) 490 | 491 | (defclass TransporteTurista 492 | (is-a Transporte) 493 | (role concrete)) 494 | 495 | (defclass Region 496 | (is-a USER) 497 | (role concrete) 498 | (single-slot pais 499 | ;+ (comment "País al que pertenece la región.") 500 | (type INSTANCE) 501 | ;+ (allowed-classes Pais) 502 | ;+ (cardinality 1 1) 503 | (create-accessor read-write)) 504 | (multislot idioma_region 505 | ;+ (comment "El idioma oficial hablado en la región (por ejemplo, en Cataluña catalán y español)") 506 | (type STRING) 507 | (cardinality 1 ?VARIABLE) 508 | (create-accessor read-write)) 509 | (single-slot nombre_region 510 | ;+ (comment "El nombre de la región, comunidad autónoma o equivalente división de un estado") 511 | (type STRING) 512 | ;+ (cardinality 1 1) 513 | (create-accessor read-write))) 514 | 515 | (defclass Pais 516 | (is-a USER) 517 | (role concrete) 518 | (single-slot num_habitantes 519 | (type INTEGER) 520 | (range 0 %3FVARIABLE) 521 | ;+ (cardinality 0 1) 522 | (create-accessor read-write)) 523 | (single-slot nombre_pais 524 | ;+ (comment "El nombre del país") 525 | (type STRING) 526 | ;+ (cardinality 1 1) 527 | (create-accessor read-write))) 528 | 529 | (defclass Destino 530 | (is-a USER) 531 | (role concrete) 532 | (single-slot nombre_destino 533 | (type STRING) 534 | ;+ (cardinality 1 1) 535 | (create-accessor read-write)) 536 | (single-slot num_habitantes_destino 537 | (type INTEGER) 538 | (range 0 %3FVARIABLE) 539 | ;+ (cardinality 0 1) 540 | (create-accessor read-write)) 541 | (single-slot regi%C3%B3n_destino 542 | ;+ (comment "Región a la que pertenece") 543 | (type INSTANCE) 544 | ;+ (allowed-classes Region) 545 | ;+ (cardinality 1 1) 546 | (create-accessor read-write)) 547 | (single-slot tipo_destino 548 | (type SYMBOL) 549 | (allowed-values isla ciudad pueblo) 550 | (default ciudad) 551 | ;+ (cardinality 1 1) 552 | (create-accessor read-write)) 553 | (multislot viajes 554 | (type INSTANCE) 555 | ;+ (allowed-classes Viaje) 556 | (create-accessor read-write))) 557 | 558 | (defclass Empresa 559 | (is-a USER) 560 | (role abstract) 561 | (single-slot numero_empleados 562 | (type INTEGER) 563 | (range 0 %3FVARIABLE) 564 | ;+ (cardinality 0 1) 565 | (create-accessor read-write)) 566 | (single-slot nombre_empresa 567 | (type STRING) 568 | ;+ (cardinality 1 1) 569 | (create-accessor read-write))) 570 | 571 | (defclass Cadena "Cadena o empresa dueña de un alojamiento" 572 | (is-a Empresa) 573 | (role concrete) 574 | (multislot tiene 575 | ;+ (comment "Alojamientos de la cadena o empresa.") 576 | (type INSTANCE) 577 | ;+ (allowed-classes Alojamiento) 578 | (create-accessor read-write))) 579 | 580 | (defclass Mayorista "Representa a una compañía mayorista." 581 | (is-a Empresa) 582 | (role concrete) 583 | (multislot viajes_ofertados 584 | ;+ (comment "Viajes ofertados por ese mayorista") 585 | (type INSTANCE) 586 | ;+ (allowed-classes Viaje) 587 | (create-accessor read-write))) -------------------------------------------------------------------------------- /Ontology - Protégé/pr9.pprj: -------------------------------------------------------------------------------- 1 | ; Tue Mar 24 17:08:17 CET 2015 2 | ; 3 | ;+ (version "3.5") 4 | ;+ (build "Build 663") 5 | 6 | ([ANNOTATED_INSTANCE_WIDGET] of Widget 7 | 8 | (name ":ANNOTATED-INSTANCE")) 9 | 10 | ([ANNOTATION_TEXT_WIDGET] of Widget 11 | 12 | (height 100) 13 | (is_hidden FALSE) 14 | (name ":ANNOTATION-TEXT") 15 | (widget_class_name "edu.stanford.smi.protege.widget.YellowStickyWidget") 16 | (width 200) 17 | (x 0) 18 | (y 0)) 19 | 20 | ([BROWSER_SLOT_NAMES] of Property_List 21 | 22 | (properties 23 | [pr9_ProjectKB_Class20380] 24 | [pr9_ProjectKB_Class20381] 25 | [pr9_ProjectKB_Class20382] 26 | [pr9_ProjectKB_Class20383] 27 | [pr9_ProjectKB_Class20384] 28 | [pr9_ProjectKB_Class20385] 29 | [pr9_ProjectKB_Class20386] 30 | [pr9_ProjectKB_Class20387] 31 | [pr9_ProjectKB_Class20388] 32 | [pr9_ProjectKB_Class20389] 33 | [pr9_ProjectKB_Class20390] 34 | [pr9_ProjectKB_Class20391] 35 | [pr9_ProjectKB_Class20392] 36 | [pr9_ProjectKB_Class20393])) 37 | 38 | ([CLSES_TAB] of Widget 39 | 40 | (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab")) 41 | 42 | ([CREATION_TIMESTAMP_WIDGET] of Widget 43 | 44 | (name ":CREATION-TIMESTAMP")) 45 | 46 | ([CREATOR_WIDGET] of Widget 47 | 48 | (name ":CREATOR")) 49 | 50 | ([ejemplo_ProjectKB_Class107] of String 51 | 52 | (name "SearchTab_Query") 53 | (string_value "Query Name: Pregunta1-1ciudadAndalucia\nMatch All:true\nLength: 2\nDestino tipo_destino is Other:ciudad 1 \nDestino región_destino contains Instance:pr9_Class10008|Andalucía 1 \n\nQuery Name: Pregunta1\nMatch All:true\nLength: 2\nViaje destino_viaje contains Query:Pregunta1-1ciudadAndalucia|Pregunta1-1ciudadAndalucia 1 \nViaje precio_viaje is less than Other:200 1 \n\nQuery Name: Pregunta2-1Hotel4estrellas\nMatch All:true\nLength: 1\nHotel estrellas is Other:4 1 \n\nQuery Name: Pregunta2\nMatch All:true\nLength: 2\nViaje alojamiento_viaje contains Query:Pregunta2-1Hotel4estrellas|Pregunta2-1Hotel4estrellas 1 \nViaje medio_transporte_viaje does not contain Instance:pr9_Class13|Avión-Turista-Mad-Ang1378H 1 \n\nQuery Name: Pregunta5-1ViajeAsequibleMayoristaTravelPlan\nMatch All:true\nLength: 1\nViajeAsequible mayorista_viaje contains Instance:pr9_Class10021|Travelplan 1 \n\nQuery Name: Pregunta5\nMatch All:true\nLength: 1\nDestino viajes contains Query:Pregunta5-1ViajeAsequibleMayoristaTravelPlan|Pregunta5-1ViajeAsequibleMayoristaTravelPlan 1 \n\nQuery Name: Pregunta6-1Islas\nMatch All:true\nLength: 1\nDestino tipo_destino is Other:isla 1 \n\nQuery Name: Pregunta6-2viajes\nMatch All:true\nLength: 2\nViaje destino_viaje contains Query:Pregunta6-1Islas|Pregunta6-1Islas 1 \nViaje tipo_viaje is not Other:crucero 1 \n\nQuery Name: Pregunta6\nMatch All:true\nLength: 1\nMayorista viajes_ofertados contains Query:Pregunta6-2viajes|Pregunta6-2viajes 1 \n\nQuery Name: Pregunta7-1viajesPolitours\nMatch All:true\nLength: 1\nViaje mayorista_viaje contains Instance:pr9_Class10027|Politours 1 \n\nQuery Name: Pregunta7\nMatch All:true\nLength: 2\nHotel propiedad_de contains Instance:pr9_Class10002|Meliá 1 \nHotel viaje_en_que_se_oferta contains Query:Pregunta7-1viajesPolitours|Pregunta7-1viajesPolitours 1 \n\nQuery Name: Pregunta8-1viajesPanavisión\nMatch All:true\nLength: 1\nViaje mayorista_viaje contains Instance:pr9_Class62|Panavisión 1 \n\nQuery Name: Pregunta8-2destinosPanavisión\nMatch All:true\nLength: 1\nDestino viajes contains Query:Pregunta8-1viajesPanavisión|Pregunta8-1viajesPanavisión 1 \n\nQuery Name: Pregunta8-3hotelesEnDestinosPanavisión\nMatch All:true\nLength: 1\nHotel localizacion_alojamiento contains Query:Pregunta8-2destinosPanavisión|Pregunta8-2destinosPanavisión 1 \n\nQuery Name: Pregunta8\nMatch All:true\nLength: 1\nCadena tiene contains Query:Pregunta8-3hotelesEnDestinosPanavisión|Pregunta8-3hotelesEnDestinosPanavisión 1 \n\nQuery Name: Pregunta3-1RegiónInternacional\nMatch All:true\nLength: 1\nRegion pais does not contain Instance:pr9_Class65|España 1 \n\nQuery Name: Pregunta3-2DestinoInternacional\nMatch All:true\nLength: 1\nDestino región_destino contains Query:Pregunta3-1RegiónInternacional|Pregunta3-1RegiónInternacional 1 \n\nQuery Name: Pegunta3\nMatch All:false\nLength: 2\nViajeCaro duracion_viaje is less than Other:7 1 \nViajeCaro destino_viaje contains Query:Pregunta3-2DestinoInternacional|Pregunta3-2DestinoInternacional 1 \n\nQuery Name: Pregunta4-1HotelLujo\nMatch All:true\nLength: 1\nHotelLujo precio_alojamiento_dia_persona is greater than Other:0 1 \n\nQuery Name: Pregunta4-2TransporteVIPAvión\nMatch All:true\nLength: 1\nTransporteVIP nombre_transporte contains Other:Avión 1 \n\nQuery Name: Pregunta4\nMatch All:true\nLength: 2\nViaje alojamiento_viaje contains Query:Pregunta4-1HotelLujo|Pregunta4-1HotelLujo 1 \nViaje medio_transporte_viaje contains Query:Pregunta4-2TransporteVIPAvión|Pregunta4-2TransporteVIPAvión 1 \n\n")) 54 | 55 | ([FORMS_TAB] of Widget 56 | 57 | (widget_class_name "edu.stanford.smi.protege.widget.FormsTab")) 58 | 59 | ([INSTANCE_ANNOTATION_FORM_WIDGET] of Widget 60 | 61 | (height 476) 62 | (is_hidden FALSE) 63 | (name ":INSTANCE-ANNOTATION") 64 | (property_list [INSTANCE_ANNOTATION_PROPERTY_LIST]) 65 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") 66 | (width 603) 67 | (x 0) 68 | (y 0)) 69 | 70 | ([INSTANCE_ANNOTATION_PROPERTY_LIST] of Property_List 71 | 72 | (properties 73 | [ANNOTATED_INSTANCE_WIDGET] 74 | [CREATOR_WIDGET] 75 | [CREATION_TIMESTAMP_WIDGET] 76 | [ANNOTATION_TEXT_WIDGET])) 77 | 78 | ([INSTANCES_TAB] of Widget 79 | 80 | (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab")) 81 | 82 | ([KB_370821_Class0] of String 83 | 84 | (name "factory_class_name") 85 | (string_value "edu.stanford.smi.protege.storage.clips.ClipsKnowledgeBaseFactory")) 86 | 87 | ([KB_370821_Class1] of Map 88 | ) 89 | 90 | ([KB_370821_Class100] of Property_List 91 | ) 92 | 93 | ([KB_370821_Class101] of Property_List 94 | ) 95 | 96 | ([KB_370821_Class102] of Property_List 97 | ) 98 | 99 | ([KB_370821_Class103] of Property_List 100 | ) 101 | 102 | ([KB_370821_Class104] of Property_List 103 | 104 | (properties [ejemplo_ProjectKB_Class107])) 105 | 106 | ([KB_370821_Class105] of String 107 | 108 | (name "classes_file_name") 109 | (string_value "pr9.pont")) 110 | 111 | ([KB_370821_Class106] of String 112 | 113 | (name "instances_file_name") 114 | (string_value "pr9.pins")) 115 | 116 | ([KB_370821_Class83] of Property_List 117 | 118 | (properties 119 | [KB_370821_Class84] 120 | [KB_370821_Class85])) 121 | 122 | ([KB_370821_Class84] of Boolean 123 | 124 | (boolean_value FALSE) 125 | (name "ButtonDisplayed-View References to Value")) 126 | 127 | ([KB_370821_Class85] of Boolean 128 | 129 | (boolean_value FALSE) 130 | (name "ButtonDisplayed-Delete Instance")) 131 | 132 | ([KB_370821_Class86] of Property_List 133 | ) 134 | 135 | ([KB_370821_Class87] of Property_List 136 | ) 137 | 138 | ([KB_370821_Class88] of Property_List 139 | 140 | (properties 141 | [KB_370821_Class89] 142 | [KB_370821_Class90])) 143 | 144 | ([KB_370821_Class89] of Boolean 145 | 146 | (boolean_value FALSE) 147 | (name "ButtonDisplayed-Move up")) 148 | 149 | ([KB_370821_Class90] of Boolean 150 | 151 | (boolean_value FALSE) 152 | (name "ButtonDisplayed-Move down")) 153 | 154 | ([KB_370821_Class91] of Property_List 155 | ) 156 | 157 | ([KB_370821_Class92] of Property_List 158 | 159 | (name "layout properties")) 160 | 161 | ([KB_370821_Class93] of Property_List 162 | ) 163 | 164 | ([KB_370821_Class94] of Property_List 165 | ) 166 | 167 | ([KB_370821_Class95] of Property_List 168 | ) 169 | 170 | ([KB_370821_Class96] of Property_List 171 | ) 172 | 173 | ([KB_370821_Class97] of Property_List 174 | ) 175 | 176 | ([KB_370821_Class98] of Property_List 177 | ) 178 | 179 | ([KB_370821_Class99] of Property_List 180 | ) 181 | 182 | ([KB_961039_Class0] of Map 183 | ) 184 | 185 | ([LAYOUT_PROPERTIES] of Property_List 186 | 187 | (name "layout properties") 188 | (properties [VERTICAL_STRETCHER])) 189 | 190 | ([option_instance] of Options 191 | 192 | (confirm_on_remove FALSE) 193 | (display_abstract_class_icon TRUE) 194 | (display_hidden_classes TRUE) 195 | (display_multi_parent_class_icon TRUE) 196 | (is_readonly FALSE) 197 | (undo_enabled TRUE) 198 | (update_modification_slots FALSE)) 199 | 200 | ([PAL_DESCRIPTION_WIDGET] of Widget 201 | 202 | (height 180) 203 | (is_hidden FALSE) 204 | (label "Description") 205 | (name ":PAL-DESCRIPTION") 206 | (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") 207 | (width 250) 208 | (x 275) 209 | (y 0)) 210 | 211 | ([PAL_FORM_WIDGET] of Widget 212 | 213 | (height 476) 214 | (is_hidden FALSE) 215 | (name ":PAL-CONSTRAINT") 216 | (property_list [PAL_PROPERTY_LIST]) 217 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") 218 | (width 603) 219 | (x 0) 220 | (y 0)) 221 | 222 | ([PAL_NAME_WIDGET] of Widget 223 | 224 | (height 60) 225 | (is_hidden FALSE) 226 | (label "Name") 227 | (name ":PAL-NAME") 228 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 229 | (width 275) 230 | (x 0) 231 | (y 0)) 232 | 233 | ([PAL_PROPERTY_LIST] of Property_List 234 | 235 | (properties 236 | [PAL_NAME_WIDGET] 237 | [PAL_RANGE_WIDGET] 238 | [PAL_DESCRIPTION_WIDGET] 239 | [PAL_STATEMENT_WIDGET])) 240 | 241 | ([PAL_RANGE_WIDGET] of Widget 242 | 243 | (height 180) 244 | (is_hidden FALSE) 245 | (label "Range") 246 | (name ":PAL-RANGE") 247 | (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalRangeWidget") 248 | (width 250) 249 | (x 275) 250 | (y 180)) 251 | 252 | ([PAL_STATEMENT_WIDGET] of Widget 253 | 254 | (height 300) 255 | (is_hidden FALSE) 256 | (label "Statement") 257 | (name ":PAL-STATEMENT") 258 | (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalConstraintWidget") 259 | (width 275) 260 | (x 0) 261 | (y 60)) 262 | 263 | ([pr9_ProjectKB_Class1] of Widget 264 | 265 | (is_hidden TRUE) 266 | (property_list [pr9_ProjectKB_Class2]) 267 | (widget_class_name "se.liu.ida.JessTab.JessTab")) 268 | 269 | ([pr9_ProjectKB_Class10] of Property_List 270 | ) 271 | 272 | ([pr9_ProjectKB_Class10113] of Boolean 273 | 274 | (boolean_value FALSE) 275 | (name "ButtonDisplayed-View References to Value")) 276 | 277 | ([pr9_ProjectKB_Class10114] of Boolean 278 | 279 | (boolean_value FALSE) 280 | (name "ButtonDisplayed-Delete Instance")) 281 | 282 | ([pr9_ProjectKB_Class10115] of Widget 283 | 284 | (height 60) 285 | (is_hidden FALSE) 286 | (name "nombre_transporte") 287 | (property_list [pr9_ProjectKB_Class10116]) 288 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 289 | (width 200) 290 | (x 0) 291 | (y 0)) 292 | 293 | ([pr9_ProjectKB_Class10116] of Property_List 294 | ) 295 | 296 | ([pr9_ProjectKB_Class10117] of Widget 297 | 298 | (height 60) 299 | (is_hidden FALSE) 300 | (name "destino_transporte") 301 | (property_list [pr9_ProjectKB_Class10118]) 302 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 303 | (width 200) 304 | (x 210) 305 | (y 70)) 306 | 307 | ([pr9_ProjectKB_Class10118] of Property_List 308 | 309 | (properties 310 | [pr9_ProjectKB_Class10119] 311 | [pr9_ProjectKB_Class10120])) 312 | 313 | ([pr9_ProjectKB_Class10119] of Boolean 314 | 315 | (boolean_value FALSE) 316 | (name "ButtonDisplayed-View References to Value")) 317 | 318 | ([pr9_ProjectKB_Class10120] of Boolean 319 | 320 | (boolean_value FALSE) 321 | (name "ButtonDisplayed-Delete Instance")) 322 | 323 | ([pr9_ProjectKB_Class10121] of Widget 324 | 325 | (height 60) 326 | (is_hidden FALSE) 327 | (name "hora_salida") 328 | (property_list [pr9_ProjectKB_Class10122]) 329 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 330 | (width 100) 331 | (x 420) 332 | (y 70)) 333 | 334 | ([pr9_ProjectKB_Class10122] of Property_List 335 | ) 336 | 337 | ([pr9_ProjectKB_Class10123] of Widget 338 | 339 | (height 60) 340 | (is_hidden FALSE) 341 | (name "duracion_translado") 342 | (property_list [pr9_ProjectKB_Class10124]) 343 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 344 | (width 100) 345 | (x 530) 346 | (y 70)) 347 | 348 | ([pr9_ProjectKB_Class10124] of Property_List 349 | ) 350 | 351 | ([pr9_ProjectKB_Class10125] of Widget 352 | 353 | (height 60) 354 | (is_hidden FALSE) 355 | (name "id_transporte") 356 | (property_list [pr9_ProjectKB_Class10126]) 357 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 358 | (width 200) 359 | (x 210) 360 | (y 0)) 361 | 362 | ([pr9_ProjectKB_Class10126] of Property_List 363 | ) 364 | 365 | ([pr9_ProjectKB_Class10127] of Widget 366 | 367 | (height 60) 368 | (is_hidden FALSE) 369 | (name "clase_transporte") 370 | (property_list [pr9_ProjectKB_Class10128]) 371 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 372 | (width 100) 373 | (x 10) 374 | (y 140)) 375 | 376 | ([pr9_ProjectKB_Class10128] of Property_List 377 | ) 378 | 379 | ([pr9_ProjectKB_Class10129] of Widget 380 | 381 | (is_hidden FALSE) 382 | (name "Bus") 383 | (property_list [pr9_ProjectKB_Class10132]) 384 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 385 | 386 | ([pr9_ProjectKB_Class10132] of Property_List 387 | 388 | (properties 389 | [pr9_ProjectKB_Class10133] 390 | [pr9_ProjectKB_Class10134] 391 | [pr9_ProjectKB_Class10136] 392 | [pr9_ProjectKB_Class10140] 393 | [pr9_ProjectKB_Class10142] 394 | [pr9_ProjectKB_Class10146] 395 | [pr9_ProjectKB_Class10148] 396 | [pr9_ProjectKB_Class10150] 397 | [pr9_ProjectKB_Class10152])) 398 | 399 | ([pr9_ProjectKB_Class10133] of Property_List 400 | 401 | (name "layout properties")) 402 | 403 | ([pr9_ProjectKB_Class10134] of Widget 404 | 405 | (height 60) 406 | (is_hidden FALSE) 407 | (name "precio_transporte_persona") 408 | (property_list [pr9_ProjectKB_Class10135]) 409 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 410 | (width 100) 411 | (x 130) 412 | (y 140)) 413 | 414 | ([pr9_ProjectKB_Class10135] of Property_List 415 | ) 416 | 417 | ([pr9_ProjectKB_Class10136] of Widget 418 | 419 | (height 60) 420 | (is_hidden FALSE) 421 | (name "origen_transporte") 422 | (property_list [pr9_ProjectKB_Class10137]) 423 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 424 | (width 200) 425 | (x 0) 426 | (y 70)) 427 | 428 | ([pr9_ProjectKB_Class10137] of Property_List 429 | 430 | (properties 431 | [pr9_ProjectKB_Class10138] 432 | [pr9_ProjectKB_Class10139])) 433 | 434 | ([pr9_ProjectKB_Class10138] of Boolean 435 | 436 | (boolean_value FALSE) 437 | (name "ButtonDisplayed-View References to Value")) 438 | 439 | ([pr9_ProjectKB_Class10139] of Boolean 440 | 441 | (boolean_value FALSE) 442 | (name "ButtonDisplayed-Delete Instance")) 443 | 444 | ([pr9_ProjectKB_Class10140] of Widget 445 | 446 | (height 60) 447 | (is_hidden FALSE) 448 | (name "nombre_transporte") 449 | (property_list [pr9_ProjectKB_Class10141]) 450 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 451 | (width 200) 452 | (x 0) 453 | (y 0)) 454 | 455 | ([pr9_ProjectKB_Class10141] of Property_List 456 | ) 457 | 458 | ([pr9_ProjectKB_Class10142] of Widget 459 | 460 | (height 60) 461 | (is_hidden FALSE) 462 | (name "destino_transporte") 463 | (property_list [pr9_ProjectKB_Class10143]) 464 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 465 | (width 200) 466 | (x 210) 467 | (y 70)) 468 | 469 | ([pr9_ProjectKB_Class10143] of Property_List 470 | 471 | (properties 472 | [pr9_ProjectKB_Class10144] 473 | [pr9_ProjectKB_Class10145])) 474 | 475 | ([pr9_ProjectKB_Class10144] of Boolean 476 | 477 | (boolean_value FALSE) 478 | (name "ButtonDisplayed-View References to Value")) 479 | 480 | ([pr9_ProjectKB_Class10145] of Boolean 481 | 482 | (boolean_value FALSE) 483 | (name "ButtonDisplayed-Delete Instance")) 484 | 485 | ([pr9_ProjectKB_Class10146] of Widget 486 | 487 | (height 60) 488 | (is_hidden FALSE) 489 | (name "hora_salida") 490 | (property_list [pr9_ProjectKB_Class10147]) 491 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 492 | (width 100) 493 | (x 420) 494 | (y 70)) 495 | 496 | ([pr9_ProjectKB_Class10147] of Property_List 497 | ) 498 | 499 | ([pr9_ProjectKB_Class10148] of Widget 500 | 501 | (height 60) 502 | (is_hidden FALSE) 503 | (name "duracion_translado") 504 | (property_list [pr9_ProjectKB_Class10149]) 505 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 506 | (width 100) 507 | (x 530) 508 | (y 70)) 509 | 510 | ([pr9_ProjectKB_Class10149] of Property_List 511 | ) 512 | 513 | ([pr9_ProjectKB_Class10150] of Widget 514 | 515 | (height 60) 516 | (is_hidden FALSE) 517 | (name "id_transporte") 518 | (property_list [pr9_ProjectKB_Class10151]) 519 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 520 | (width 200) 521 | (x 210) 522 | (y 0)) 523 | 524 | ([pr9_ProjectKB_Class10151] of Property_List 525 | ) 526 | 527 | ([pr9_ProjectKB_Class10152] of Widget 528 | 529 | (height 60) 530 | (is_hidden FALSE) 531 | (name "clase_transporte") 532 | (property_list [pr9_ProjectKB_Class10153]) 533 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 534 | (width 100) 535 | (x 10) 536 | (y 140)) 537 | 538 | ([pr9_ProjectKB_Class10153] of Property_List 539 | ) 540 | 541 | ([pr9_ProjectKB_Class10154] of Widget 542 | 543 | (is_hidden FALSE) 544 | (name "Tren") 545 | (property_list [pr9_ProjectKB_Class10157]) 546 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 547 | 548 | ([pr9_ProjectKB_Class10157] of Property_List 549 | 550 | (properties 551 | [pr9_ProjectKB_Class10158] 552 | [pr9_ProjectKB_Class10159] 553 | [pr9_ProjectKB_Class10161] 554 | [pr9_ProjectKB_Class10165] 555 | [pr9_ProjectKB_Class10167] 556 | [pr9_ProjectKB_Class10171] 557 | [pr9_ProjectKB_Class10173] 558 | [pr9_ProjectKB_Class10175] 559 | [pr9_ProjectKB_Class10177])) 560 | 561 | ([pr9_ProjectKB_Class10158] of Property_List 562 | 563 | (name "layout properties")) 564 | 565 | ([pr9_ProjectKB_Class10159] of Widget 566 | 567 | (height 60) 568 | (is_hidden FALSE) 569 | (name "precio_transporte_persona") 570 | (property_list [pr9_ProjectKB_Class10160]) 571 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 572 | (width 100) 573 | (x 130) 574 | (y 140)) 575 | 576 | ([pr9_ProjectKB_Class10160] of Property_List 577 | ) 578 | 579 | ([pr9_ProjectKB_Class10161] of Widget 580 | 581 | (height 60) 582 | (is_hidden FALSE) 583 | (name "origen_transporte") 584 | (property_list [pr9_ProjectKB_Class10162]) 585 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 586 | (width 200) 587 | (x 0) 588 | (y 70)) 589 | 590 | ([pr9_ProjectKB_Class10162] of Property_List 591 | 592 | (properties 593 | [pr9_ProjectKB_Class10163] 594 | [pr9_ProjectKB_Class10164])) 595 | 596 | ([pr9_ProjectKB_Class10163] of Boolean 597 | 598 | (boolean_value FALSE) 599 | (name "ButtonDisplayed-View References to Value")) 600 | 601 | ([pr9_ProjectKB_Class10164] of Boolean 602 | 603 | (boolean_value FALSE) 604 | (name "ButtonDisplayed-Delete Instance")) 605 | 606 | ([pr9_ProjectKB_Class10165] of Widget 607 | 608 | (height 60) 609 | (is_hidden FALSE) 610 | (name "nombre_transporte") 611 | (property_list [pr9_ProjectKB_Class10166]) 612 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 613 | (width 200) 614 | (x 0) 615 | (y 0)) 616 | 617 | ([pr9_ProjectKB_Class10166] of Property_List 618 | ) 619 | 620 | ([pr9_ProjectKB_Class10167] of Widget 621 | 622 | (height 60) 623 | (is_hidden FALSE) 624 | (name "destino_transporte") 625 | (property_list [pr9_ProjectKB_Class10168]) 626 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 627 | (width 200) 628 | (x 210) 629 | (y 70)) 630 | 631 | ([pr9_ProjectKB_Class10168] of Property_List 632 | 633 | (properties 634 | [pr9_ProjectKB_Class10169] 635 | [pr9_ProjectKB_Class10170])) 636 | 637 | ([pr9_ProjectKB_Class10169] of Boolean 638 | 639 | (boolean_value FALSE) 640 | (name "ButtonDisplayed-View References to Value")) 641 | 642 | ([pr9_ProjectKB_Class10170] of Boolean 643 | 644 | (boolean_value FALSE) 645 | (name "ButtonDisplayed-Delete Instance")) 646 | 647 | ([pr9_ProjectKB_Class10171] of Widget 648 | 649 | (height 60) 650 | (is_hidden FALSE) 651 | (name "hora_salida") 652 | (property_list [pr9_ProjectKB_Class10172]) 653 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 654 | (width 100) 655 | (x 420) 656 | (y 70)) 657 | 658 | ([pr9_ProjectKB_Class10172] of Property_List 659 | ) 660 | 661 | ([pr9_ProjectKB_Class10173] of Widget 662 | 663 | (height 60) 664 | (is_hidden FALSE) 665 | (name "duracion_translado") 666 | (property_list [pr9_ProjectKB_Class10174]) 667 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 668 | (width 100) 669 | (x 530) 670 | (y 70)) 671 | 672 | ([pr9_ProjectKB_Class10174] of Property_List 673 | ) 674 | 675 | ([pr9_ProjectKB_Class10175] of Widget 676 | 677 | (height 60) 678 | (is_hidden FALSE) 679 | (name "id_transporte") 680 | (property_list [pr9_ProjectKB_Class10176]) 681 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 682 | (width 200) 683 | (x 210) 684 | (y 0)) 685 | 686 | ([pr9_ProjectKB_Class10176] of Property_List 687 | ) 688 | 689 | ([pr9_ProjectKB_Class10177] of Widget 690 | 691 | (height 60) 692 | (is_hidden FALSE) 693 | (name "clase_transporte") 694 | (property_list [pr9_ProjectKB_Class10178]) 695 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 696 | (width 100) 697 | (x 10) 698 | (y 140)) 699 | 700 | ([pr9_ProjectKB_Class10178] of Property_List 701 | ) 702 | 703 | ([pr9_ProjectKB_Class10204] of Widget 704 | 705 | (is_hidden FALSE) 706 | (name "TransporteTurista") 707 | (property_list [pr9_ProjectKB_Class10207]) 708 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 709 | 710 | ([pr9_ProjectKB_Class10207] of Property_List 711 | 712 | (properties 713 | [pr9_ProjectKB_Class10208] 714 | [pr9_ProjectKB_Class10209] 715 | [pr9_ProjectKB_Class10211] 716 | [pr9_ProjectKB_Class10215] 717 | [pr9_ProjectKB_Class10217] 718 | [pr9_ProjectKB_Class10221] 719 | [pr9_ProjectKB_Class10223] 720 | [pr9_ProjectKB_Class10225] 721 | [pr9_ProjectKB_Class10227])) 722 | 723 | ([pr9_ProjectKB_Class10208] of Property_List 724 | 725 | (name "layout properties")) 726 | 727 | ([pr9_ProjectKB_Class10209] of Widget 728 | 729 | (height 60) 730 | (is_hidden FALSE) 731 | (name "precio_transporte_persona") 732 | (property_list [pr9_ProjectKB_Class10210]) 733 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 734 | (width 100) 735 | (x 130) 736 | (y 140)) 737 | 738 | ([pr9_ProjectKB_Class10210] of Property_List 739 | ) 740 | 741 | ([pr9_ProjectKB_Class10211] of Widget 742 | 743 | (height 60) 744 | (is_hidden FALSE) 745 | (name "origen_transporte") 746 | (property_list [pr9_ProjectKB_Class10212]) 747 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 748 | (width 200) 749 | (x 0) 750 | (y 70)) 751 | 752 | ([pr9_ProjectKB_Class10212] of Property_List 753 | 754 | (properties 755 | [pr9_ProjectKB_Class10213] 756 | [pr9_ProjectKB_Class10214])) 757 | 758 | ([pr9_ProjectKB_Class10213] of Boolean 759 | 760 | (boolean_value FALSE) 761 | (name "ButtonDisplayed-View References to Value")) 762 | 763 | ([pr9_ProjectKB_Class10214] of Boolean 764 | 765 | (boolean_value FALSE) 766 | (name "ButtonDisplayed-Delete Instance")) 767 | 768 | ([pr9_ProjectKB_Class10215] of Widget 769 | 770 | (height 60) 771 | (is_hidden FALSE) 772 | (name "nombre_transporte") 773 | (property_list [pr9_ProjectKB_Class10216]) 774 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 775 | (width 200) 776 | (x 0) 777 | (y 0)) 778 | 779 | ([pr9_ProjectKB_Class10216] of Property_List 780 | ) 781 | 782 | ([pr9_ProjectKB_Class10217] of Widget 783 | 784 | (height 60) 785 | (is_hidden FALSE) 786 | (name "destino_transporte") 787 | (property_list [pr9_ProjectKB_Class10218]) 788 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 789 | (width 200) 790 | (x 210) 791 | (y 70)) 792 | 793 | ([pr9_ProjectKB_Class10218] of Property_List 794 | 795 | (properties 796 | [pr9_ProjectKB_Class10219] 797 | [pr9_ProjectKB_Class10220])) 798 | 799 | ([pr9_ProjectKB_Class10219] of Boolean 800 | 801 | (boolean_value FALSE) 802 | (name "ButtonDisplayed-View References to Value")) 803 | 804 | ([pr9_ProjectKB_Class10220] of Boolean 805 | 806 | (boolean_value FALSE) 807 | (name "ButtonDisplayed-Delete Instance")) 808 | 809 | ([pr9_ProjectKB_Class10221] of Widget 810 | 811 | (height 60) 812 | (is_hidden FALSE) 813 | (name "hora_salida") 814 | (property_list [pr9_ProjectKB_Class10222]) 815 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 816 | (width 100) 817 | (x 420) 818 | (y 70)) 819 | 820 | ([pr9_ProjectKB_Class10222] of Property_List 821 | ) 822 | 823 | ([pr9_ProjectKB_Class10223] of Widget 824 | 825 | (height 60) 826 | (is_hidden FALSE) 827 | (name "duracion_translado") 828 | (property_list [pr9_ProjectKB_Class10224]) 829 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 830 | (width 100) 831 | (x 530) 832 | (y 70)) 833 | 834 | ([pr9_ProjectKB_Class10224] of Property_List 835 | ) 836 | 837 | ([pr9_ProjectKB_Class10225] of Widget 838 | 839 | (height 60) 840 | (is_hidden FALSE) 841 | (name "id_transporte") 842 | (property_list [pr9_ProjectKB_Class10226]) 843 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 844 | (width 200) 845 | (x 210) 846 | (y 0)) 847 | 848 | ([pr9_ProjectKB_Class10226] of Property_List 849 | ) 850 | 851 | ([pr9_ProjectKB_Class10227] of Widget 852 | 853 | (height 60) 854 | (is_hidden FALSE) 855 | (label "Class description/definition") 856 | (name "clase_transporte") 857 | (property_list [pr9_ProjectKB_Class10228]) 858 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 859 | (width 100) 860 | (x 10) 861 | (y 140)) 862 | 863 | ([pr9_ProjectKB_Class10228] of Property_List 864 | ) 865 | 866 | ([pr9_ProjectKB_Class10246] of Widget 867 | 868 | (height 60) 869 | (is_hidden FALSE) 870 | (name "precio_alojamiento_dia_persona") 871 | (property_list [pr9_ProjectKB_Class10247]) 872 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 873 | (width 100) 874 | (x 0) 875 | (y 300)) 876 | 877 | ([pr9_ProjectKB_Class10247] of Property_List 878 | ) 879 | 880 | ([pr9_ProjectKB_Class10248] of Widget 881 | 882 | (height 60) 883 | (is_hidden FALSE) 884 | (name "regimen_alojamiento") 885 | (property_list [pr9_ProjectKB_Class10249]) 886 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 887 | (width 100) 888 | (x 100) 889 | (y 300)) 890 | 891 | ([pr9_ProjectKB_Class10249] of Property_List 892 | ) 893 | 894 | ([pr9_ProjectKB_Class10336] of Widget 895 | 896 | (is_hidden FALSE) 897 | (name "Transporte") 898 | (property_list [pr9_ProjectKB_Class10337]) 899 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 900 | 901 | ([pr9_ProjectKB_Class10337] of Property_List 902 | 903 | (properties 904 | [pr9_ProjectKB_Class10338] 905 | [pr9_ProjectKB_Class10339] 906 | [pr9_ProjectKB_Class10341] 907 | [pr9_ProjectKB_Class10345] 908 | [pr9_ProjectKB_Class10351] 909 | [pr9_ProjectKB_Class10357] 910 | [pr9_ProjectKB_Class10361] 911 | [pr9_ProjectKB_Class10363] 912 | [pr9_ProjectKB_Class10365])) 913 | 914 | ([pr9_ProjectKB_Class10338] of Property_List 915 | 916 | (name "layout properties")) 917 | 918 | ([pr9_ProjectKB_Class10339] of Widget 919 | 920 | (height 60) 921 | (is_hidden FALSE) 922 | (name "precio_transporte_persona") 923 | (property_list [pr9_ProjectKB_Class10340]) 924 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 925 | (width 100) 926 | (x 130) 927 | (y 140)) 928 | 929 | ([pr9_ProjectKB_Class10340] of Property_List 930 | ) 931 | 932 | ([pr9_ProjectKB_Class10341] of Widget 933 | 934 | (height 60) 935 | (is_hidden FALSE) 936 | (name "origen_transporte") 937 | (property_list [pr9_ProjectKB_Class10342]) 938 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 939 | (width 200) 940 | (x 0) 941 | (y 70)) 942 | 943 | ([pr9_ProjectKB_Class10342] of Property_List 944 | 945 | (properties 946 | [pr9_ProjectKB_Class10343] 947 | [pr9_ProjectKB_Class10344])) 948 | 949 | ([pr9_ProjectKB_Class10343] of Boolean 950 | 951 | (boolean_value FALSE) 952 | (name "ButtonDisplayed-View References to Value")) 953 | 954 | ([pr9_ProjectKB_Class10344] of Boolean 955 | 956 | (boolean_value FALSE) 957 | (name "ButtonDisplayed-Delete Instance")) 958 | 959 | ([pr9_ProjectKB_Class10345] of Widget 960 | 961 | (height 60) 962 | (is_hidden FALSE) 963 | (name "nombre_transporte") 964 | (property_list [pr9_ProjectKB_Class10346]) 965 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 966 | (width 200) 967 | (x 0) 968 | (y 0)) 969 | 970 | ([pr9_ProjectKB_Class10346] of Property_List 971 | ) 972 | 973 | ([pr9_ProjectKB_Class10351] of Widget 974 | 975 | (height 60) 976 | (is_hidden FALSE) 977 | (name "destino_transporte") 978 | (property_list [pr9_ProjectKB_Class10352]) 979 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 980 | (width 200) 981 | (x 210) 982 | (y 70)) 983 | 984 | ([pr9_ProjectKB_Class10352] of Property_List 985 | 986 | (properties 987 | [pr9_ProjectKB_Class10353] 988 | [pr9_ProjectKB_Class10354])) 989 | 990 | ([pr9_ProjectKB_Class10353] of Boolean 991 | 992 | (boolean_value FALSE) 993 | (name "ButtonDisplayed-View References to Value")) 994 | 995 | ([pr9_ProjectKB_Class10354] of Boolean 996 | 997 | (boolean_value FALSE) 998 | (name "ButtonDisplayed-Delete Instance")) 999 | 1000 | ([pr9_ProjectKB_Class10357] of Widget 1001 | 1002 | (height 60) 1003 | (is_hidden FALSE) 1004 | (name "hora_salida") 1005 | (property_list [pr9_ProjectKB_Class10358]) 1006 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 1007 | (width 100) 1008 | (x 420) 1009 | (y 70)) 1010 | 1011 | ([pr9_ProjectKB_Class10358] of Property_List 1012 | ) 1013 | 1014 | ([pr9_ProjectKB_Class10361] of Widget 1015 | 1016 | (height 60) 1017 | (is_hidden FALSE) 1018 | (name "duracion_translado") 1019 | (property_list [pr9_ProjectKB_Class10362]) 1020 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 1021 | (width 100) 1022 | (x 530) 1023 | (y 70)) 1024 | 1025 | ([pr9_ProjectKB_Class10362] of Property_List 1026 | ) 1027 | 1028 | ([pr9_ProjectKB_Class10363] of Widget 1029 | 1030 | (height 60) 1031 | (is_hidden FALSE) 1032 | (name "id_transporte") 1033 | (property_list [pr9_ProjectKB_Class10364]) 1034 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 1035 | (width 200) 1036 | (x 210) 1037 | (y 0)) 1038 | 1039 | ([pr9_ProjectKB_Class10364] of Property_List 1040 | ) 1041 | 1042 | ([pr9_ProjectKB_Class10365] of Widget 1043 | 1044 | (height 60) 1045 | (is_hidden FALSE) 1046 | (name "clase_transporte") 1047 | (property_list [pr9_ProjectKB_Class10366]) 1048 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 1049 | (width 100) 1050 | (x 10) 1051 | (y 140)) 1052 | 1053 | ([pr9_ProjectKB_Class10366] of Property_List 1054 | ) 1055 | 1056 | ([pr9_ProjectKB_Class104] of Widget 1057 | 1058 | (is_hidden FALSE) 1059 | (name "Avión") 1060 | (property_list [pr9_ProjectKB_Class107]) 1061 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1062 | 1063 | ([pr9_ProjectKB_Class107] of Property_List 1064 | 1065 | (properties 1066 | [pr9_ProjectKB_Class108] 1067 | [pr9_ProjectKB_Class109] 1068 | [pr9_ProjectKB_Class111] 1069 | [pr9_ProjectKB_Class10115] 1070 | [pr9_ProjectKB_Class10117] 1071 | [pr9_ProjectKB_Class10121] 1072 | [pr9_ProjectKB_Class10123] 1073 | [pr9_ProjectKB_Class10125] 1074 | [pr9_ProjectKB_Class10127])) 1075 | 1076 | ([pr9_ProjectKB_Class108] of Property_List 1077 | 1078 | (name "layout properties")) 1079 | 1080 | ([pr9_ProjectKB_Class109] of Widget 1081 | 1082 | (height 60) 1083 | (is_hidden FALSE) 1084 | (name "precio_transporte_persona") 1085 | (property_list [pr9_ProjectKB_Class110]) 1086 | (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") 1087 | (width 100) 1088 | (x 130) 1089 | (y 140)) 1090 | 1091 | ([pr9_ProjectKB_Class11] of Widget 1092 | 1093 | (is_hidden TRUE) 1094 | (property_list [pr9_ProjectKB_Class12]) 1095 | (widget_class_name "ezpal.EZPalTab")) 1096 | 1097 | ([pr9_ProjectKB_Class110] of Property_List 1098 | ) 1099 | 1100 | ([pr9_ProjectKB_Class111] of Widget 1101 | 1102 | (height 60) 1103 | (is_hidden FALSE) 1104 | (name "origen_transporte") 1105 | (property_list [pr9_ProjectKB_Class112]) 1106 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 1107 | (width 200) 1108 | (x 0) 1109 | (y 70)) 1110 | 1111 | ([pr9_ProjectKB_Class112] of Property_List 1112 | 1113 | (properties 1114 | [pr9_ProjectKB_Class10113] 1115 | [pr9_ProjectKB_Class10114])) 1116 | 1117 | ([pr9_ProjectKB_Class113] of Widget 1118 | 1119 | (height 120) 1120 | (is_hidden FALSE) 1121 | (name "viaje_en_que_se_oferta") 1122 | (property_list [pr9_ProjectKB_Class114]) 1123 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") 1124 | (width 200) 1125 | (x 0) 1126 | (y 180)) 1127 | 1128 | ([pr9_ProjectKB_Class114] of Property_List 1129 | 1130 | (properties 1131 | [pr9_ProjectKB_Class115] 1132 | [pr9_ProjectKB_Class116])) 1133 | 1134 | ([pr9_ProjectKB_Class115] of Boolean 1135 | 1136 | (boolean_value FALSE) 1137 | (name "ButtonDisplayed-View References to Value")) 1138 | 1139 | ([pr9_ProjectKB_Class116] of Boolean 1140 | 1141 | (boolean_value FALSE) 1142 | (name "ButtonDisplayed-Delete Instance")) 1143 | 1144 | ([pr9_ProjectKB_Class12] of Property_List 1145 | ) 1146 | 1147 | ([pr9_ProjectKB_Class13] of Widget 1148 | 1149 | (is_hidden TRUE) 1150 | (property_list [pr9_ProjectKB_Class14]) 1151 | (widget_class_name "edu.stanford.smi.protegex.server_changes.prompt.UsersTab")) 1152 | 1153 | ([pr9_ProjectKB_Class14] of Property_List 1154 | ) 1155 | 1156 | ([pr9_ProjectKB_Class15] of Widget 1157 | 1158 | (is_hidden TRUE) 1159 | (property_list [pr9_ProjectKB_Class16]) 1160 | (widget_class_name "ca.uvic.csr.shrimp.jambalaya.JambalayaTab")) 1161 | 1162 | ([pr9_ProjectKB_Class16] of Property_List 1163 | ) 1164 | 1165 | ([pr9_ProjectKB_Class17] of Widget 1166 | 1167 | (is_hidden TRUE) 1168 | (property_list [pr9_ProjectKB_Class18]) 1169 | (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.InstanceTreeTab")) 1170 | 1171 | ([pr9_ProjectKB_Class18] of Property_List 1172 | ) 1173 | 1174 | ([pr9_ProjectKB_Class184] of Widget 1175 | 1176 | (is_hidden FALSE) 1177 | (name "Destino") 1178 | (property_list [pr9_ProjectKB_Class185]) 1179 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1180 | 1181 | ([pr9_ProjectKB_Class185] of Property_List 1182 | 1183 | (properties 1184 | [pr9_ProjectKB_Class186] 1185 | [pr9_ProjectKB_Class187] 1186 | [pr9_ProjectKB_Class189] 1187 | [pr9_ProjectKB_Class195] 1188 | [pr9_ProjectKB_Class221] 1189 | [pr9_ProjectKB_Class493])) 1190 | 1191 | ([pr9_ProjectKB_Class186] of Property_List 1192 | 1193 | (name "layout properties")) 1194 | 1195 | ([pr9_ProjectKB_Class187] of Widget 1196 | 1197 | (height 60) 1198 | (is_hidden FALSE) 1199 | (name "nombre_destino") 1200 | (property_list [pr9_ProjectKB_Class188]) 1201 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 1202 | (width 200) 1203 | (x 0) 1204 | (y 0)) 1205 | 1206 | ([pr9_ProjectKB_Class188] of Property_List 1207 | ) 1208 | 1209 | ([pr9_ProjectKB_Class189] of Widget 1210 | 1211 | (height 60) 1212 | (is_hidden FALSE) 1213 | (name "tipo_destino") 1214 | (property_list [pr9_ProjectKB_Class190]) 1215 | (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") 1216 | (width 100) 1217 | (x 0) 1218 | (y 60)) 1219 | 1220 | ([pr9_ProjectKB_Class19] of Widget 1221 | 1222 | (is_hidden TRUE) 1223 | (property_list [pr9_ProjectKB_Class20]) 1224 | (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalConstraintsTab")) 1225 | 1226 | ([pr9_ProjectKB_Class190] of Property_List 1227 | ) 1228 | 1229 | ([pr9_ProjectKB_Class195] of Widget 1230 | 1231 | (height 60) 1232 | (is_hidden FALSE) 1233 | (name "región_destino") 1234 | (property_list [pr9_ProjectKB_Class196]) 1235 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 1236 | (width 200) 1237 | (x 0) 1238 | (y 180)) 1239 | 1240 | ([pr9_ProjectKB_Class196] of Property_List 1241 | 1242 | (properties 1243 | [pr9_ProjectKB_Class197] 1244 | [pr9_ProjectKB_Class198])) 1245 | 1246 | ([pr9_ProjectKB_Class197] of Boolean 1247 | 1248 | (boolean_value FALSE) 1249 | (name "ButtonDisplayed-View References to Value")) 1250 | 1251 | ([pr9_ProjectKB_Class198] of Boolean 1252 | 1253 | (boolean_value FALSE) 1254 | (name "ButtonDisplayed-Delete Instance")) 1255 | 1256 | ([pr9_ProjectKB_Class2] of Property_List 1257 | ) 1258 | 1259 | ([pr9_ProjectKB_Class20] of Property_List 1260 | ) 1261 | 1262 | ([pr9_ProjectKB_Class20380] of String 1263 | 1264 | (name "Hotel") 1265 | (string_value "nombre_alojamiento")) 1266 | 1267 | ([pr9_ProjectKB_Class20381] of String 1268 | 1269 | (name "Pais") 1270 | (string_value "nombre_pais")) 1271 | 1272 | ([pr9_ProjectKB_Class20382] of String 1273 | 1274 | (name ":META-CLASS") 1275 | (string_value "%3ANAME")) 1276 | 1277 | ([pr9_ProjectKB_Class20383] of String 1278 | 1279 | (name ":PAL-CONSTRAINT") 1280 | (string_value "%3APAL-NAME")) 1281 | 1282 | ([pr9_ProjectKB_Class20384] of String 1283 | 1284 | (name "Destino") 1285 | (string_value "nombre_destino")) 1286 | 1287 | ([pr9_ProjectKB_Class20385] of String 1288 | 1289 | (name ":INSTANCE-ANNOTATION") 1290 | (string_value "%3AANNOTATION-TEXT")) 1291 | 1292 | ([pr9_ProjectKB_Class20386] of String 1293 | 1294 | (name "Transporte") 1295 | (string_value "nombre_transporte")) 1296 | 1297 | ([pr9_ProjectKB_Class20387] of String 1298 | 1299 | (name "Empresa") 1300 | (string_value "nombre_empresa")) 1301 | 1302 | ([pr9_ProjectKB_Class20388] of String 1303 | 1304 | (name "Albergue") 1305 | (string_value "nombre_alojamiento")) 1306 | 1307 | ([pr9_ProjectKB_Class20389] of String 1308 | 1309 | (name "Mayorista") 1310 | (string_value "nombre_empresa")) 1311 | 1312 | ([pr9_ProjectKB_Class20390] of String 1313 | 1314 | (name "Viaje") 1315 | (string_value "nombre_viaje")) 1316 | 1317 | ([pr9_ProjectKB_Class20391] of String 1318 | 1319 | (name "Region") 1320 | (string_value "nombre_region")) 1321 | 1322 | ([pr9_ProjectKB_Class20392] of String 1323 | 1324 | (name "Alojamiento") 1325 | (string_value "nombre_alojamiento")) 1326 | 1327 | ([pr9_ProjectKB_Class20393] of String 1328 | 1329 | (name "Barco") 1330 | (string_value "nombre_alojamiento")) 1331 | 1332 | ([pr9_ProjectKB_Class21] of Widget 1333 | 1334 | (is_hidden TRUE) 1335 | (property_list [pr9_ProjectKB_Class22]) 1336 | (widget_class_name "uk.ac.man.ac.mig.coode.individuals.ui.OWLDLIndividualsTab")) 1337 | 1338 | ([pr9_ProjectKB_Class22] of Property_List 1339 | ) 1340 | 1341 | ([pr9_ProjectKB_Class221] of Widget 1342 | 1343 | (height 60) 1344 | (is_hidden FALSE) 1345 | (name "num_habitantes_destino") 1346 | (property_list [pr9_ProjectKB_Class222]) 1347 | (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") 1348 | (width 100) 1349 | (x 0) 1350 | (y 300)) 1351 | 1352 | ([pr9_ProjectKB_Class222] of Property_List 1353 | ) 1354 | 1355 | ([pr9_ProjectKB_Class23] of Widget 1356 | 1357 | (is_hidden TRUE) 1358 | (property_list [pr9_ProjectKB_Class24]) 1359 | (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab")) 1360 | 1361 | ([pr9_ProjectKB_Class238] of Widget 1362 | 1363 | (is_hidden FALSE) 1364 | (name "Alojamiento") 1365 | (property_list [pr9_ProjectKB_Class239]) 1366 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1367 | 1368 | ([pr9_ProjectKB_Class239] of Property_List 1369 | 1370 | (properties 1371 | [pr9_ProjectKB_Class240] 1372 | [pr9_ProjectKB_Class241] 1373 | [pr9_ProjectKB_Class247] 1374 | [pr9_ProjectKB_Class249] 1375 | [pr9_ProjectKB_Class113] 1376 | [pr9_ProjectKB_Class10246] 1377 | [pr9_ProjectKB_Class10248])) 1378 | 1379 | ([pr9_ProjectKB_Class24] of Property_List 1380 | ) 1381 | 1382 | ([pr9_ProjectKB_Class240] of Property_List 1383 | 1384 | (name "layout properties")) 1385 | 1386 | ([pr9_ProjectKB_Class241] of Widget 1387 | 1388 | (height 60) 1389 | (is_hidden FALSE) 1390 | (name "localizacion_alojamiento") 1391 | (property_list [pr9_ProjectKB_Class242]) 1392 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 1393 | (width 200) 1394 | (x 0) 1395 | (y 120)) 1396 | 1397 | ([pr9_ProjectKB_Class242] of Property_List 1398 | 1399 | (properties 1400 | [pr9_ProjectKB_Class243] 1401 | [pr9_ProjectKB_Class244])) 1402 | 1403 | ([pr9_ProjectKB_Class243] of Boolean 1404 | 1405 | (boolean_value FALSE) 1406 | (name "ButtonDisplayed-View References to Value")) 1407 | 1408 | ([pr9_ProjectKB_Class244] of Boolean 1409 | 1410 | (boolean_value FALSE) 1411 | (name "ButtonDisplayed-Delete Instance")) 1412 | 1413 | ([pr9_ProjectKB_Class247] of Widget 1414 | 1415 | (height 60) 1416 | (is_hidden FALSE) 1417 | (name "nombre_alojamiento") 1418 | (property_list [pr9_ProjectKB_Class248]) 1419 | (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") 1420 | (width 200) 1421 | (x 0) 1422 | (y 0)) 1423 | 1424 | ([pr9_ProjectKB_Class248] of Property_List 1425 | ) 1426 | 1427 | ([pr9_ProjectKB_Class249] of Widget 1428 | 1429 | (height 60) 1430 | (is_hidden FALSE) 1431 | (name "propiedad_de") 1432 | (property_list [pr9_ProjectKB_Class250]) 1433 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 1434 | (width 200) 1435 | (x 200) 1436 | (y 0)) 1437 | 1438 | ([pr9_ProjectKB_Class25] of Widget 1439 | 1440 | (is_hidden TRUE) 1441 | (property_list [pr9_ProjectKB_Class26]) 1442 | (widget_class_name "edu.stanford.smi.protegex.evaluation.MetaAnalysis")) 1443 | 1444 | ([pr9_ProjectKB_Class250] of Property_List 1445 | 1446 | (properties 1447 | [pr9_ProjectKB_Class251] 1448 | [pr9_ProjectKB_Class252])) 1449 | 1450 | ([pr9_ProjectKB_Class251] of Boolean 1451 | 1452 | (boolean_value FALSE) 1453 | (name "ButtonDisplayed-View References to Value")) 1454 | 1455 | ([pr9_ProjectKB_Class252] of Boolean 1456 | 1457 | (boolean_value FALSE) 1458 | (name "ButtonDisplayed-Delete Instance")) 1459 | 1460 | ([pr9_ProjectKB_Class26] of Property_List 1461 | ) 1462 | 1463 | ([pr9_ProjectKB_Class27] of Widget 1464 | 1465 | (is_hidden TRUE) 1466 | (property_list [pr9_ProjectKB_Class28]) 1467 | (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab")) 1468 | 1469 | ([pr9_ProjectKB_Class28] of Property_List 1470 | ) 1471 | 1472 | ([pr9_ProjectKB_Class29] of Widget 1473 | 1474 | (is_hidden TRUE) 1475 | (property_list [pr9_ProjectKB_Class30]) 1476 | (widget_class_name "edu.stanford.smi.protege.query.LuceneQueryPlugin")) 1477 | 1478 | ([pr9_ProjectKB_Class3] of Widget 1479 | 1480 | (is_hidden TRUE) 1481 | (property_list [pr9_ProjectKB_Class4]) 1482 | (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OWLMetadataTab")) 1483 | 1484 | ([pr9_ProjectKB_Class30] of Property_List 1485 | ) 1486 | 1487 | ([pr9_ProjectKB_Class31] of Widget 1488 | 1489 | (is_hidden TRUE) 1490 | (property_list [pr9_ProjectKB_Class32]) 1491 | (widget_class_name "edu.stanford.smi.protegex.owl.ui.cls.OWLClassesTab")) 1492 | 1493 | ([pr9_ProjectKB_Class32] of Property_List 1494 | ) 1495 | 1496 | ([pr9_ProjectKB_Class33] of Widget 1497 | 1498 | (is_hidden TRUE) 1499 | (property_list [pr9_ProjectKB_Class34]) 1500 | (widget_class_name "edu.stanford.smi.protegex.owl.ui.individuals.OWLIndividualsTab")) 1501 | 1502 | ([pr9_ProjectKB_Class34] of Property_List 1503 | ) 1504 | 1505 | ([pr9_ProjectKB_Class35] of Widget 1506 | 1507 | (is_hidden TRUE) 1508 | (property_list [pr9_ProjectKB_Class36]) 1509 | (widget_class_name "org.protege.owl.mm.portability.protege3.MappingMasterTab")) 1510 | 1511 | ([pr9_ProjectKB_Class36] of Property_List 1512 | ) 1513 | 1514 | ([pr9_ProjectKB_Class37] of Widget 1515 | 1516 | (is_hidden TRUE) 1517 | (property_list [pr9_ProjectKB_Class38]) 1518 | (widget_class_name "edu.stanford.smi.protegex.changeanalysis.ChangeAnalysisTab")) 1519 | 1520 | ([pr9_ProjectKB_Class38] of Property_List 1521 | ) 1522 | 1523 | ([pr9_ProjectKB_Class39] of Widget 1524 | 1525 | (is_hidden TRUE) 1526 | (property_list [pr9_ProjectKB_Class40]) 1527 | (widget_class_name "TGViztab.TGVizTab")) 1528 | 1529 | ([pr9_ProjectKB_Class4] of Property_List 1530 | ) 1531 | 1532 | ([pr9_ProjectKB_Class40] of Property_List 1533 | ) 1534 | 1535 | ([pr9_ProjectKB_Class41] of Widget 1536 | 1537 | (is_hidden TRUE) 1538 | (property_list [pr9_ProjectKB_Class42]) 1539 | (widget_class_name "edu.stanford.smi.protegex.changes.changesKBViewTab.ChangesKBViewTab")) 1540 | 1541 | ([pr9_ProjectKB_Class42] of Property_List 1542 | ) 1543 | 1544 | ([pr9_ProjectKB_Class43] of Widget 1545 | 1546 | (is_hidden TRUE) 1547 | (property_list [pr9_ProjectKB_Class44]) 1548 | (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab")) 1549 | 1550 | ([pr9_ProjectKB_Class44] of Property_List 1551 | ) 1552 | 1553 | ([pr9_ProjectKB_Class45] of Widget 1554 | 1555 | (is_hidden TRUE) 1556 | (property_list [pr9_ProjectKB_Class46]) 1557 | (widget_class_name "edu.stanford.smi.protegex.xml.tab.XMLTab")) 1558 | 1559 | ([pr9_ProjectKB_Class46] of Property_List 1560 | ) 1561 | 1562 | ([pr9_ProjectKB_Class47] of Widget 1563 | 1564 | (is_hidden TRUE) 1565 | (property_list [pr9_ProjectKB_Class48]) 1566 | (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalQueriesTab")) 1567 | 1568 | ([pr9_ProjectKB_Class48] of Property_List 1569 | ) 1570 | 1571 | ([pr9_ProjectKB_Class49] of Widget 1572 | 1573 | (is_hidden TRUE) 1574 | (property_list [pr9_ProjectKB_Class50]) 1575 | (widget_class_name "edu.stanford.smi.protegex.chatPlugin.ChatTab")) 1576 | 1577 | ([pr9_ProjectKB_Class493] of Widget 1578 | 1579 | (height 120) 1580 | (is_hidden FALSE) 1581 | (name "viajes") 1582 | (property_list [pr9_ProjectKB_Class494]) 1583 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") 1584 | (width 200) 1585 | (x 0) 1586 | (y 360)) 1587 | 1588 | ([pr9_ProjectKB_Class494] of Property_List 1589 | 1590 | (properties 1591 | [pr9_ProjectKB_Class495] 1592 | [pr9_ProjectKB_Class496])) 1593 | 1594 | ([pr9_ProjectKB_Class495] of Boolean 1595 | 1596 | (boolean_value FALSE) 1597 | (name "ButtonDisplayed-View References to Value")) 1598 | 1599 | ([pr9_ProjectKB_Class496] of Boolean 1600 | 1601 | (boolean_value FALSE) 1602 | (name "ButtonDisplayed-Delete Instance")) 1603 | 1604 | ([pr9_ProjectKB_Class5] of Widget 1605 | 1606 | (is_hidden TRUE) 1607 | (property_list [pr9_ProjectKB_Class6]) 1608 | (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLPropertiesTab")) 1609 | 1610 | ([pr9_ProjectKB_Class50] of Property_List 1611 | ) 1612 | 1613 | ([pr9_ProjectKB_Class51] of Widget 1614 | 1615 | (is_hidden TRUE) 1616 | (property_list [pr9_ProjectKB_Class52]) 1617 | (widget_class_name "org.protege.owl.axiome.ui.AxiomeTab")) 1618 | 1619 | ([pr9_ProjectKB_Class52] of Property_List 1620 | ) 1621 | 1622 | ([pr9_ProjectKB_Class53] of Widget 1623 | 1624 | (is_hidden TRUE) 1625 | (property_list [pr9_ProjectKB_Class54]) 1626 | (widget_class_name "edu.stanford.smi.protege.keywordsearch.StringSearch")) 1627 | 1628 | ([pr9_ProjectKB_Class54] of Property_List 1629 | ) 1630 | 1631 | ([pr9_ProjectKB_Class55] of Widget 1632 | 1633 | (is_hidden TRUE) 1634 | (property_list [pr9_ProjectKB_Class56]) 1635 | (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormsTab")) 1636 | 1637 | ([pr9_ProjectKB_Class56] of Property_List 1638 | ) 1639 | 1640 | ([pr9_ProjectKB_Class57] of Widget 1641 | 1642 | (is_hidden TRUE) 1643 | (property_list [pr9_ProjectKB_Class58]) 1644 | (widget_class_name "script.ProtegeScriptTab")) 1645 | 1646 | ([pr9_ProjectKB_Class58] of Property_List 1647 | ) 1648 | 1649 | ([pr9_ProjectKB_Class59] of Widget 1650 | 1651 | (is_hidden TRUE) 1652 | (property_list [pr9_ProjectKB_Class60]) 1653 | (widget_class_name "edu.stanford.smi.protegex.changes.ChangesTab")) 1654 | 1655 | ([pr9_ProjectKB_Class6] of Property_List 1656 | ) 1657 | 1658 | ([pr9_ProjectKB_Class60] of Property_List 1659 | ) 1660 | 1661 | ([pr9_ProjectKB_Class61] of Widget 1662 | 1663 | (is_hidden TRUE) 1664 | (property_list [pr9_ProjectKB_Class62]) 1665 | (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) 1666 | 1667 | ([pr9_ProjectKB_Class62] of Property_List 1668 | ) 1669 | 1670 | ([pr9_ProjectKB_Class63] of Widget 1671 | 1672 | (is_hidden TRUE) 1673 | (property_list [pr9_ProjectKB_Class64]) 1674 | (widget_class_name "edu.stanford.smi.protegex.fctab.FacetConstraintsTab")) 1675 | 1676 | ([pr9_ProjectKB_Class64] of Property_List 1677 | ) 1678 | 1679 | ([pr9_ProjectKB_Class65] of Widget 1680 | 1681 | (is_hidden TRUE) 1682 | (property_list [pr9_ProjectKB_Class66]) 1683 | (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.KnowledgeTreeTab")) 1684 | 1685 | ([pr9_ProjectKB_Class66] of Property_List 1686 | ) 1687 | 1688 | ([pr9_ProjectKB_Class67] of Widget 1689 | 1690 | (is_hidden TRUE) 1691 | (property_list [pr9_ProjectKB_Class68]) 1692 | (widget_class_name "edu.stanford.smi.protegex.datamaster.DataMasterTab")) 1693 | 1694 | ([pr9_ProjectKB_Class68] of Property_List 1695 | ) 1696 | 1697 | ([pr9_ProjectKB_Class69] of Widget 1698 | 1699 | (is_hidden TRUE) 1700 | (property_list [pr9_ProjectKB_Class70]) 1701 | (widget_class_name "dfki.protege.ontoviz_tab.OntovizTab")) 1702 | 1703 | ([pr9_ProjectKB_Class7] of Widget 1704 | 1705 | (is_hidden TRUE) 1706 | (property_list [pr9_ProjectKB_Class8]) 1707 | (widget_class_name "edu.stanford.smi.protege.widget.ProtegePropertiesTab")) 1708 | 1709 | ([pr9_ProjectKB_Class70] of Property_List 1710 | ) 1711 | 1712 | ([pr9_ProjectKB_Class71] of Widget 1713 | 1714 | (is_hidden TRUE) 1715 | (property_list [pr9_ProjectKB_Class72]) 1716 | (widget_class_name "edu.stanford.smi.protegex.changes.stats.ChangeStatisticsTab")) 1717 | 1718 | ([pr9_ProjectKB_Class72] of Property_List 1719 | ) 1720 | 1721 | ([pr9_ProjectKB_Class73] of Widget 1722 | 1723 | (is_hidden TRUE) 1724 | (property_list [pr9_ProjectKB_Class74]) 1725 | (widget_class_name "edu.stanford.smi.protegex.prompt.PromptTab")) 1726 | 1727 | ([pr9_ProjectKB_Class74] of Property_List 1728 | ) 1729 | 1730 | ([pr9_ProjectKB_Class8] of Property_List 1731 | ) 1732 | 1733 | ([pr9_ProjectKB_Class9] of Widget 1734 | 1735 | (is_hidden TRUE) 1736 | (property_list [pr9_ProjectKB_Class10]) 1737 | (widget_class_name "uk.ac.man.cs.mig.coode.debugger.test.DebuggerTestTab")) 1738 | 1739 | ([PROJECT] of Project 1740 | 1741 | (browser_slot_names [BROWSER_SLOT_NAMES]) 1742 | (customized_instance_widgets 1743 | [STANDARD_FACET_FORM_WIDGET] 1744 | [PAL_FORM_WIDGET] 1745 | [pr9_ProjectKB_Class184] 1746 | [STANDARD_CLASS_FORM_WIDGET] 1747 | [INSTANCE_ANNOTATION_FORM_WIDGET] 1748 | [pr9_ProjectKB_Class10336] 1749 | [STANDARD_SLOT_FORM_WIDGET] 1750 | [pr9_ProjectKB_Class238]) 1751 | (default_cls_metaclass ":STANDARD-CLASS") 1752 | (default_facet_metaclass ":STANDARD-FACET") 1753 | (default_instance_widget_class_name "edu.stanford.smi.protege.widget.FormWidget") 1754 | (default_slot_metaclass ":STANDARD-SLOT") 1755 | (next_frame_number 0) 1756 | (options [option_instance]) 1757 | (property_map [KB_370821_Class1]) 1758 | (sources [SOURCES]) 1759 | (tabs 1760 | [CLSES_TAB] 1761 | [SLOTS_TAB] 1762 | [FORMS_TAB] 1763 | [INSTANCES_TAB] 1764 | [QUERIES_TAB])) 1765 | 1766 | ([QUERIES_TAB] of Widget 1767 | 1768 | (property_list [KB_370821_Class104]) 1769 | (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) 1770 | 1771 | ([SLOTS_TAB] of Widget 1772 | 1773 | (widget_class_name "edu.stanford.smi.protege.widget.SlotsTab")) 1774 | 1775 | ([SOURCES] of Property_List 1776 | 1777 | (properties 1778 | [KB_370821_Class0] 1779 | [KB_370821_Class105] 1780 | [KB_370821_Class106])) 1781 | 1782 | ([STANDARD_CLASS_CONSTRAINTS_WIDGET] of Widget 1783 | 1784 | (height 120) 1785 | (label "Constraints") 1786 | (name ":SLOT-CONSTRAINTS") 1787 | (property_list [KB_370821_Class83]) 1788 | (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") 1789 | (width 200) 1790 | (x 400) 1791 | (y 0)) 1792 | 1793 | ([STANDARD_CLASS_DIRECT_INSTANCES_WIDGET] of Widget 1794 | 1795 | (name ":DIRECT-INSTANCES")) 1796 | 1797 | ([STANDARD_CLASS_DIRECT_SUBCLASSES_WIDGET] of Widget 1798 | 1799 | (name ":DIRECT-SUBCLASSES")) 1800 | 1801 | ([STANDARD_CLASS_DIRECT_SUPERCLASSES_WIDGET] of Widget 1802 | 1803 | (name ":DIRECT-SUPERCLASSES")) 1804 | 1805 | ([STANDARD_CLASS_DIRECT_TYPE_WIDGET] of Widget 1806 | 1807 | (name ":DIRECT-TYPE")) 1808 | 1809 | ([STANDARD_CLASS_DOCUMENTATION_WIDGET] of Widget 1810 | 1811 | (height 120) 1812 | (label "Documentation") 1813 | (name ":DOCUMENTATION") 1814 | (property_list [KB_370821_Class86]) 1815 | (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") 1816 | (width 200) 1817 | (x 200) 1818 | (y 0)) 1819 | 1820 | ([STANDARD_CLASS_FORM_WIDGET] of Widget 1821 | 1822 | (name ":STANDARD-CLASS") 1823 | (property_list [STANDARD_CLASS_WIDGETS]) 1824 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1825 | 1826 | ([STANDARD_CLASS_NAME_WIDGET] of Widget 1827 | 1828 | (height 60) 1829 | (label "Name") 1830 | (name ":NAME") 1831 | (property_list [KB_370821_Class87]) 1832 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") 1833 | (width 200) 1834 | (x 0) 1835 | (y 0)) 1836 | 1837 | ([STANDARD_CLASS_ROLE_WIDGET] of Widget 1838 | 1839 | (height 60) 1840 | (label "Role") 1841 | (name ":ROLE") 1842 | (property_list [KB_370821_Class91]) 1843 | (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") 1844 | (width 200) 1845 | (x 0) 1846 | (y 60)) 1847 | 1848 | ([STANDARD_CLASS_TEMPLATE_SLOTS_WIDGET] of Widget 1849 | 1850 | (height 150) 1851 | (label "Template Slots") 1852 | (name ":DIRECT-TEMPLATE-SLOTS") 1853 | (property_list [KB_370821_Class88]) 1854 | (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") 1855 | (width 600) 1856 | (x 0) 1857 | (y 120)) 1858 | 1859 | ([STANDARD_CLASS_WIDGETS] of Property_List 1860 | 1861 | (name "class widget properties") 1862 | (properties 1863 | [STANDARD_CLASS_CONSTRAINTS_WIDGET] 1864 | [STANDARD_CLASS_DIRECT_INSTANCES_WIDGET] 1865 | [STANDARD_CLASS_DIRECT_SUBCLASSES_WIDGET] 1866 | [STANDARD_CLASS_DIRECT_SUPERCLASSES_WIDGET] 1867 | [STANDARD_CLASS_DOCUMENTATION_WIDGET] 1868 | [STANDARD_CLASS_NAME_WIDGET] 1869 | [STANDARD_CLASS_ROLE_WIDGET] 1870 | [STANDARD_CLASS_DIRECT_TYPE_WIDGET] 1871 | [STANDARD_CLASS_TEMPLATE_SLOTS_WIDGET] 1872 | [LAYOUT_PROPERTIES])) 1873 | 1874 | ([STANDARD_FACET_ASSOCIATED_SLOT_WIDGET] of Widget 1875 | 1876 | (height 60) 1877 | (label "Associated Slot") 1878 | (name ":ASSOCIATED-SLOT") 1879 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") 1880 | (width 200) 1881 | (x 0) 1882 | (y 60)) 1883 | 1884 | ([STANDARD_FACET_DOCUMENTATION_WIDGET] of Widget 1885 | 1886 | (height 120) 1887 | (label "Documentation") 1888 | (name ":DOCUMENTATION") 1889 | (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") 1890 | (width 200) 1891 | (x 200) 1892 | (y 0)) 1893 | 1894 | ([STANDARD_FACET_FORM_WIDGET] of Widget 1895 | 1896 | (name ":STANDARD-FACET") 1897 | (property_list [STANDARD_FACET_WIDGETS]) 1898 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1899 | 1900 | ([STANDARD_FACET_NAME_WIDGET] of Widget 1901 | 1902 | (height 60) 1903 | (label "Name") 1904 | (name ":NAME") 1905 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") 1906 | (width 200) 1907 | (x 0) 1908 | (y 0)) 1909 | 1910 | ([STANDARD_FACET_WIDGETS] of Property_List 1911 | 1912 | (name "facet widget properties") 1913 | (properties 1914 | [STANDARD_FACET_NAME_WIDGET] 1915 | [STANDARD_FACET_DOCUMENTATION_WIDGET] 1916 | [STANDARD_FACET_ASSOCIATED_SLOT_WIDGET])) 1917 | 1918 | ([STANDARD_SLOT_ASSOCIATED_FACET_WIDGET] of Widget 1919 | 1920 | (name ":ASSOCIATED-FACET")) 1921 | 1922 | ([STANDARD_SLOT_CONSTRAINTS_WIDGET] of Widget 1923 | 1924 | (name ":SLOT-CONSTRAINTS")) 1925 | 1926 | ([STANDARD_SLOT_DEFAULT_VALUE_WIDGET] of Widget 1927 | 1928 | (height 90) 1929 | (label "Default") 1930 | (name ":SLOT-DEFAULTS") 1931 | (property_list [KB_370821_Class95]) 1932 | (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") 1933 | (width 200) 1934 | (x 400) 1935 | (y 90)) 1936 | 1937 | ([STANDARD_SLOT_DIRECT_DOMAIN_WIDGET] of Widget 1938 | 1939 | (height 95) 1940 | (label "Domain") 1941 | (name ":DIRECT-DOMAIN") 1942 | (property_list [KB_370821_Class93]) 1943 | (widget_class_name "edu.stanford.smi.protege.widget.DirectDomainWidget") 1944 | (width 200) 1945 | (x 400) 1946 | (y 180)) 1947 | 1948 | ([STANDARD_SLOT_DIRECT_TYPE_WIDGET] of Widget 1949 | 1950 | (name ":DIRECT-TYPE")) 1951 | 1952 | ([STANDARD_SLOT_DOCUMENTATION_WIDGET] of Widget 1953 | 1954 | (height 120) 1955 | (label "Documentation") 1956 | (name ":DOCUMENTATION") 1957 | (property_list [KB_370821_Class96]) 1958 | (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") 1959 | (width 200) 1960 | (x 200) 1961 | (y 0)) 1962 | 1963 | ([STANDARD_SLOT_FORM_WIDGET] of Widget 1964 | 1965 | (name ":STANDARD-SLOT") 1966 | (property_list [STANDARD_SLOT_WIDGETS]) 1967 | (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) 1968 | 1969 | ([STANDARD_SLOT_INVERSE_WIDGET] of Widget 1970 | 1971 | (height 60) 1972 | (label "Inverse Slot") 1973 | (name ":SLOT-INVERSE") 1974 | (property_list [KB_370821_Class102]) 1975 | (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") 1976 | (width 200) 1977 | (x 200) 1978 | (y 215)) 1979 | 1980 | ([STANDARD_SLOT_MAXIMUM_CARDINALITY_WIDGET] of Widget 1981 | 1982 | (height 35) 1983 | (name ":SLOT-MAXIMUM-CARDINALITY") 1984 | (property_list [KB_370821_Class101]) 1985 | (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") 1986 | (width 200) 1987 | (x 200) 1988 | (y 180)) 1989 | 1990 | ([STANDARD_SLOT_MAXIMUM_VALUE_WIDGET] of Widget 1991 | 1992 | (height 60) 1993 | (label "Maximum") 1994 | (name ":SLOT-NUMERIC-MAXIMUM") 1995 | (property_list [KB_370821_Class97]) 1996 | (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") 1997 | (width 100) 1998 | (x 100) 1999 | (y 215)) 2000 | 2001 | ([STANDARD_SLOT_MINIMUM_CARDINALITY_WIDGET] of Widget 2002 | 2003 | (height 60) 2004 | (label "Cardinality") 2005 | (name ":SLOT-MINIMUM-CARDINALITY") 2006 | (property_list [KB_370821_Class100]) 2007 | (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") 2008 | (width 200) 2009 | (x 200) 2010 | (y 120)) 2011 | 2012 | ([STANDARD_SLOT_MINIMUM_VALUE_WIDGET] of Widget 2013 | 2014 | (height 60) 2015 | (label "Minimum") 2016 | (name ":SLOT-NUMERIC-MINIMUM") 2017 | (property_list [KB_370821_Class98]) 2018 | (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") 2019 | (width 100) 2020 | (x 0) 2021 | (y 215)) 2022 | 2023 | ([STANDARD_SLOT_NAME_WIDGET] of Widget 2024 | 2025 | (height 60) 2026 | (label "Name") 2027 | (name ":NAME") 2028 | (property_list [KB_370821_Class99]) 2029 | (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") 2030 | (width 200) 2031 | (x 0) 2032 | (y 0)) 2033 | 2034 | ([STANDARD_SLOT_SUBSLOTS_WIDGET] of Widget 2035 | 2036 | (name ":DIRECT-SUBSLOTS")) 2037 | 2038 | ([STANDARD_SLOT_SUPERSLOTS_WIDGET] of Widget 2039 | 2040 | (name ":DIRECT-SUPERSLOTS")) 2041 | 2042 | ([STANDARD_SLOT_TYPE_WIDGET] of Widget 2043 | 2044 | (height 155) 2045 | (label "Value Type") 2046 | (name ":SLOT-VALUE-TYPE") 2047 | (property_list [KB_370821_Class103]) 2048 | (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") 2049 | (width 200) 2050 | (x 0) 2051 | (y 60)) 2052 | 2053 | ([STANDARD_SLOT_VALUES_WIDGET] of Widget 2054 | 2055 | (height 90) 2056 | (label "Template Values") 2057 | (name ":SLOT-VALUES") 2058 | (property_list [KB_370821_Class94]) 2059 | (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") 2060 | (width 200) 2061 | (x 400) 2062 | (y 0)) 2063 | 2064 | ([STANDARD_SLOT_WIDGETS] of Property_List 2065 | 2066 | (name "slot widget properties") 2067 | (properties 2068 | [STANDARD_SLOT_MINIMUM_CARDINALITY_WIDGET] 2069 | [STANDARD_SLOT_MAXIMUM_CARDINALITY_WIDGET] 2070 | [STANDARD_SLOT_CONSTRAINTS_WIDGET] 2071 | [STANDARD_SLOT_DIRECT_TYPE_WIDGET] 2072 | [STANDARD_SLOT_DIRECT_DOMAIN_WIDGET] 2073 | [STANDARD_SLOT_VALUES_WIDGET] 2074 | [STANDARD_SLOT_SUPERSLOTS_WIDGET] 2075 | [STANDARD_SLOT_SUBSLOTS_WIDGET] 2076 | [STANDARD_SLOT_DEFAULT_VALUE_WIDGET] 2077 | [STANDARD_SLOT_DOCUMENTATION_WIDGET] 2078 | [STANDARD_SLOT_MAXIMUM_VALUE_WIDGET] 2079 | [STANDARD_SLOT_MINIMUM_VALUE_WIDGET] 2080 | [STANDARD_SLOT_ASSOCIATED_FACET_WIDGET] 2081 | [STANDARD_SLOT_NAME_WIDGET] 2082 | [STANDARD_SLOT_INVERSE_WIDGET] 2083 | [STANDARD_SLOT_TYPE_WIDGET] 2084 | [KB_370821_Class92])) 2085 | 2086 | ([VERTICAL_STRETCHER] of String 2087 | 2088 | (name "vertical_stretcher") 2089 | (string_value ":DIRECT-TEMPLATE-SLOTS")) 2090 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # AI 2 | 3 | Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing. This project was done during a university course (Artificial intelligence) and finished in May 2015. Projects, comments and reports are in Spanish. 4 | 5 | 6 | ## Natural Language Processing - Prolog 7 | 8 | Natural Language Processing in Prolog. The project consists in a personal agenda with a natural language interface in Spanish. If you'd like to use it, you may use [swi-prolog](http://www.swi-prolog.org) for example. 9 | 10 | **DiaryReport.pdf** is a report of the project in Spanish. 11 | 12 | 13 | ## Travel recommender 14 | 15 | This rule-based system suggests the most suitable voyage given the characteristics of the user and the destinations. 16 | 17 | The database is implemented using the deffacts constructor and the recommendations are possible with the usage of Jess rules. In order to execute the system you can use [this plugin for Eclipse](http://www.jessrules.com/doc/70/eclipse.html). 18 | 19 | **TravelRecommendationReport.pdf** is a report of the project in Spanish. 20 | 21 | ## Ontology - Protégé 22 | 23 | We propose an ontology about the domain of touristic journeys. Several instances are included so you can make queries. In order to play with the ontology you need [Protégé](http://protege.stanford.edu/). 24 | 25 | 26 | ## Travel recommender - Protégé-Jess 27 | 28 | Integration of the previous ontology with the rule-based system in Jess to provide a more complex recommender system. 29 | 30 | **TravelRecommendationReport2.pdf** is a report of the project in Spanish. 31 | 32 | 33 | ## Authors 34 | 35 | This project was developed by Ana María Martínez Gómez and Víctor Adolfo Gallego Alcalá. 36 | 37 | 38 | ## Licence 39 | 40 | Code published under MIT License (see [LICENSE](LICENSE)). 41 | 42 | -------------------------------------------------------------------------------- /Travel recommender - Jess/TravelRecommendation.clp: -------------------------------------------------------------------------------- 1 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 2 | ;; Grupo01 Ana María Martínez Gómez - Víctor Adolfo Gallego Alcalá 3 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 4 | 5 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 6 | ;; Module MAIN 7 | 8 | (deftemplate usuario 9 | (slot nombre) 10 | (slot edad) 11 | (slot sexo) 12 | (slot nacionalidad) 13 | (slot tipoAcompañantes (default ninguno)) 14 | (slot numPasajeros (default 1))) 15 | 16 | (deftemplate viajeDeseado 17 | (slot cliente) 18 | (slot duracion) 19 | (slot tipo) 20 | (slot clima) 21 | (slot comida) 22 | (slot presupuesto (default 100000000))) 23 | 24 | (deftemplate destino 25 | (slot nombre) 26 | (slot climaDestino) 27 | (slot precioBase) 28 | (slot extension) ;en km 29 | (slot densidad) ;de población 30 | (slot museos) ;numero de museos 31 | (slot idiomas) ;numero de idiomas 32 | (slot medallistas) ;numero de medallistas en las olimpidas de ese pais 33 | (slot costa) ;en km 34 | (slot michelin) ;estrellas michelin 35 | ) 36 | 37 | (deftemplate hotel 38 | (slot nombreHotel) 39 | (slot localizacion) 40 | (multislot regimenComidas) 41 | (slot precioDia) 42 | ) 43 | (deftemplate compañia 44 | (slot nombre) 45 | (slot precioPer) 46 | (multislot destinos) 47 | (multislot caracteristicas) 48 | ) 49 | 50 | 51 | 52 | (deffacts ini 53 | (usuario (nombre Ana)(edad 21)(sexo mujer)(nacionalidad española)(tipoAcompañantes negocios)(numPasajeros 5)) 54 | (viajeDeseado (cliente Ana)(duracion 6)(tipo urbano)(clima calido)(comida ninguno)) 55 | (usuario (nombre Victor)(edad 40)(sexo hombre)(nacionalidad china)(tipoAcompañantes pareja)(numPasajeros 2)) 56 | (viajeDeseado (cliente Victor)(duracion 2)(tipo descanso)(clima frio)(comida desayuno)(presupuesto 5000)) 57 | (destino (nombre Barcelona)(climaDestino calido)(precioBase 100)(extension 98)(densidad 16316)(museos 55)(idiomas 2)(medallistas 133)(costa 4)(michelin 28)) 58 | (destino (nombre Maldivas)(climaDestino calido)(precioBase 2000)(extension 298)(densidad 1171)(museos 8)(idiomas 1)(medallistas 0)(costa 2002)(michelin 0)) 59 | (destino (nombre Bogota)(climaDestino calido)(precioBase 1200)(extension 307)(densidad 4336)(museos 58)(idiomas 1)(medallistas 19)(costa 0)(michelin 0)) 60 | (destino (nombre Moscu)(climaDestino frio)(precioBase 700)(extension 2511)(densidad 4822)(museos 60)(idiomas 2)(medallistas 1725)(costa 0)(michelin 0)) 61 | (hotel (nombreHotel TorreCatalunya)(localizacion Barcelona)(regimenComidas ninguno desayuno)(precioDia 200)) 62 | (hotel (nombreHotel MercerHotel)(localizacion Barcelona)(regimenComidas ninguno)(precioDia 220)) 63 | (hotel (nombreHotel ArtsBarcelona)(localizacion Barcelona)(regimenComidas ninguno desayuno mediaPension pensionCompleta todoIncluido)(precioDia 400)) 64 | (hotel (nombreHotel BigHotel)(localizacion Moscu)(regimenComidas ninguno)(precioDia 220)) 65 | (hotel (nombreHotel MoscuHotel)(localizacion Moscu)(regimenComidas ninguno desayuno mediaPension)(precioDia 400)) 66 | (hotel (nombreHotel Sol)(localizacion Bogota)(regimenComidas ninguno)(precioDia 150)) 67 | (hotel (nombreHotel BogotaHotel)(localizacion Bogota)(regimenComidas ninguno desayuno pensionCompleta todoIncluido)(precioDia 300)) 68 | (hotel (nombreHotel Maldivas)(localizacion Maldivas)(regimenComidas ninguno desayuno mediaPension pensionCompleta todoIncluido)(precioDia 500)) 69 | (compañia (nombre Iberia)(precioPer 200)(destinos Barcelona Moscu Bogota Maldivas)(caracteristicas entretenimiento gastronomia )) 70 | (compañia (nombre Emirates)(precioPer 10000)(destinos Barcelona Moscu Bogota Maldivas)(caracteristicas intimidad higiene entretenimiento gastronomia)) 71 | (compañia (nombre AllNipponAirways)(precioPer 200)(destinos Barcelona Moscu Maldivas)(caracteristicas intimidad entretenimiento)) 72 | ) 73 | 74 | 75 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 76 | ;; Modulo CLASIFICACION USUARIO-VIAJE 77 | 78 | (defmodule ClasificacionUsuarioViaje) 79 | 80 | 81 | ; El hecho tipoCliente determina si el cliente es joven o mayor. 82 | 83 | (defrule RtipoClienteJoven 84 | (usuario (nombre ?n)(edad ?edad)) 85 | (test (< ?edad 30)) 86 | => 87 | (assert (tipoCliente ?n joven))) 88 | 89 | (defrule RtipoClienteMayor 90 | (usuario (nombre ?n)(edad ?edad)) 91 | (test (>= ?edad 30)) 92 | => 93 | (assert (tipoCliente ?n mayor))) 94 | 95 | ;exigeEnVuelo determina las caracteristica que debe tener la compañia de vuelo para este usuario 96 | 97 | (defrule Rexigencias1 98 | (usuario (nombre ?n) (numPasajeros 1)) 99 | => 100 | (assert (exigeEnVuelo ?n intimidad)) 101 | ) 102 | 103 | (defrule Rexigencias2 104 | (usuario (nombre ?n) (numPasajeros ?num)) 105 | (tipoCliente ?n joven) 106 | (test (<= ?num 6)) 107 | => 108 | (assert (exigeEnVuelo ?n entretenimiento)) 109 | ) 110 | 111 | (defrule Rexigencias3 112 | (usuario (nombre ?n) (sexo mujer)) 113 | => 114 | (assert (exigeEnVuelo ?n higiene)) 115 | ) 116 | 117 | (defrule Rexigencias4 118 | (tipoViaje ?n culinario) 119 | => 120 | (assert (exigeEnVuelo ?n gastronomia)) 121 | ) 122 | 123 | ; El hecho tipoViaje determina qué tipo de destino va a ser asociado a un cliente 124 | 125 | (defrule Rcategoria1 126 | (viajeDeseado (cliente ?n) (tipo deportivo)) 127 | (tipoCliente ?n joven) 128 | => 129 | (assert (tipoViaje ?n aventura)) 130 | ) 131 | 132 | (defrule Rcategoria2 133 | (viajeDeseado (cliente ?n) (tipo culinario)) 134 | (tipoCliente ?n joven) 135 | => 136 | (assert (tipoViaje ?n expGastronomica)) 137 | ) 138 | 139 | (defrule Rcategoria3 140 | (viajeDeseado (cliente ?n) (tipo descanso)) 141 | (tipoCliente ?n joven) 142 | => 143 | (assert (tipoViaje ?n playa)) 144 | ) 145 | 146 | (defrule Rcategoria4 147 | (viajeDeseado (cliente ?n) (tipo urbano)) 148 | (tipoCliente ?n joven) 149 | => 150 | (assert (tipoViaje ?n compras)) 151 | ) 152 | 153 | (defrule Rcategoria5 154 | (viajeDeseado (cliente ?n) (tipo deportivo)) 155 | (tipoCliente ?n mayor) 156 | => 157 | (assert (tipoViaje ?n deporte)) 158 | ) 159 | 160 | (defrule Rcategoria6 161 | (viajeDeseado (cliente ?n) (tipo culinario)) 162 | (tipoCliente ?n mayor) 163 | => 164 | (assert (tipoViaje ?n altaCocina)) 165 | ) 166 | 167 | (defrule Rcategoria7 168 | (viajeDeseado (cliente ?n) (tipo descanso)) 169 | (tipoCliente ?n mayor) 170 | => 171 | (assert (tipoViaje ?n relax)) 172 | ) 173 | 174 | (defrule Rcategoria8 175 | (viajeDeseado (cliente ?n) (tipo urbano)) 176 | (tipoCliente ?n mayor) 177 | => 178 | (assert (tipoViaje ?n cultura)) 179 | ) 180 | 181 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 182 | ;; Modulo CLASIFICACION DESTINOS 183 | 184 | (defmodule ClasificacionDestinos) 185 | 186 | ;Clasificación de destinos 187 | 188 | 189 | (defrule RcategoriaDestinoPlaya 190 | (destino (nombre ?d) (costa ?costa) (climaDestino calido)) 191 | (test (>= ?costa 4)) 192 | => (assert (tipoDestino ?d playa)) 193 | ) 194 | 195 | (defrule RcategoriaDestinoRelax 196 | (destino (nombre ?d) (densidad ?den)) 197 | (test (< ?den 5000)) 198 | => (assert (tipoDestino ?d relax)) 199 | ) 200 | 201 | (defrule RcategoriaDestinoCultura 202 | (destino (nombre ?d) (museos ?m) (idiomas ?i)) 203 | (test (>= ?m 60)) 204 | (test (>= ?i 2)) 205 | => (assert (tipoDestino ?d cultura)) 206 | ) 207 | 208 | (defrule RcategoriaDestinoCompras 209 | (destino (nombre ?d) (extension ?ext) (densidad ?den)) 210 | (test (< ?ext 300)) 211 | (test (> ?den 5000)) 212 | => (assert (tipoDestino ?d compras)) 213 | ) 214 | 215 | (defrule RcategoriaDestinoDeporte 216 | (destino (nombre ?d) (climaDestino calido) (medallistas ?m)) 217 | (test (> ?m 130)) 218 | => (assert (tipoDestino ?d deporte)) 219 | ) 220 | 221 | (defrule RcategoriaDestinoAventura 222 | (destino (nombre ?d) (costa ?costa) (extension ?ext)) 223 | (test (> ?costa 10)) 224 | (test (> ?ext 200)) 225 | => (assert (tipoDestino ?d aventura)) 226 | ) 227 | 228 | (defrule RcategoriaDestinoExpGastronomica 229 | (destino (nombre ?d)(idiomas ?i) (densidad ?den)) 230 | (test (>= ?i 2)) 231 | (test (> ?den 200)) 232 | => (assert (tipoDestino ?d experienciaGastronomica)) 233 | ) 234 | 235 | (defrule RcategoriaDestinoAltaCocina 236 | (destino (nombre ?d) (michelin ?m)) 237 | (test (>= ?m 25)) 238 | => (assert (tipoDestino ?d altaCocina)) 239 | ) 240 | 241 | 242 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 243 | ;; Modulo RECOMENDACION DESTINO 244 | 245 | (defmodule RecomendacionDestino) 246 | 247 | ;Reglas para recomendar destino 248 | 249 | (defrule RrecoDestino 250 | (usuario (nombre ?n) (numPasajeros ?num)) 251 | (viajeDeseado (cliente ?n) (clima ?clima)(duracion ?dur)) 252 | (destino (nombre ?d) (climaDestino ?clima)) 253 | (ClasificacionUsuarioViaje::tipoViaje ?n ?t) 254 | (ClasificacionDestinos::tipoDestino ?d ?t) 255 | => (assert (destinoRecomendado ?n ?d )) 256 | ) 257 | 258 | (defrule RrecoHotel 259 | (usuario (nombre ?n) (numPasajeros ?num)) 260 | (viajeDeseado (cliente ?n) (comida ?comida)(duracion ?dur)) 261 | (destino (nombre Barcelona) (precioBase ?pBase)) 262 | (destinoRecomendado ?n ?destino) 263 | (hotel (nombreHotel ?h) (localizacion ?destino)(regimenComidas $? ?comida $?)(precioDia ?pDia)) 264 | => 265 | (assert (hotelRecomendado ?n ?destino ?h (* ?num (+ ?pBase (* ?dur ?pDia))))) 266 | ) 267 | 268 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 269 | ;; Modulo RECOMENDACION Transporte 270 | 271 | (defmodule RecomendacionTransporte) 272 | 273 | ; Reglas para recomendar compañía aérea 274 | 275 | (defrule RrecoAerea 276 | (usuario (nombre ?n)(numPasajeros ?num)) 277 | (RecomendacionDestino::destinoRecomendado ?n ?d) 278 | (compañia (nombre ?nomComp)(destinos $? ?d $?)(precioPer ?p)) 279 | => (assert (compañiaAreaRecomendada ?n ?d ?nomComp (* ?p ?num))) 280 | ) 281 | 282 | (defrule RrecoAreaCaracteristicas 283 | (ClasificacionUsuarioViaje::exigeEnVuelo ?n ?car) 284 | (compañia (nombre ?nomComp)) 285 | (not (compañia (nombre ?nomComp) (caracteristicas $? ?car $?))) 286 | ?h <- (compañiaAreaRecomendada ?n ? ?nomComp ? ) 287 | => (retract ?h) 288 | ) 289 | (defrule RrecoAereaArabe 290 | (usuario (nombre ?n)(nacionalidad arabe)) 291 | ?h <- (compañiaAreaRecomendada ?n ? ?nomComp ?) 292 | (test (or (= ?nomComp AllNipponAirways) (= ?nomComp Iberia))) 293 | => (retract ?h) 294 | ) 295 | 296 | (defrule RrecoAereaChino 297 | (usuario (nombre ?n)(nacionalidad china)) 298 | ?h <- (compañiaAreaRecomendada ?n ? Iberia ?) 299 | => (retract ?h) 300 | ) 301 | 302 | 303 | ; Reglas para traslados desde y hasta el aeropuerto 304 | 305 | (defrule RrecoTransporte1 306 | (usuario (nombre ?n) (tipoAcompañantes pareja)) 307 | => (assert (transporteRecomendado ?n limusina 1500)) 308 | ) 309 | 310 | (defrule RrecoTransporte2 311 | (usuario (nombre ?n) (sexo hombre)(numPasajeros ?num)(tipoAcompañantes amigos)) 312 | (ClasificacionUsuarioViaje::tipoCliente ?n joven) 313 | (test (<= ?num 5)) 314 | => (assert (transporteRecomendado ?n cocheDeportivo 3000)) 315 | ) 316 | 317 | (defrule RrecoTransporte22 318 | (usuario (nombre ?n) (sexo hombre)(numPasajeros ?num)(tipoAcompañantes amigos)) 319 | (ClasificacionUsuarioViaje::tipoCliente ?n joven) 320 | (test (> ?num 5)) 321 | => (assert (transporteRecomendado ?n cocheDeportivo 6000)) 322 | ) 323 | 324 | (defrule RrecoTransporte3 325 | (usuario (nombre ?n) (sexo mujer)(tipoAcompañantes amigos)) 326 | (ClasificacionUsuarioViaje::tipoCliente ?n joven) 327 | => (assert (transporteRecomendado ?n limusina 1500)) 328 | ) 329 | 330 | (defrule RrecoTransporte4 331 | (usuario (nombre ?n)(numPasajeros ?num)(tipoAcompañantes amigos)) 332 | (ClasificacionUsuarioViaje::tipoCliente ?n mayor) 333 | (test (<= ?num 5)) 334 | => (assert (transporteRecomendado ?n turismo 100)) 335 | ) 336 | 337 | (defrule RrecoTransporte42 338 | (usuario (nombre ?n)(numPasajeros ?num)(tipoAcompañantes amigos)) 339 | (ClasificacionUsuarioViaje::tipoCliente ?n mayor) 340 | (test (> ?num 5)) 341 | => (assert (transporteRecomendado ?n turismo 200)) 342 | ) 343 | 344 | (defrule RrecoTransporte5 345 | (usuario (nombre ?n)(numPasajeros ?num)(tipoAcompañantes negocios)) 346 | (test (<= ?num 4)) 347 | => (assert (transporteRecomendado ?n taxi 100)) 348 | ) 349 | 350 | (defrule RrecoTransporte52 351 | (usuario (nombre ?n)(numPasajeros ?num)(tipoAcompañantes negocios)) 352 | (test (> ?num 4)) 353 | => (assert (transporteRecomendado ?n taxi 200)) 354 | ) 355 | 356 | (defrule RrecoTransporte6 357 | (usuario (nombre ?n)(tipoAcompañantes familia)(numPasajeros 5)) 358 | => (assert (transporteRecomendado ?n turismo 100)) 359 | ) 360 | 361 | (defrule RrecoTransporte7 362 | (usuario (nombre ?n)(tipoAcompañantes familia)(numPasajeros ?num)) 363 | (test (< ?num 5)) 364 | => (assert (transporteRecomendado ?n taxi 100)) 365 | ) 366 | 367 | (defrule RrecoTransporte72 368 | (usuario (nombre ?n)(tipoAcompañantes familia)(numPasajeros ?num)) 369 | (test (> ?num 5)) 370 | => (assert (transporteRecomendado ?n taxi 200)) 371 | ) 372 | 373 | (defrule RrecoTransporte8 374 | (usuario (nombre ?n)(tipoAcompañantes ninguno)(numPasajeros 1)) 375 | => (assert (transporteRecomendado ?n taxi 100)) 376 | (assert (transporteRecomendado ?n turismo 100)) 377 | ) 378 | 379 | 380 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 381 | ;; Modulo RECOMENDACION FINAL 382 | (defmodule RecomendacionFinal) 383 | 384 | ;Regla final de la recomendación del viaje 385 | 386 | (defrule viaje 387 | (viajeDeseado (cliente ?n) (presupuesto ?pMax)) 388 | (RecomendacionDestino::hotelRecomendado ?n ?d ?h ?p1) 389 | (RecomendacionTransporte::compañiaAreaRecomendada ?n ?d ?compVuelo ?p2) 390 | (RecomendacionTransporte::transporteRecomendado ?n ?trans ?p3) 391 | (test (< (+ ?p1 ?p2 ?p3) ?pMax)) 392 | => 393 | (assert (viaje ?n ?d ?h ?compVuelo ?trans (+ ?p1 ?p2 ?p3))) 394 | ) 395 | 396 | 397 | 398 | (reset) 399 | (focus ClasificacionUsuarioViaje ClasificacionDestinos RecomendacionDestino RecomendacionTransporte RecomendacionFinal) 400 | (run) 401 | (facts *) 402 | -------------------------------------------------------------------------------- /Travel recommender - Jess/TravelRecommendationReport.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ana06/AI/2e94a2bb64536a7db3237399bd196c3315541035/Travel recommender - Jess/TravelRecommendationReport.pdf -------------------------------------------------------------------------------- /Travel recommender - Protégé-Jess/TravelRecommendationReport2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ana06/AI/2e94a2bb64536a7db3237399bd196c3315541035/Travel recommender - Protégé-Jess/TravelRecommendationReport2.pdf -------------------------------------------------------------------------------- /Travel recommender - Protégé-Jess/TravelRecommender.clp: -------------------------------------------------------------------------------- 1 | (mapclass Usuario) 2 | (mapclass Alojamiento) 3 | (mapclass Cadena) 4 | (mapclass Destino) 5 | (mapclass Pais) 6 | (mapclass Region) 7 | (mapclass Transporte) 8 | (mapclass Viaje) 9 | (mapclass ViajeDeseado) 10 | 11 | 12 | (defrule RtipoClienteJoven 13 | (object(is-a Usuario) (OBJECT ?u)(edad ?edad)) 14 | (test (< ?edad 30)) 15 | => 16 | (assert (tipoCliente ?u joven))) 17 | 18 | (defrule RtipoClienteMayor 19 | (object(is-a Usuario) (OBJECT ?u)(edad ?edad)) 20 | (test (>= ?edad 30)) 21 | => 22 | (assert (tipoCliente ?u mayor))) 23 | 24 | (defrule RtipoClientePobre 25 | (object (is-a Usuario) (OBJECT ?u)(num_pasajeros ?m)) 26 | (object (is-a ViajeDeseado) (usuario ?u) (duracion ?d) (presupuesto ?p)) 27 | (test (<= (/ (/ ?p ?m) ?d) 5000)) 28 | => 29 | (assert (tipoCliente ?u pobre))) 30 | 31 | (defrule RtipoClienteRico 32 | (object (is-a Usuario) (OBJECT ?u)(num_pasajeros ?m)) 33 | (object (is-a ViajeDeseado) (usuario ?u) (duracion ?d) (presupuesto ?p)) 34 | (test (> (/ (/ ?p ?m) ?d) 5000)) 35 | => 36 | (assert (tipoCliente ?u rico))) 37 | 38 | 39 | (defrule Rcategoria1 40 | (object (is-a Usuario) (OBJECT ?u)) 41 | (object (is-a ViajeDeseado)(usuario ?u)(prefiere $? deportivo $?)) 42 | (tipoCliente ?u joven) 43 | => 44 | (assert (tipoViaje ?u aventura)) 45 | ) 46 | 47 | (defrule Rcategoria2 48 | (object (is-a Usuario) (OBJECT ?u)) 49 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? culinario $? )) 50 | (tipoCliente ?u joven) 51 | => 52 | (assert (tipoViaje ?u experienciaGastronomica)) 53 | ) 54 | 55 | (defrule Rcategoria3 56 | (object (is-a Usuario) (OBJECT ?u)) 57 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? descanso $? )) 58 | (tipoCliente ?u joven) 59 | => 60 | (assert (tipoViaje ?u playa)) 61 | ) 62 | 63 | (defrule Rcategoria4 64 | (object (is-a Usuario) (OBJECT ?u)) 65 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? urbano $? )) 66 | (tipoCliente ?u joven) 67 | => 68 | (assert (tipoViaje ?u compras)) 69 | ) 70 | 71 | (defrule Rcategoria5 72 | (object (is-a Usuario) (OBJECT ?u)) 73 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? deportivo $? )) 74 | (tipoCliente ?u mayor) 75 | => 76 | (assert (tipoViaje ?u deporte)) 77 | ) 78 | 79 | (defrule Rcategoria6 80 | (object (is-a Usuario) (OBJECT ?u)) 81 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? culinario $? )) 82 | (tipoCliente ?u mayor) 83 | => 84 | (assert (tipoViaje ?u altaCocina)) 85 | ) 86 | 87 | (defrule Rcategoria7 88 | (object (is-a Usuario) (OBJECT ?u)) 89 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? descanso $? )) 90 | (tipoCliente ?u mayor) 91 | => 92 | (assert (tipoViaje ?u relax)) 93 | ) 94 | 95 | (defrule Rcategoria8 96 | (object (is-a Usuario) (OBJECT ?u)) 97 | (object (is-a ViajeDeseado)(usuario ?u) (prefiere $? urbano $? )) 98 | (tipoCliente ?u mayor) 99 | => 100 | (assert (tipoViaje ?u cultura)) 101 | ) 102 | 103 | (defrule Rrecomendacion 104 | (object (is-a Usuario)(OBJECT ?u)(nombre_usuario ?n)(num_pasajeros ?num)(viajes_recomendados $?viajes)) 105 | (object (is-a ViajeDeseado)(usuario ?u)(duracion ?dur)(clima ?c)(origen ?o)(regimen_comida_deseado ?regUser)(presupuesto ?pre)) 106 | (tipoCliente ?u pobre) 107 | (tipoViaje ?u ?t) 108 | (object (is-a Alojamiento)(OBJECT ?h)(id_alojamiento ?id1)(localizacion_alojamiento ?loc)(nombre_alojamiento ?naloj)(precio_alojamiento_dia_persona ?p1)(regimen_alojamiento $? ?regUser $?)) 109 | (object (is-a Destino)(OBJECT ?loc)(nombre_destino ?des)(clima ?c)(tipo_destino $? ?t $?)) 110 | (object (is-a TransporteTurista)(OBJECT ?tIda)(id_transporte ?id2)(origen_transporte ?o)(destino_transporte ?loc)(precio_transporte_persona ?p2)) 111 | (object (is-a TransporteTurista)(OBJECT ?tVuelta)(id_transporte ?id3)(origen_transporte ?loc)(destino_transporte ?o)(precio_transporte_persona ?p3)) 112 | (test (<= (*(+(* ?p1 ?dur) ?p2 ?p3) ?num) ?pre)) 113 | (not (viajeRecomendado ?u ?id1 ?id2 ?id3)) 114 | => 115 | (assert (viajeRecomendado ?u ?id1 ?id2 ?id3)) 116 | (slot-set ?u viajes_recomendados (insert$ ?viajes (calcula (*(+(* ?p1 ?dur) ?p2 ?p3) ?num) ?viajes) (make-instance of Viaje(nombre_viaje (str-cat ?n ?des ?naloj ?id2 ?id3))(alojamiento_viaje ?h)(destino_viaje ?loc)(origen_viaje ?o)(duracion_viaje ?dur)(num_viajeros ?num)(precio (*(+(* ?p1 ?dur) ?p2 ?p3) ?num))(recomendado_a ?u)(medio_transporte_viaje_ida ?tIda)(medio_transporte_viaje_vuelta ?tVuelta)))) 117 | ) 118 | 119 | (defrule Rrecomendacion2 120 | (object (is-a Usuario)(OBJECT ?u)(nombre_usuario ?n)(num_pasajeros ?num)(viajes_recomendados $?viajes)) 121 | (object (is-a ViajeDeseado)(usuario ?u)(duracion ?dur)(clima ?c)(origen ?o)(regimen_comida_deseado ?regUser)(presupuesto ?pre)) 122 | (tipoCliente ?u rico) 123 | (tipoViaje ?u ?t) 124 | (object (is-a Alojamiento)(OBJECT ?h)(id_alojamiento ?id1)(localizacion_alojamiento ?loc)(nombre_alojamiento ?naloj)(precio_alojamiento_dia_persona ?p1)(regimen_alojamiento $? ?regUser $?)) 125 | (object (is-a Destino)(OBJECT ?loc)(nombre_destino ?des)(clima ?c)(tipo_destino $? ?t $?)) 126 | (object (is-a TransporteVIP)(OBJECT ?tIda)(id_transporte ?id2)(origen_transporte ?o)(destino_transporte ?loc)(precio_transporte_persona ?p2)) 127 | (object (is-a TransporteVIP)(OBJECT ?tVuelta)(id_transporte ?id3)(origen_transporte ?loc)(destino_transporte ?o)(precio_transporte_persona ?p3)) 128 | (test (<= (*(+(* ?p1 ?dur) ?p2 ?p3) ?num) ?pre)) 129 | (not (viajeRecomendado ?u ?id1 ?id2 ?id3)) 130 | => 131 | (assert (viajeRecomendado ?u ?id1 ?id2 ?id3)) 132 | (slot-set ?u viajes_recomendados (insert$ ?viajes (calcula (*(+(* ?p1 ?dur) ?p2 ?p3) ?num) ?viajes) (make-instance of Viaje(nombre_viaje (str-cat ?n ?des ?naloj ?id2 ?id3))(alojamiento_viaje ?h)(destino_viaje ?loc)(origen_viaje ?o)(duracion_viaje ?dur)(num_viajeros ?num)(precio (*(+(* ?p1 ?dur) ?p2 ?p3) ?num))(recomendado_a ?u)(medio_transporte_viaje_ida ?tIda)(medio_transporte_viaje_vuelta ?tVuelta)))) 133 | ) 134 | 135 | (defrule RlimitacionHabitantesPais 136 | (object (is-a Usuario)(OBJECT ?u)(nacionalidad ?nac)) 137 | (object (is-a Pais)(OBJECT ?nac)(num_habitantes ?num)) 138 | (object (is-a Viaje)(OBJECT ?v)(recomendado_a ?u)(destino_viaje ?dest)) 139 | (object (is-a Destino)(OBJECT ?dest)(region_destino ?reg)) 140 | (object (is-a Region)(OBJECT ?reg)(pais_region ?pais)) 141 | (object (is-a Pais)(OBJECT ?pais)(num_habitantes ?num2)) 142 | (test (< ?num (/ ?num2 3))) 143 | => 144 | (unmake-instance ?v) 145 | ) 146 | 147 | (defrule RalojamientoIntimo 148 | (object (is-a Viaje)(OBJECT ?v)(alojamiento_viaje ?aloj)) 149 | (object (is-a Usuario)(OBJECT ?u)(sexo mujer)(viajes_recomendados $? ?v $?)) 150 | (object (is-a Alojamiento)(OBJECT ?aloj)(tipo_alojamiento hotel)(propiedad_de ?cad)) 151 | (object (is-a Cadena)(OBJECT ?cad)(numero_empleados ?num)) 152 | (test (> ?num 1000)) 153 | => 154 | (unmake-instance ?v) 155 | ) 156 | 157 | (defrule Rborrado 158 | (declare (salience -1)) 159 | (object (is-a Usuario)(OBJECT ?u)(viajes_recomendados $?x)) 160 | (test (>(length$ ?x) 4)) 161 | => 162 | (slot-set ?u viajes_recomendados (delete$ ?x 5 (length$ ?x))) 163 | ) 164 | 165 | (deffunction calcula (?p $?viajes) 166 | (bind ?indice 1) 167 | (foreach ?viaje ?viajes 168 | (if (< (slot-get ?viaje precio) ?p) then (return ?indice)) 169 | (bind ?indice (+ 1 ?indice))) 170 | (return ?indice) 171 | ) 172 | 173 | 174 | (reset) 175 | (run) 176 | -------------------------------------------------------------------------------- /Travel recommender - Protégé-Jess/pr10.pins: -------------------------------------------------------------------------------- 1 | ; Sun Apr 12 12:58:34 CEST 2015 2 | ; 3 | ;+ (version "3.5") 4 | ;+ (build "Build 663") 5 | 6 | ([Jess+engine] of %3AJESS-ENGINE 7 | ) 8 | 9 | ([pr10_Class0] of TransporteVIP 10 | 11 | (clase_transporte primera) 12 | (destino_transporte [pr9_Class7]) 13 | (duracion_translado 6.0) 14 | (hora_salida 2000) 15 | (id_transporte "1234RG") 16 | (nombre_transporte "LujoAutobús-Mad-Bar1234RG") 17 | (origen_transporte [pr9_Class6]) 18 | (precio_transporte_persona 180.0)) 19 | 20 | ([pr10_Class1] of TransporteVIP 21 | 22 | (clase_transporte primera) 23 | (destino_transporte [pr9_Class6]) 24 | (duracion_translado 6.0) 25 | (hora_salida 1300) 26 | (id_transporte "1235RG") 27 | (nombre_transporte "LujoAutobús-Bar-Mad1235RG") 28 | (origen_transporte [pr9_Class7]) 29 | (precio_transporte_persona 210.0)) 30 | 31 | ([pr10_Class10021] of TransporteTurista 32 | 33 | (clase_transporte turista) 34 | (destino_transporte [pr9_Class7]) 35 | (duracion_translado 6.0) 36 | (hora_salida 2000) 37 | (id_transporte "5792CBR") 38 | (nombre_transporte "Autobús-Turista-Mad-Bar5792CBR") 39 | (origen_transporte [pr9_Class6]) 40 | (precio_transporte_persona 31.0)) 41 | 42 | ([pr10_Class18] of Usuario 43 | 44 | (edad 21) 45 | (nacionalidad [pr9_Class65]) 46 | (nombre_usuario "Ana") 47 | (num_pasajeros 5) 48 | (sexo mujer)) 49 | 50 | ([pr10_Class2] of %3AJESS-RULE 51 | 52 | (%3ADEFINITION "(defrule MAIN::RtipoClienteJoven \n (and (object (is-a Usuario) (nombre ?n) (edad ?edad)) \n (test (< ?edad 30))) \n => \n (assert (MAIN::tipoCliente ?n joven)))") 53 | (%3ADEFINITION-NAME "MAIN::RtipoClienteJoven") 54 | (%3AKB-SAVE TRUE)) 55 | 56 | ([pr10_Class20] of Usuario 57 | 58 | (edad 22) 59 | (nacionalidad [pr9_Class67]) 60 | (nombre_usuario "Victor") 61 | (num_pasajeros 3) 62 | (sexo hombre)) 63 | 64 | ([pr10_Class20022] of Region 65 | 66 | (idioma_region "Chino") 67 | (nombre_region "Taiwán") 68 | (pais_region [pr9_Class67])) 69 | 70 | ([pr10_Class20023] of Destino 71 | 72 | (clima calido) 73 | (nombre_destino "Taipéi") 74 | (region_destino [pr10_Class20022]) 75 | (tipo_destino compras relax cultura aventura)) 76 | 77 | ([pr10_Class20024] of Alojamiento 78 | 79 | (id_alojamiento 12) 80 | (localizacion_alojamiento [pr10_Class20023]) 81 | (nombre_alojamiento "NH Experiencia Asiática") 82 | (precio_alojamiento_dia_persona 50.0) 83 | (propiedad_de [pr9_Class20]) 84 | (regimen_alojamiento media_pension pension_completa todo_incluido desayuno) 85 | (tipo_alojamiento hotel)) 86 | 87 | ([pr10_Class20033] of TransporteTurista 88 | 89 | (clase_transporte turista) 90 | (destino_transporte [pr9_Class8]) 91 | (duracion_translado 3.0) 92 | (hora_salida 1000) 93 | (id_transporte "2387") 94 | (nombre_transporte "Avión-Turista-Mad-Wob2387") 95 | (origen_transporte [pr9_Class6]) 96 | (precio_transporte_persona 500.0)) 97 | 98 | ([pr10_Class20034] of TransporteTurista 99 | 100 | (clase_transporte turista) 101 | (destino_transporte [pr9_Class6]) 102 | (duracion_translado 3.0) 103 | (hora_salida 1000) 104 | (id_transporte "2386") 105 | (nombre_transporte "Avión-Turista-Wob-Mad2386") 106 | (origen_transporte [pr9_Class8]) 107 | (precio_transporte_persona 550.0)) 108 | 109 | ([pr10_Class21] of Usuario 110 | 111 | (edad 35) 112 | (nacionalidad [pr9_Class65]) 113 | (nombre_usuario "Carmen") 114 | (num_pasajeros 2) 115 | (sexo mujer)) 116 | 117 | ([pr10_Class3] of %3AJESS-RULE 118 | 119 | (%3ADEFINITION "(defrule MAIN::RtipoClienteMayor \n (and (object (is-a Usuario) (nombre ?n) (edad ?edad)) \n (test (>= ?edad 30))) \n => \n (assert (MAIN::tipoCliente ?n mayor)))") 120 | (%3ADEFINITION-NAME "MAIN::RtipoClienteMayor") 121 | (%3AKB-SAVE TRUE)) 122 | 123 | ([pr10_Class30035] of TransporteTurista 124 | 125 | (clase_transporte turista) 126 | (destino_transporte [pr9_Class7]) 127 | (duracion_translado 6.0) 128 | (hora_salida 1800) 129 | (id_transporte "5791CBR") 130 | (nombre_transporte "Autobús-Turista-Mad-Bar5791CBR") 131 | (origen_transporte [pr9_Class6]) 132 | (precio_transporte_persona 40.0)) 133 | 134 | ([pr10_Class30036] of TransporteTurista 135 | 136 | (clase_transporte turista) 137 | (destino_transporte [pr9_Class6]) 138 | (duracion_translado 6.0) 139 | (hora_salida 2000) 140 | (id_transporte "5732CBR") 141 | (nombre_transporte "Autobús-Turista-Bar-Mad5732CBR") 142 | (origen_transporte [pr9_Class7]) 143 | (precio_transporte_persona 31.0)) 144 | 145 | ([pr10_Class30092] of TransporteTurista 146 | 147 | (clase_transporte turista) 148 | (destino_transporte [pr9_Class6]) 149 | (duracion_translado 7.0) 150 | (hora_salida 1000) 151 | (id_transporte "1999AR") 152 | (nombre_transporte "Avión-Turista-Tai-Mad1999AR") 153 | (origen_transporte [pr10_Class20023]) 154 | (precio_transporte_persona 250.0)) 155 | 156 | ([pr10_Class30093] of TransporteTurista 157 | 158 | (clase_transporte turista) 159 | (destino_transporte [pr10_Class20023]) 160 | (duracion_translado 7.0) 161 | (hora_salida 1000) 162 | (id_transporte "1998AR") 163 | (nombre_transporte "Avión-Turista-Mad-Tai1998AR") 164 | (origen_transporte [pr9_Class6]) 165 | (precio_transporte_persona 260.0)) 166 | 167 | ([pr10_Class31] of ViajeDeseado 168 | 169 | (clima calido) 170 | (duracion 2) 171 | (origen [pr9_Class6]) 172 | (prefiere culinario urbano) 173 | (presupuesto "25000") 174 | (regimen_comida_deseado desayuno) 175 | (usuario [pr10_Class18])) 176 | 177 | ([pr10_Class33] of ViajeDeseado 178 | 179 | (clima calido) 180 | (duracion 3) 181 | (origen [pr9_Class6]) 182 | (prefiere deportivo descanso) 183 | (presupuesto "2000") 184 | (regimen_comida_deseado pension_completa) 185 | (usuario [pr10_Class20])) 186 | 187 | ([pr10_Class34] of ViajeDeseado 188 | 189 | (clima frio) 190 | (duracion 1) 191 | (origen [pr9_Class6]) 192 | (prefiere culinario descanso) 193 | (presupuesto "20000") 194 | (regimen_comida_deseado media_pension) 195 | (usuario [pr10_Class21])) 196 | 197 | ([pr10_Class40159] of Alojamiento 198 | 199 | (id_alojamiento 13) 200 | (localizacion_alojamiento [pr9_Class30017]) 201 | (nombre_alojamiento "Parador El Escorial") 202 | (precio_alojamiento_dia_persona 250.0) 203 | (propiedad_de [pr10_Class40160]) 204 | (regimen_alojamiento media_pension pension_completa todo_incluido desayuno) 205 | (tipo_alojamiento parador)) 206 | 207 | ([pr10_Class40160] of Cadena 208 | 209 | (nombre_empresa "Paradores Nacionales") 210 | (numero_empleados 67) 211 | (tiene [pr10_Class40159])) 212 | 213 | ([pr10_Class40161] of TransporteVIP 214 | 215 | (clase_transporte bussiness) 216 | (destino_transporte [pr9_Class30017]) 217 | (duracion_translado 1.0) 218 | (hora_salida 2000) 219 | (id_transporte "1893G") 220 | (nombre_transporte "Coche Caballos-Mad-Escorial1893G") 221 | (origen_transporte [pr9_Class6]) 222 | (precio_transporte_persona 1000.0)) 223 | 224 | ([pr10_Class40162] of TransporteVIP 225 | 226 | (clase_transporte bussiness) 227 | (destino_transporte [pr9_Class6]) 228 | (duracion_translado 1.0) 229 | (hora_salida 1300) 230 | (id_transporte "1894G") 231 | (nombre_transporte "Coche Caballos-Mad-Escorial1894G") 232 | (origen_transporte [pr9_Class30017]) 233 | (precio_transporte_persona 1000.0)) 234 | 235 | ([pr9_Class0] of Pais 236 | 237 | (nombre_pais "Estados Unidos") 238 | (num_habitantes 318900000)) 239 | 240 | ([pr9_Class1] of Region 241 | 242 | (idioma_region 243 | "Español" 244 | "Catalán") 245 | (nombre_region "Cataluña") 246 | (pais_region [pr9_Class65])) 247 | 248 | ([pr9_Class10002] of Cadena 249 | 250 | (nombre_empresa "Meliá") 251 | (numero_empleados 211) 252 | (tiene 253 | [pr9_Class10006] 254 | [pr9_Class10019] 255 | [pr9_Class10011] 256 | [pr9_Class30023] 257 | [pr9_Class16] 258 | [pr9_Class17])) 259 | 260 | ([pr9_Class10003] of Alojamiento 261 | 262 | (id_alojamiento 7) 263 | (localizacion_alojamiento [pr9_Class7]) 264 | (nombre_alojamiento "NHBarcelona") 265 | (precio_alojamiento_dia_persona 23.0) 266 | (propiedad_de [pr9_Class20]) 267 | (regimen_alojamiento desayuno media_pension todo_incluido pension_completa) 268 | (tipo_alojamiento hotel)) 269 | 270 | ([pr9_Class10006] of Alojamiento 271 | 272 | (id_alojamiento 8) 273 | (localizacion_alojamiento [pr9_Class7]) 274 | (nombre_alojamiento "Romantic Hotel Barcelona") 275 | (precio_alojamiento_dia_persona 100.0) 276 | (propiedad_de [pr9_Class10002]) 277 | (regimen_alojamiento pension_completa todo_incluido media_pension) 278 | (tipo_alojamiento hotel)) 279 | 280 | ([pr9_Class10008] of Region 281 | 282 | (idioma_region "Español") 283 | (nombre_region "Andalucía") 284 | (pais_region [pr9_Class65])) 285 | 286 | ([pr9_Class10009] of Destino 287 | 288 | (clima calido) 289 | (nombre_destino "Sevilla") 290 | (region_destino [pr9_Class10008]) 291 | (tipo_destino cultura experienciaGastronomica relax altaCocina)) 292 | 293 | ([pr9_Class10010] of Destino 294 | 295 | (clima calido) 296 | (nombre_destino "Málaga") 297 | (region_destino [pr9_Class10008]) 298 | (tipo_destino playa relax deporte)) 299 | 300 | ([pr9_Class10011] of Alojamiento 301 | 302 | (id_alojamiento 6) 303 | (localizacion_alojamiento [pr9_Class10009]) 304 | (nombre_alojamiento "Melia Sevilla") 305 | (precio_alojamiento_dia_persona 22.0) 306 | (propiedad_de [pr9_Class10002]) 307 | (regimen_alojamiento desayuno media_pension pension_completa todo_incluido) 308 | (tipo_alojamiento hotel)) 309 | 310 | ([pr9_Class10012] of Alojamiento 311 | 312 | (id_alojamiento 2) 313 | (localizacion_alojamiento [pr9_Class10010]) 314 | (nombre_alojamiento "NH Gran Hotel de Málaga") 315 | (precio_alojamiento_dia_persona 78.0) 316 | (propiedad_de [pr9_Class20]) 317 | (regimen_alojamiento media_pension todo_incluido) 318 | (tipo_alojamiento hotel)) 319 | 320 | ([pr9_Class10018] of Destino 321 | 322 | (clima frio) 323 | (nombre_destino "Los Ángeles") 324 | (region_destino [pr9_Class4]) 325 | (tipo_destino compras experienciaGastronomica altaCocina playa)) 326 | 327 | ([pr9_Class10019] of Alojamiento 328 | 329 | (id_alojamiento 3) 330 | (localizacion_alojamiento [pr9_Class10018]) 331 | (nombre_alojamiento "Los Angeles Resort") 332 | (precio_alojamiento_dia_persona 21.0) 333 | (propiedad_de [pr9_Class10002]) 334 | (regimen_alojamiento desayuno media_pension todo_incluido pension_completa) 335 | (tipo_alojamiento hotel)) 336 | 337 | ([pr9_Class10025] of Destino 338 | 339 | (clima calido) 340 | (nombre_destino "Mallorca") 341 | (region_destino [pr9_Class10026]) 342 | (tipo_destino playa relax deporte aventura)) 343 | 344 | ([pr9_Class10026] of Region 345 | 346 | (idioma_region "Español") 347 | (nombre_region "Baleares") 348 | (pais_region [pr9_Class65])) 349 | 350 | ([pr9_Class13] of TransporteTurista 351 | 352 | (clase_transporte turista) 353 | (destino_transporte [pr9_Class10018]) 354 | (duracion_translado 9.0) 355 | (hora_salida 600) 356 | (id_transporte "13458H") 357 | (nombre_transporte "Avión-Turista-Mad-Ang1378H") 358 | (origen_transporte [pr9_Class6]) 359 | (precio_transporte_persona 220.0)) 360 | 361 | ([pr9_Class15] of TransporteTurista 362 | 363 | (clase_transporte turista) 364 | (destino_transporte [pr9_Class10009]) 365 | (duracion_translado 3.0) 366 | (hora_salida 1000) 367 | (id_transporte "1309") 368 | (nombre_transporte "Ave-Turista-Mad-Sev1309") 369 | (origen_transporte [pr9_Class6]) 370 | (precio_transporte_persona 100.0)) 371 | 372 | ([pr9_Class16] of Alojamiento 373 | 374 | (id_alojamiento 9) 375 | (nombre_alojamiento "ss oceanic") 376 | (precio_alojamiento_dia_persona 44.0) 377 | (propiedad_de [pr9_Class10002]) 378 | (regimen_alojamiento todo_incluido) 379 | (tipo_alojamiento barco)) 380 | 381 | ([pr9_Class17] of Alojamiento 382 | 383 | (id_alojamiento 11) 384 | (nombre_alojamiento "yate") 385 | (precio_alojamiento_dia_persona 400.0) 386 | (propiedad_de [pr9_Class10002]) 387 | (regimen_alojamiento media_pension) 388 | (tipo_alojamiento barco)) 389 | 390 | ([pr9_Class18] of Alojamiento 391 | 392 | (id_alojamiento 1) 393 | (localizacion_alojamiento [pr9_Class30013]) 394 | (nombre_alojamiento "Albergue de la Abuela Maria") 395 | (precio_alojamiento_dia_persona 10.0) 396 | (regimen_alojamiento media_pension todo_incluido pension_completa) 397 | (tipo_alojamiento albergue)) 398 | 399 | ([pr9_Class2] of Region 400 | 401 | (idioma_region "Español") 402 | (nombre_region "Comunidad de Madrid") 403 | (pais_region [pr9_Class65])) 404 | 405 | ([pr9_Class20] of Cadena 406 | 407 | (nombre_empresa "NH") 408 | (numero_empleados 1011) 409 | (tiene 410 | [pr9_Class10003] 411 | [pr9_Class10012] 412 | [pr9_Class20000] 413 | [pr9_Class30029] 414 | [pr10_Class20024])) 415 | 416 | ([pr9_Class20000] of Alojamiento 417 | 418 | (id_alojamiento 4) 419 | (localizacion_alojamiento [pr9_Class10018]) 420 | (nombre_alojamiento "NH Los Angeles Resort Lujo") 421 | (precio_alojamiento_dia_persona 500.0) 422 | (propiedad_de [pr9_Class20]) 423 | (regimen_alojamiento todo_incluido) 424 | (tipo_alojamiento hotel)) 425 | 426 | ([pr9_Class30013] of Destino 427 | 428 | (clima frio) 429 | (nombre_destino "La Granja De San Ildefonso") 430 | (region_destino [pr9_Class69]) 431 | (tipo_destino altaCocina relax cultura)) 432 | 433 | ([pr9_Class30017] of Destino 434 | 435 | (clima frio) 436 | (nombre_destino "El Escorial") 437 | (region_destino [pr9_Class2]) 438 | (tipo_destino cultura relax experienciaGastronomica)) 439 | 440 | ([pr9_Class30018] of Region 441 | 442 | (idioma_region "Español") 443 | (nombre_region "Canarias") 444 | (pais_region [pr9_Class65])) 445 | 446 | ([pr9_Class30019] of Destino 447 | 448 | (clima calido) 449 | (nombre_destino "Tenerife") 450 | (region_destino [pr9_Class30018]) 451 | (tipo_destino playa relax cultura aventura)) 452 | 453 | ([pr9_Class30020] of Destino 454 | 455 | (clima calido) 456 | (nombre_destino "La Gomera") 457 | (region_destino [pr9_Class30018]) 458 | (tipo_destino playa relax aventura deporte)) 459 | 460 | ([pr9_Class30023] of Alojamiento 461 | 462 | (id_alojamiento 5) 463 | (localizacion_alojamiento [pr9_Class10009]) 464 | (nombre_alojamiento "Luxury Sevilla") 465 | (precio_alojamiento_dia_persona 467.0) 466 | (propiedad_de [pr9_Class10002]) 467 | (regimen_alojamiento todo_incluido desayuno media_pension todo_incluido) 468 | (tipo_alojamiento hotel)) 469 | 470 | ([pr9_Class30029] of Alojamiento 471 | 472 | (id_alojamiento 10) 473 | (localizacion_alojamiento [pr9_Class30019]) 474 | (nombre_alojamiento "NH Tenerife Hotel") 475 | (precio_alojamiento_dia_persona 20.0) 476 | (propiedad_de [pr9_Class20]) 477 | (regimen_alojamiento desayuno todo_incluido pension_completa) 478 | (tipo_alojamiento hotel)) 479 | 480 | ([pr9_Class4] of Region 481 | 482 | (idioma_region "Inglés") 483 | (nombre_region "California") 484 | (pais_region [pr9_Class0])) 485 | 486 | ([pr9_Class40012] of TransporteVIP 487 | 488 | (clase_transporte bussiness) 489 | (destino_transporte [pr9_Class6]) 490 | (duracion_translado 9.0) 491 | (hora_salida 500) 492 | (id_transporte "1379H") 493 | (nombre_transporte "Avión-Bussiness-Ang-Madrid1379H") 494 | (origen_transporte [pr9_Class10018]) 495 | (precio_transporte_persona 1020.0)) 496 | 497 | ([pr9_Class40013] of TransporteVIP 498 | 499 | (clase_transporte bussiness) 500 | (destino_transporte [pr9_Class10018]) 501 | (duracion_translado 9.0) 502 | (hora_salida 600) 503 | (id_transporte "1378H") 504 | (nombre_transporte "Avión-Bussiness-Mad-Ang1378H") 505 | (origen_transporte [pr9_Class6]) 506 | (precio_transporte_persona 1000.0)) 507 | 508 | ([pr9_Class40014] of TransporteTurista 509 | 510 | (clase_transporte turista) 511 | (destino_transporte [pr9_Class6]) 512 | (duracion_translado 9.0) 513 | (hora_salida 500) 514 | (id_transporte "1379H") 515 | (nombre_transporte "Avión-Turista-Ang-Mad1379H") 516 | (origen_transporte [pr9_Class10018]) 517 | (precio_transporte_persona 200.0)) 518 | 519 | ([pr9_Class40016] of TransporteTurista 520 | 521 | (clase_transporte turista) 522 | (destino_transporte [pr9_Class6]) 523 | (duracion_translado 3.0) 524 | (hora_salida 2030) 525 | (id_transporte "1310") 526 | (nombre_transporte "Ave-Turista-Sev-Mad1310") 527 | (origen_transporte [pr9_Class10009]) 528 | (precio_transporte_persona 100.0)) 529 | 530 | ([pr9_Class40017] of TransporteVIP 531 | 532 | (clase_transporte primera) 533 | (destino_transporte [pr9_Class10009]) 534 | (duracion_translado 3.0) 535 | (hora_salida 1000) 536 | (id_transporte "1309") 537 | (nombre_transporte "Ave-Primera-Mad-Sev1309") 538 | (origen_transporte [pr9_Class6]) 539 | (precio_transporte_persona 180.0)) 540 | 541 | ([pr9_Class40018] of TransporteVIP 542 | 543 | (clase_transporte primera) 544 | (destino_transporte [pr9_Class6]) 545 | (duracion_translado 3.0) 546 | (hora_salida 2030) 547 | (id_transporte "1310") 548 | (nombre_transporte "Ave-Primera-Sev-Mad1310") 549 | (origen_transporte [pr9_Class10009]) 550 | (precio_transporte_persona 195.0)) 551 | 552 | ([pr9_Class40021] of TransporteTurista 553 | 554 | (clase_transporte turista) 555 | (destino_transporte [pr9_Class6]) 556 | (duracion_translado 5.0) 557 | (hora_salida 1600) 558 | (id_transporte "2191J") 559 | (nombre_transporte "Avión-Turista-Ten-Mad2191J") 560 | (origen_transporte [pr9_Class30019]) 561 | (precio_transporte_persona 75.0)) 562 | 563 | ([pr9_Class40022] of TransporteTurista 564 | 565 | (clase_transporte turista) 566 | (destino_transporte [pr9_Class30019]) 567 | (duracion_translado 5.0) 568 | (hora_salida 1000) 569 | (id_transporte "2190J") 570 | (nombre_transporte "Avión-Turista-Mad-Ten2190J") 571 | (origen_transporte [pr9_Class6]) 572 | (precio_transporte_persona 75.0)) 573 | 574 | ([pr9_Class40031] of TransporteVIP 575 | 576 | (clase_transporte primera) 577 | (destino_transporte [pr9_Class6]) 578 | (duracion_translado 9.0) 579 | (hora_salida 200) 580 | (id_transporte "1369H") 581 | (nombre_transporte "Avión-Primera-Ang-Madrid1369H") 582 | (origen_transporte [pr9_Class10018]) 583 | (precio_transporte_persona 1320.0)) 584 | 585 | ([pr9_Class5] of Region 586 | 587 | (idioma_region "Inglés") 588 | (nombre_region "Massachusetts") 589 | (pais_region [pr9_Class0])) 590 | 591 | ([pr9_Class6] of Destino 592 | 593 | (clima calido) 594 | (nombre_destino "Madrid") 595 | (region_destino [pr9_Class2]) 596 | (tipo_destino cultura compras experienciaGastronomica altaCocina)) 597 | 598 | ([pr9_Class65] of Pais 599 | 600 | (nombre_pais "España") 601 | (num_habitantes 47270000)) 602 | 603 | ([pr9_Class66] of Pais 604 | 605 | (nombre_pais "Portugal") 606 | (num_habitantes 10460000)) 607 | 608 | ([pr9_Class67] of Pais 609 | 610 | (nombre_pais "China") 611 | (num_habitantes 1357000000)) 612 | 613 | ([pr9_Class68] of Pais 614 | 615 | (nombre_pais "México") 616 | (num_habitantes 122300000)) 617 | 618 | ([pr9_Class69] of Region 619 | 620 | (idioma_region "Español") 621 | (nombre_region "Castilla León") 622 | (pais_region [pr9_Class65])) 623 | 624 | ([pr9_Class7] of Destino 625 | 626 | (clima calido) 627 | (nombre_destino "Barcelona") 628 | (region_destino [pr9_Class1]) 629 | (tipo_destino compras playa cultura altaCocina experienciaGastronomica)) 630 | 631 | ([pr9_Class8] of Destino 632 | 633 | (clima frio) 634 | (nombre_destino "Woburn") 635 | (region_destino [pr9_Class5]) 636 | (tipo_destino compras experienciaGastronomica)) 637 | -------------------------------------------------------------------------------- /Travel recommender - Protégé-Jess/pr10.pont: -------------------------------------------------------------------------------- 1 | ; Sun Apr 12 12:58:34 CEST 2015 2 | ; 3 | ;+ (version "3.5") 4 | ;+ (build "Build 663") 5 | 6 | 7 | (defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS "Fake class to save top-level slot information" 8 | (is-a USER) 9 | (role abstract) 10 | (single-slot origen 11 | (type INSTANCE) 12 | ;+ (allowed-classes Destino) 13 | (default [pr9_Class6]) 14 | ;+ (cardinality 1 1) 15 | (create-accessor read-write)) 16 | (single-slot nombre_pais 17 | ;+ (comment "El nombre del país") 18 | (type STRING) 19 | ;+ (cardinality 1 1) 20 | (create-accessor read-write)) 21 | (single-slot precio_alojamiento_dia_persona 22 | (type FLOAT) 23 | (range 0.0 %3FVARIABLE) 24 | ;+ (cardinality 1 1) 25 | (create-accessor read-write)) 26 | (multislot tiene 27 | ;+ (comment "Alojamientos de la cadena o empresa.") 28 | (type INSTANCE) 29 | ;+ (allowed-classes Alojamiento) 30 | ;+ (inverse-slot propiedad_de) 31 | (create-accessor read-write)) 32 | (single-slot localizacion_alojamiento 33 | (type INSTANCE) 34 | ;+ (allowed-classes Destino) 35 | ;+ (cardinality 0 1) 36 | (create-accessor read-write)) 37 | (single-slot num_habitantes_destino 38 | (type INTEGER) 39 | (range 0 %3FVARIABLE) 40 | ;+ (cardinality 0 1) 41 | (create-accessor read-write)) 42 | (multislot prefiere 43 | (type SYMBOL) 44 | (allowed-values urbano descanso culinario deportivo) 45 | (cardinality 1 ?VARIABLE) 46 | (create-accessor read-write)) 47 | (multislot regimen_alojamiento 48 | ;+ (comment "El regimen de comidas.") 49 | (type SYMBOL) 50 | (allowed-values desayuno media_pension pension_completa todo_incluido) 51 | (default media_pension pension_completa todo_incluido desayuno) 52 | (cardinality 1 ?VARIABLE) 53 | (create-accessor read-write)) 54 | (single-slot recomendado_a 55 | (type INSTANCE) 56 | ;+ (allowed-classes Usuario) 57 | ;+ (cardinality 1 1) 58 | (create-accessor read-write)) 59 | (single-slot region_destino 60 | ;+ (comment "Región a la que pertenece") 61 | (type INSTANCE) 62 | ;+ (allowed-classes Region) 63 | ;+ (cardinality 1 1) 64 | (create-accessor read-write)) 65 | (single-slot propiedad_de 66 | (type INSTANCE) 67 | ;+ (allowed-classes Cadena) 68 | ;+ (cardinality 0 1) 69 | ;+ (inverse-slot tiene) 70 | (create-accessor read-write)) 71 | (single-slot clima 72 | (type SYMBOL) 73 | (allowed-values calido frio) 74 | ;+ (cardinality 1 1) 75 | (create-accessor read-write)) 76 | (single-slot sexo 77 | (type SYMBOL) 78 | (allowed-values hombre mujer) 79 | ;+ (cardinality 1 1) 80 | (create-accessor read-write)) 81 | (single-slot %3ADEFINITION-NAME 82 | (type STRING) 83 | ;+ (cardinality 0 1) 84 | (create-accessor read-write)) 85 | (single-slot suites 86 | (type INTEGER) 87 | (range 0 %3FVARIABLE) 88 | ;+ (cardinality 0 1) 89 | (create-accessor read-write)) 90 | (single-slot destino_transporte 91 | (type INSTANCE) 92 | ;+ (allowed-classes Destino) 93 | ;+ (cardinality 1 1) 94 | (create-accessor read-write)) 95 | (single-slot presupuesto 96 | (type STRING) 97 | (default "1000000") 98 | ;+ (cardinality 1 1) 99 | (create-accessor read-write)) 100 | (multislot tipo_destino 101 | (type SYMBOL) 102 | (allowed-values playa relax cultura compras deporte aventura experienciaGastronomica altaCocina) 103 | (default compras) 104 | (cardinality 1 ?VARIABLE) 105 | (create-accessor read-write)) 106 | (single-slot %3ASTARTUP-FILE 107 | (type STRING) 108 | ;+ (cardinality 0 1) 109 | (create-accessor read-write)) 110 | (single-slot habitaciones 111 | ;+ (comment "habitaciones") 112 | (type INTEGER) 113 | (range 0 %3FVARIABLE) 114 | ;+ (cardinality 0 1) 115 | (create-accessor read-write)) 116 | (multislot viajes_recomendados 117 | (type INSTANCE) 118 | ;+ (allowed-classes Viaje) 119 | (create-accessor read-write)) 120 | (single-slot hora_salida 121 | (type INTEGER) 122 | (range 0 2359) 123 | ;+ (cardinality 0 1) 124 | (create-accessor read-write)) 125 | (single-slot duracion_viaje 126 | ;+ (comment "La duración del viaje en días. No se podrán contratar viajes con una duración superior a 30 días") 127 | (type INTEGER) 128 | (range 1 30) 129 | (default 2) 130 | ;+ (cardinality 1 1) 131 | (create-accessor read-write)) 132 | (single-slot id_transporte 133 | (type STRING) 134 | ;+ (cardinality 1 1) 135 | (create-accessor read-write)) 136 | (single-slot nombre_usuario 137 | (type STRING) 138 | ;+ (cardinality 1 1) 139 | (create-accessor read-write)) 140 | (single-slot pais_region 141 | ;+ (comment "País al que pertenece la región.") 142 | (type INSTANCE) 143 | ;+ (allowed-classes Pais) 144 | ;+ (cardinality 1 1) 145 | (create-accessor read-write)) 146 | (multislot viajes_ofertados 147 | ;+ (comment "Viajes ofertados por ese mayorista") 148 | (type INSTANCE) 149 | ;+ (allowed-classes Viaje) 150 | ;+ (inverse-slot mayorista_viaje) 151 | (create-accessor read-write)) 152 | (single-slot numero_empleados 153 | (type INTEGER) 154 | (range 0 %3FVARIABLE) 155 | ;+ (cardinality 0 1) 156 | (create-accessor read-write)) 157 | (single-slot regimen_comida_deseado 158 | (type SYMBOL) 159 | (allowed-values media_pension desayuno pension_completa todo_incluido) 160 | (default desayuno) 161 | ;+ (cardinality 1 1) 162 | (create-accessor read-write)) 163 | (single-slot origen_viaje 164 | ;+ (comment "Ciudad de origen.") 165 | (type INSTANCE) 166 | ;+ (allowed-classes Destino) 167 | (default [pr9_Class6]) 168 | ;+ (cardinality 1 1) 169 | (create-accessor read-write)) 170 | (single-slot precio_transporte_persona 171 | (type FLOAT) 172 | (range 0.0 %3FVARIABLE) 173 | (default 100.0) 174 | ;+ (cardinality 1 1) 175 | (create-accessor read-write)) 176 | (single-slot nombre_destino 177 | (type STRING) 178 | ;+ (cardinality 1 1) 179 | (create-accessor read-write)) 180 | (single-slot camarote 181 | ;+ (comment "Número de camarotes") 182 | (type INTEGER) 183 | (range 0 %3FVARIABLE) 184 | ;+ (cardinality 0 1) 185 | (create-accessor read-write)) 186 | (single-slot duracion_translado 187 | ;+ (comment "En horas") 188 | (type FLOAT) 189 | (range 0.0 %3FVARIABLE) 190 | ;+ (cardinality 0 1) 191 | (create-accessor read-write)) 192 | (single-slot precio 193 | ;+ (comment "El precio total de ese viaje") 194 | (type FLOAT) 195 | (range 0.0 %3FVARIABLE) 196 | (default 500.0) 197 | ;+ (cardinality 1 1) 198 | (create-accessor read-write)) 199 | (single-slot origen_transporte 200 | (type INSTANCE) 201 | ;+ (allowed-classes Destino) 202 | (default [pr9_Class6]) 203 | ;+ (cardinality 1 1) 204 | (create-accessor read-write)) 205 | (single-slot duracion 206 | ;+ (comment "En días") 207 | (type INTEGER) 208 | (range 1 %3FVARIABLE) 209 | (default 3) 210 | ;+ (cardinality 1 1) 211 | (create-accessor read-write)) 212 | (single-slot id_alojamiento 213 | (type INTEGER) 214 | (range 0 %3FVARIABLE) 215 | ;+ (cardinality 1 1) 216 | (create-accessor read-write)) 217 | (single-slot clase_transporte 218 | (type SYMBOL) 219 | (allowed-values turista bussiness primera) 220 | ;+ (cardinality 1 1) 221 | (create-accessor read-write)) 222 | (single-slot destino_viaje 223 | ;+ (comment "Ciudad de destino.") 224 | (type INSTANCE) 225 | ;+ (allowed-classes Destino) 226 | ;+ (cardinality 1 1) 227 | ;+ (inverse-slot viajes) 228 | (create-accessor read-write)) 229 | (single-slot usuario 230 | (type INSTANCE) 231 | ;+ (allowed-classes Usuario) 232 | ;+ (cardinality 1 1) 233 | (create-accessor read-write)) 234 | (single-slot num_pasajeros 235 | (type INTEGER) 236 | (range 1 8) 237 | (default 1) 238 | ;+ (cardinality 1 1) 239 | (create-accessor read-write)) 240 | (single-slot num_habitantes 241 | (type INTEGER) 242 | (range 0 %3FVARIABLE) 243 | ;+ (cardinality 0 1) 244 | (create-accessor read-write)) 245 | (single-slot %3AKB-SAVE 246 | (type SYMBOL) 247 | (allowed-values FALSE TRUE) 248 | (default FALSE) 249 | ;+ (cardinality 0 1) 250 | (create-accessor read-write)) 251 | (single-slot medio_transporte_viaje_vuelta 252 | (type INSTANCE) 253 | ;+ (allowed-classes Transporte) 254 | ;+ (cardinality 1 1) 255 | (create-accessor read-write)) 256 | (single-slot pasajeros 257 | ;+ (comment "Número máximo de pasajeros") 258 | (type INTEGER) 259 | (range 0 %3FVARIABLE) 260 | ;+ (cardinality 0 1) 261 | (create-accessor read-write)) 262 | (single-slot %3ASTARTUP-EXPRESSION 263 | (type STRING) 264 | ;+ (cardinality 0 1) 265 | (create-accessor read-write)) 266 | (single-slot num_viajeros 267 | ;+ (comment "El número de viajeros que forma el grupo") 268 | (type INTEGER) 269 | ;+ (cardinality 1 1) 270 | (create-accessor read-write)) 271 | (single-slot precio_final_viaje 272 | (type INTEGER) 273 | (range 0 %3FVARIABLE) 274 | ;+ (cardinality 0 1) 275 | (create-accessor read-write)) 276 | (single-slot medio_transporte_viaje_ida 277 | ;+ (comment "Medio de transporte.") 278 | (type INSTANCE) 279 | ;+ (allowed-classes Transporte) 280 | ;+ (cardinality 1 1) 281 | (create-accessor read-write)) 282 | (single-slot alojamiento_viaje 283 | (type INSTANCE) 284 | ;+ (allowed-classes Alojamiento) 285 | ;+ (cardinality 0 1) 286 | ;+ (inverse-slot viaje_en_que_se_oferta) 287 | (create-accessor read-write)) 288 | (single-slot nombre_alojamiento 289 | (type STRING) 290 | ;+ (cardinality 1 1) 291 | (create-accessor read-write)) 292 | (multislot viaje_en_que_se_oferta 293 | (type INSTANCE) 294 | ;+ (allowed-classes Viaje) 295 | ;+ (inverse-slot alojamiento_viaje) 296 | (create-accessor read-write)) 297 | (single-slot %3ADEFINITION 298 | (type STRING) 299 | ;+ (cardinality 0 1) 300 | (create-accessor read-write)) 301 | (single-slot nombre_region 302 | ;+ (comment "El nombre de la región, comunidad autónoma o equivalente división de un estado") 303 | (type STRING) 304 | ;+ (cardinality 1 1) 305 | (create-accessor read-write)) 306 | (multislot viajes 307 | (type INSTANCE) 308 | ;+ (allowed-classes Viaje) 309 | ;+ (inverse-slot destino_viaje) 310 | (create-accessor read-write)) 311 | (single-slot nombre_empresa 312 | (type STRING) 313 | ;+ (cardinality 1 1) 314 | (create-accessor read-write)) 315 | (single-slot mayorista_viaje 316 | (type INSTANCE) 317 | ;+ (allowed-classes) 318 | ;+ (cardinality 1 1) 319 | ;+ (inverse-slot viajes_ofertados) 320 | (create-accessor read-write)) 321 | (single-slot nombre_viaje 322 | (type STRING) 323 | ;+ (cardinality 1 1) 324 | (create-accessor read-write)) 325 | (single-slot nombre_transporte 326 | ;+ (comment "El nombre del transporte.") 327 | (type STRING) 328 | ;+ (cardinality 1 1) 329 | (create-accessor read-write)) 330 | (single-slot tipo_alojamiento 331 | (type SYMBOL) 332 | (allowed-values hotel albergue barco pensi%C3%B3n parador) 333 | (default hotel) 334 | ;+ (cardinality 1 1) 335 | (create-accessor read-write)) 336 | (multislot idioma_region 337 | ;+ (comment "El idioma oficial hablado en la región (por ejemplo, en Cataluña catalán y español)") 338 | (type STRING) 339 | (cardinality 1 ?VARIABLE) 340 | (create-accessor read-write)) 341 | (single-slot nacionalidad 342 | ;+ (comment "País de origen") 343 | (type INSTANCE) 344 | ;+ (allowed-classes Pais) 345 | ;+ (cardinality 1 1) 346 | (create-accessor read-write)) 347 | (single-slot edad 348 | (type INTEGER) 349 | (range 18 %3FVARIABLE) 350 | (default 25) 351 | ;+ (cardinality 1 1) 352 | (create-accessor read-write)) 353 | (single-slot estrellas 354 | ;+ (comment "Número de estrellas del hotel.") 355 | (type INTEGER) 356 | (range 1 6) 357 | (default 3) 358 | ;+ (cardinality 1 1) 359 | (create-accessor read-write))) 360 | 361 | (defclass %3AJESS-ENGINE 362 | (is-a %3ASYSTEM-CLASS) 363 | (role concrete) 364 | (single-slot %3ASTARTUP-FILE 365 | (type STRING) 366 | ;+ (cardinality 0 1) 367 | (create-accessor read-write)) 368 | (single-slot %3ASTARTUP-EXPRESSION 369 | (type STRING) 370 | ;+ (cardinality 0 1) 371 | (create-accessor read-write))) 372 | 373 | (defclass %3AJESS-DEFINITION 374 | (is-a %3ASYSTEM-CLASS) 375 | (role abstract) 376 | (single-slot %3ADEFINITION-NAME 377 | (type STRING) 378 | ;+ (cardinality 0 1) 379 | (create-accessor read-write)) 380 | (single-slot %3AKB-SAVE 381 | (type SYMBOL) 382 | (allowed-values FALSE TRUE) 383 | (default FALSE) 384 | ;+ (cardinality 0 1) 385 | (create-accessor read-write)) 386 | (single-slot %3ADEFINITION 387 | (type STRING) 388 | ;+ (cardinality 0 1) 389 | (create-accessor read-write))) 390 | 391 | (defclass %3AJESS-DEFGLOBAL 392 | (is-a %3AJESS-DEFINITION) 393 | (role concrete)) 394 | 395 | (defclass %3AJESS-DEFTEMPLATE 396 | (is-a %3AJESS-DEFINITION) 397 | (role concrete) 398 | (multislot %3ADOCUMENTATION 399 | (type STRING) 400 | (create-accessor read-write))) 401 | 402 | (defclass %3AJESS-DEFFACTS 403 | (is-a %3AJESS-DEFINITION) 404 | (role concrete) 405 | (multislot %3ADOCUMENTATION 406 | (type STRING) 407 | (create-accessor read-write))) 408 | 409 | (defclass %3AJESS-DEFMESSAGE-HANDLER 410 | (is-a %3AJESS-DEFINITION) 411 | (role concrete) 412 | (multislot %3ADOCUMENTATION 413 | (type STRING) 414 | (create-accessor read-write))) 415 | 416 | (defclass %3AJESS-DEFMETHOD 417 | (is-a %3AJESS-DEFINITION) 418 | (role concrete) 419 | (multislot %3ADOCUMENTATION 420 | (type STRING) 421 | (create-accessor read-write))) 422 | 423 | (defclass %3ARULE 424 | (is-a %3ASYSTEM-CLASS) 425 | (role abstract) 426 | (single-slot %3ADEFINITION-NAME 427 | (type STRING) 428 | ;+ (cardinality 0 1) 429 | (create-accessor read-write)) 430 | (single-slot %3ADEFINITION 431 | (type STRING) 432 | ;+ (cardinality 0 1) 433 | (create-accessor read-write))) 434 | 435 | (defclass %3AJESS-RULE 436 | (is-a %3AJESS-DEFINITION %3ARULE) 437 | (role concrete) 438 | (multislot %3ADOCUMENTATION 439 | (type STRING) 440 | (create-accessor read-write))) 441 | 442 | (defclass %3AFUNCTION 443 | (is-a %3ASYSTEM-CLASS) 444 | (role abstract) 445 | (single-slot %3ADEFINITION-NAME 446 | (type STRING) 447 | ;+ (cardinality 0 1) 448 | (create-accessor read-write)) 449 | (single-slot %3ADEFINITION 450 | (type STRING) 451 | ;+ (cardinality 0 1) 452 | (create-accessor read-write))) 453 | 454 | (defclass %3AJESS-FUNCTION 455 | (is-a %3AFUNCTION %3AJESS-DEFINITION) 456 | (role concrete) 457 | (multislot %3ADOCUMENTATION 458 | (type STRING) 459 | (create-accessor read-write))) 460 | 461 | (defclass Viaje 462 | (is-a USER) 463 | (role concrete) 464 | (single-slot num_viajeros 465 | ;+ (comment "El número de viajeros que forma el grupo") 466 | (type INTEGER) 467 | ;+ (cardinality 1 1) 468 | (create-accessor read-write)) 469 | (single-slot destino_viaje 470 | ;+ (comment "Ciudad de destino.") 471 | (type INSTANCE) 472 | ;+ (allowed-classes Destino) 473 | ;+ (cardinality 1 1) 474 | (create-accessor read-write)) 475 | (single-slot precio 476 | ;+ (comment "El precio total de ese viaje") 477 | (type FLOAT) 478 | (range 0.0 %3FVARIABLE) 479 | (default 500.0) 480 | ;+ (cardinality 1 1) 481 | (create-accessor read-write)) 482 | (single-slot recomendado_a 483 | (type INSTANCE) 484 | ;+ (allowed-classes Usuario) 485 | ;+ (cardinality 1 1) 486 | (create-accessor read-write)) 487 | (single-slot medio_transporte_viaje_ida 488 | ;+ (comment "Medio de transporte.") 489 | (type INSTANCE) 490 | ;+ (allowed-classes Transporte) 491 | ;+ (cardinality 1 1) 492 | (create-accessor read-write)) 493 | (single-slot nombre_viaje 494 | (type STRING) 495 | ;+ (cardinality 1 1) 496 | (create-accessor read-write)) 497 | (single-slot alojamiento_viaje 498 | (type INSTANCE) 499 | ;+ (allowed-classes Alojamiento) 500 | ;+ (cardinality 0 1) 501 | (create-accessor read-write)) 502 | (single-slot duracion_viaje 503 | ;+ (comment "La duración del viaje en días. No se podrán contratar viajes con una duración superior a 30 días") 504 | (type INTEGER) 505 | (range 1 30) 506 | (default 2) 507 | ;+ (cardinality 1 1) 508 | (create-accessor read-write)) 509 | (single-slot origen_viaje 510 | ;+ (comment "Ciudad de origen.") 511 | (type INSTANCE) 512 | ;+ (allowed-classes Destino) 513 | (default [pr9_Class6]) 514 | ;+ (cardinality 1 1) 515 | (create-accessor read-write)) 516 | (single-slot medio_transporte_viaje_vuelta 517 | (type INSTANCE) 518 | ;+ (allowed-classes Transporte) 519 | ;+ (cardinality 1 1) 520 | (create-accessor read-write))) 521 | 522 | (defclass Alojamiento 523 | (is-a USER) 524 | (role concrete) 525 | (single-slot precio_alojamiento_dia_persona 526 | (type FLOAT) 527 | (range 0.0 %3FVARIABLE) 528 | ;+ (cardinality 1 1) 529 | (create-accessor read-write)) 530 | (single-slot localizacion_alojamiento 531 | (type INSTANCE) 532 | ;+ (allowed-classes Destino) 533 | ;+ (cardinality 0 1) 534 | (create-accessor read-write)) 535 | (single-slot nombre_alojamiento 536 | (type STRING) 537 | ;+ (cardinality 1 1) 538 | (create-accessor read-write)) 539 | (multislot viaje_en_que_se_oferta 540 | (type INSTANCE) 541 | ;+ (allowed-classes Viaje) 542 | (create-accessor read-write)) 543 | (single-slot id_alojamiento 544 | (type INTEGER) 545 | (range 0 %3FVARIABLE) 546 | ;+ (cardinality 1 1) 547 | (create-accessor read-write)) 548 | (single-slot propiedad_de 549 | (type INSTANCE) 550 | ;+ (allowed-classes Cadena) 551 | ;+ (cardinality 0 1) 552 | (create-accessor read-write)) 553 | (multislot regimen_alojamiento 554 | ;+ (comment "El regimen de comidas.") 555 | (type SYMBOL) 556 | (allowed-values desayuno media_pension pension_completa todo_incluido) 557 | (default media_pension pension_completa todo_incluido desayuno) 558 | (cardinality 1 ?VARIABLE) 559 | (create-accessor read-write)) 560 | (single-slot tipo_alojamiento 561 | (type SYMBOL) 562 | (allowed-values hotel albergue barco pensi%C3%B3n parador) 563 | (default hotel) 564 | ;+ (cardinality 1 1) 565 | (create-accessor read-write))) 566 | 567 | (defclass Transporte 568 | (is-a USER) 569 | (role abstract) 570 | (single-slot origen_transporte 571 | (type INSTANCE) 572 | ;+ (allowed-classes Destino) 573 | (default [pr9_Class6]) 574 | ;+ (cardinality 1 1) 575 | (create-accessor read-write)) 576 | (single-slot duracion_translado 577 | ;+ (comment "En horas") 578 | (type FLOAT) 579 | (range 0.0 %3FVARIABLE) 580 | ;+ (cardinality 0 1) 581 | (create-accessor read-write)) 582 | (single-slot hora_salida 583 | (type INTEGER) 584 | (range 0 2359) 585 | ;+ (cardinality 0 1) 586 | (create-accessor read-write)) 587 | (single-slot nombre_transporte 588 | ;+ (comment "El nombre del transporte.") 589 | (type STRING) 590 | ;+ (cardinality 1 1) 591 | (create-accessor read-write)) 592 | (single-slot id_transporte 593 | (type STRING) 594 | ;+ (cardinality 1 1) 595 | (create-accessor read-write)) 596 | (single-slot clase_transporte 597 | (type SYMBOL) 598 | (allowed-values turista bussiness primera) 599 | ;+ (cardinality 1 1) 600 | (create-accessor read-write)) 601 | (single-slot precio_transporte_persona 602 | (type FLOAT) 603 | (range 0.0 %3FVARIABLE) 604 | (default 100.0) 605 | ;+ (cardinality 1 1) 606 | (create-accessor read-write)) 607 | (single-slot destino_transporte 608 | (type INSTANCE) 609 | ;+ (allowed-classes Destino) 610 | ;+ (cardinality 1 1) 611 | (create-accessor read-write))) 612 | 613 | (defclass TransporteVIP 614 | (is-a Transporte) 615 | (role concrete) 616 | (single-slot clase_transporte 617 | (type SYMBOL) 618 | (allowed-values bussiness primera) 619 | ;+ (cardinality 1 1) 620 | (create-accessor read-write))) 621 | 622 | (defclass TransporteTurista 623 | (is-a Transporte) 624 | (role concrete) 625 | (single-slot clase_transporte 626 | (type SYMBOL) 627 | (allowed-values turista) 628 | ;+ (cardinality 1 1) 629 | (create-accessor read-write))) 630 | 631 | (defclass Region 632 | (is-a USER) 633 | (role concrete) 634 | (single-slot pais_region 635 | ;+ (comment "País al que pertenece la región.") 636 | (type INSTANCE) 637 | ;+ (allowed-classes Pais) 638 | ;+ (cardinality 1 1) 639 | (create-accessor read-write)) 640 | (multislot idioma_region 641 | ;+ (comment "El idioma oficial hablado en la región (por ejemplo, en Cataluña catalán y español)") 642 | (type STRING) 643 | (cardinality 1 ?VARIABLE) 644 | (create-accessor read-write)) 645 | (single-slot nombre_region 646 | ;+ (comment "El nombre de la región, comunidad autónoma o equivalente división de un estado") 647 | (type STRING) 648 | ;+ (cardinality 1 1) 649 | (create-accessor read-write))) 650 | 651 | (defclass Pais 652 | (is-a USER) 653 | (role concrete) 654 | (single-slot num_habitantes 655 | (type INTEGER) 656 | (range 0 %3FVARIABLE) 657 | ;+ (cardinality 0 1) 658 | (create-accessor read-write)) 659 | (single-slot nombre_pais 660 | ;+ (comment "El nombre del país") 661 | (type STRING) 662 | ;+ (cardinality 1 1) 663 | (create-accessor read-write))) 664 | 665 | (defclass Destino 666 | (is-a USER) 667 | (role concrete) 668 | (single-slot nombre_destino 669 | (type STRING) 670 | ;+ (cardinality 1 1) 671 | (create-accessor read-write)) 672 | (single-slot region_destino 673 | ;+ (comment "Región a la que pertenece") 674 | (type INSTANCE) 675 | ;+ (allowed-classes Region) 676 | ;+ (cardinality 1 1) 677 | (create-accessor read-write)) 678 | (single-slot clima 679 | (type SYMBOL) 680 | (allowed-values calido frio) 681 | ;+ (cardinality 1 1) 682 | (create-accessor read-write)) 683 | (multislot tipo_destino 684 | (type SYMBOL) 685 | (allowed-values playa relax cultura compras deporte aventura experienciaGastronomica altaCocina) 686 | (default compras) 687 | (cardinality 1 ?VARIABLE) 688 | (create-accessor read-write)) 689 | (multislot viajes 690 | (type INSTANCE) 691 | ;+ (allowed-classes Viaje) 692 | (create-accessor read-write))) 693 | 694 | (defclass Cadena 695 | (is-a USER) 696 | (role concrete) 697 | (single-slot numero_empleados 698 | (type INTEGER) 699 | (range 0 %3FVARIABLE) 700 | ;+ (cardinality 0 1) 701 | (create-accessor read-write)) 702 | (single-slot nombre_empresa 703 | (type STRING) 704 | ;+ (cardinality 1 1) 705 | (create-accessor read-write)) 706 | (multislot tiene 707 | ;+ (comment "Alojamientos de la cadena o empresa.") 708 | (type INSTANCE) 709 | ;+ (allowed-classes Alojamiento) 710 | (create-accessor read-write))) 711 | 712 | (defclass Usuario 713 | (is-a USER) 714 | (role concrete) 715 | (single-slot sexo 716 | (type SYMBOL) 717 | (allowed-values hombre mujer) 718 | ;+ (cardinality 1 1) 719 | (create-accessor read-write)) 720 | (single-slot nacionalidad 721 | ;+ (comment "País de origen") 722 | (type INSTANCE) 723 | ;+ (allowed-classes Pais) 724 | ;+ (cardinality 1 1) 725 | (create-accessor read-write)) 726 | (single-slot num_pasajeros 727 | (type INTEGER) 728 | (range 1 8) 729 | (default 1) 730 | ;+ (cardinality 1 1) 731 | (create-accessor read-write)) 732 | (multislot viajes_recomendados 733 | (type INSTANCE) 734 | ;+ (allowed-classes Viaje) 735 | (create-accessor read-write)) 736 | (single-slot edad 737 | (type INTEGER) 738 | (range 18 %3FVARIABLE) 739 | (default 25) 740 | ;+ (cardinality 1 1) 741 | (create-accessor read-write)) 742 | (single-slot nombre_usuario 743 | (type STRING) 744 | ;+ (cardinality 1 1) 745 | (create-accessor read-write))) 746 | 747 | (defclass ViajeDeseado 748 | (is-a USER) 749 | (role concrete) 750 | (multislot prefiere 751 | (type SYMBOL) 752 | (allowed-values urbano descanso culinario deportivo) 753 | (cardinality 1 ?VARIABLE) 754 | (create-accessor read-write)) 755 | (single-slot usuario 756 | (type INSTANCE) 757 | ;+ (allowed-classes Usuario) 758 | ;+ (cardinality 1 1) 759 | (create-accessor read-write)) 760 | (single-slot regimen_comida_deseado 761 | (type SYMBOL) 762 | (allowed-values media_pension desayuno pension_completa todo_incluido) 763 | (default desayuno) 764 | ;+ (cardinality 1 1) 765 | (create-accessor read-write)) 766 | (single-slot origen 767 | (type INSTANCE) 768 | ;+ (allowed-classes Destino) 769 | (default [pr9_Class6]) 770 | ;+ (cardinality 1 1) 771 | (create-accessor read-write)) 772 | (single-slot duracion 773 | ;+ (comment "En días") 774 | (type INTEGER) 775 | (range 1 %3FVARIABLE) 776 | (default 3) 777 | ;+ (cardinality 1 1) 778 | (create-accessor read-write)) 779 | (single-slot presupuesto 780 | (type STRING) 781 | (default "1000000") 782 | ;+ (cardinality 1 1) 783 | (create-accessor read-write)) 784 | (single-slot clima 785 | (type SYMBOL) 786 | (allowed-values calido frio) 787 | ;+ (cardinality 1 1) 788 | (create-accessor read-write))) --------------------------------------------------------------------------------