Accions del document
Lectures de tesis doctorals
Propers nous doctors
Pruning and refactoring ontologies in the development of conceptual schemas of information systems
Doctorand: Jordi Conesa Caralt
Director: Dr. Antoni Olivé Ramon.
Resum: Una de les principals dificultats en el desenvolupament de sistemes d'informació (SI) és la creació dels seus esquemes conceptuals. Un esquema conceptual representa el coneixement sobre un domini que un SI determinat necessita saber per ser capaç d'executar les seves funcions. Per a crear un esquema conceptual, els dissenyadors han de conèixer molt bé el domini del SI i tenir una gran capacitat d'abstracció. Tot i que es compleixin tots aquests requisits l'èxit no està garantit.
Les ontologies poden jugar un o més dels següents rols: building, block, support i base. En el camp dels SI, el rol de base ha estat el menys estudiat. Diem que una ontologia juga el rol de base si a partir del seu esquema es deriva l'esquema conceptual. La tasca del dissenyador en aquest rol és la d'estendre l'ontologia fins que inclogui, com a subconjunt, l'esquema conceptual desitjat. El principal objectiu d'aquesta tesis és definir un conjunt de tècniques automà tiques per fer viable l'ús d'ontologies amb el rol de base en l'activitat de modelització conceptual.
S'han identificat tres activitats: refinament, poda i refactoring. Aquestes activitats poden ser executades de forma seqüencial o iterativa i en alguns pocs casos alguna d'aquestes activitats pot ser innecessà ria. Aquesta tesis tracta principalment amb l'activitat de poda i la part automà tica de l'activitat de refactoring. Les seves contribucions principals són:
1. Defineix un mètode que permet crear esquemes conceptuals de SI a partir d'ontologies generals. El mètode automatitza les activitats de poda i refactoring. La sortida del mètode és un esquema conceptual optimitzat utilitzable directament com a esquema conceptual del SI.
2. Defineix un mètode de poda genèric que es pot aplicar a d'altres contextos i d'altres tipus d'ontologies. És el primer mètode de poda que es pot generalitzar a d'altres tipus d'ontologies o estratègies de selecció fent tan sols canvis mÃnims. El mètode ha estat implementat per podar ontologies escrites en UML o en OWL.
3. Defineix el refactoring d'ontologies i presenta un catà leg d'operacions de refactoring d'ontologies. Aquest catà leg ha estat creat, refinat i estenent les operacions de refactoring definides en d'altres contextos.
4. Formalitza algunes operacions de refactoring i defineix les condicions per detectar les seves oportunitats.
5. Defineix un mètode de refactoring que permet reduir la mida d'una ontologia automà ticament.
Dia: 22 de gener del 2008
Hora: 12:00h
Lloc: Sala del Llac. Campus Nord, edifici R.
A New Framework for Max -SAT solving
Doctorand: Federico Heras
Director: Dr. Javier Larrosa.
Resum: El problema de la satisfactibilitat proposicional(SAT) consisteix en determinar si existeix una assignació per a les variables de manera que satisfacin una fórmula FNC. SAT és un conegut problema NP-Complet que apareix en molts contextos.
Una versió d'optimització de SAT és la Mà xima Satisfactibilitat amb pesos. L'anomenarem Max-SAT. donat un conjunt de clà usules amb un pes associat, l'objectiu de Max-SAT és trobar una assignació de les variables de manera que la suma de pesos de las clà usules satisfetes sigui mà xim.
Els algoritmes basats en la recerca local de SAt poden aplicar-se directament a Max-SAT; però els algoritmes basats en la recerca sistemà tica i manipulació de la fórmula han de ser adaptats per Max-SAT.
El treball presentat en aquesta tesis permet veure la relació entre SAT i Max-SAT. Com a resultat hem trobat interessants connexions entre els dos problemes que ens han permès proposar un nou entorn per resoldre Max-SAT. Primer, hem extès un algoritme clà ssic basat en la recerca sistemà tica de SAT a Max-SAT. Després, hem extès la regla de resolució de SAT a Max-SAT. Posteriorment, hem demostrat empÃricament que un algoritme de recerca per Max-SAT es pot accelerar notablement aplicant la nova regla de resolució durant la recerca. I finalment, hem proposat un algoritme que integra totes aquestes tècniques i d'altres provinents de treballs més efectius sobre SAT i Max-SAT.
Dia: 25 de gener del 2008
Hora: 12:00h
Lloc: Sala del Llac. Campus Nord, edifici R.
ilapuentelsi.upc.edu