Sommersemester 2007

 

Die Arbeitsgruppe "Technologie der Informationssysteme" bietet ein Seminar mit Vorträgen rund um aktuelle Forschungsthemen aus dem Bereich der Datenbanken und Informationssysteme an. Neben theoretischen Grundlagen werden auch Anwendungen und aktuelle Technologien angesprochen und diskutiert.

Inhalt:

  • Technologien des "Semantic Web"
  • Anwendungen der Logik im Content-Management
  • Konzeptionelle Modellierung, Design-Pattern, Spezifikationssprachen
  • Datenbanktheorie
  • Multimediadaten und Streaming
  • Unvollständige Informationen in XML
  • Mobile Learning

     

    Vortragstermine

    DatumVortragenderBetreuerThemapdf
    31.05.2007Aristide TchuadjeuProf. KleinStreaming

    Folien

    Zhejiong CuiProf. KleinUnvollständige Information in XML

    entfällt

    21.06.2007Meimei XuR. NoackMobile Learning

    Abstract

    28.06.2007Frank KramerP. SchmidtFormale Spezifikation von ZugriffsrechtenAbstract
    05.07.2007Sebastian KowskiG. FiedlerOntologien und Kontexte im Semantic WebAbstract

     

     


    Themenübersicht

    Nr.

    Thema

    1.

    Design-Pattern und ASM

    Egon Börger. Design Patterns Abstraction and Abstract State Machines. In Beauquier et al.

    @INPROCEEDINGS{BOE05,
    AUTHOR = {Börger, Egon},
    TITLE = {{D}esign {P}atterns {A}bstraction and {A}bstract {S}tate {M}achines},
    CROSSREF = {ASM05},
    OWNER = {fiedler},
    TIMESTAMP = {2007.01.24},
    URL = {www.univ-paris12.fr/lacl/dima/asm05/DesignPattern.ps}
    }
    [ps]

    2.
    Anwendungsspezifische Sprachen
    T. Sloane, M. Mernik, and J. Heering. When and how to develop domain-specific languages, 2003

    @MISC{sloane03when,
    AUTHOR = {T. Sloane and M. Mernik and J. Heering},
    TITLE = {{W}hen and how to develop domain-specific languages},
    YEAR = {2003},
    TEXT = {T. Sloane M. Mernik, J. Heering. When and how to develop domain-specific
    languages. Technical Report Technical Report, SEN-E0309, CWI, 2003.},
    URL = {citeseer.ist.psu.edu/mernik03when.html}
    }
    [html]

    3.

    Funktionale Abhängigkeiten
    Attila Sali, Klaus-Dieter Schewe. Weak Functional Dependencies on Trees with Restructuring. Technical Report 2006/04, Massey University, 2006.

    @TECHREPORT{Sch06,
    AUTHOR = {Sali, Attila, Schewe, Klaus-Dieter},
    TITLE = {{W}eak {F}unctional {D}ependencies on {T}rees with {R}estructuring},
    INSTITUTION = {Massey University},
    YEAR = {2006},
    TYPE = {Technical Report},
    NUMBER = {2006/04},
    OWNER = {fiedler},
    TIMESTAMP = {2007.01.24},
    URL = {http://infosys.massey.ac.nz/research/tech%20reports/TR_2006_04.pdf}
    }

    [pdf]

    4.



    Streaming
    A. Arasu, S. Babu, and J. Widom. The cql continuous query language: semantic foundations and query execution. The VLDB Journal, 15(2):121-142, 2006.

    @ARTICLE{Arasu:vldbjournal,
    AUTHOR = {A. Arasu and S. Babu and J. Widom},
    TITLE = {The CQL continuous query language: semantic foundations and query execution},
    JOURNAL = {The VLDB Journal},
    VOLUME = 15,
    NUMBER = {2},
    PAGES = {121-142},
    YEAR = 2006
    }

    L. Golab and M.T. Özsu. Issues in data stream management. SIGMOD Record, 32(2):5-14, 2003.

    @ARTICLE{Golap:sigmod,
    AUTHOR = {L. Golab and M.T. \"Ozsu},
    TITLE = {Issues in Data Stream Management},
    JOURNAL = {SIGMOD Record},
    VOLUME = 32,
    NUMBER = {2},
    PAGES = {5-14},
    YEAR = 2003
    }

    5.
    Unvollständige Information in XML

    S. Abiteboul, L. Segoufin, and V. Vianu. Representing and querying xml with incomplete information. ACM TODS, 31(1):208-254, 2006.

    @ARTICLE{Abite:tods,
    AUTHOR = {S. Abiteboul and L. Segoufin and V. Vianu},
    TITLE = {{R}epresenting and {Q}uerying {XML} with {I}ncomplete {I}nformation},
    JOURNAL = {ACM TODS},
    YEAR = {2006},
    VOLUME = {31},
    PAGES = {208-254},
    NUMBER = {1},
    OWNER = {fiedler},
    TIMESTAMP = {2007.06.22}
    }

    6.

    Datenaustausch

    R. Fagin, P.G. Kolaitis, R.J. Miller, and L.Popa. Data exchange: Semantics and query answering. In D. Calvanese et al., editor, ICDT-2003, volume 2572 of LNCS, pages 207-224. Springer-Verlag, 2003.

    @INCOLLECTION{fagin:icdt2003,
    AUTHOR = {R. Fagin and P.G. Kolaitis and R.J. Miller and L.Popa},
    TITLE = {{D}ata {E}xchange: {S}emantics and {Q}uery {A}nswering},
    BOOKTITLE = {{ICDT}-2003},
    PUBLISHER = {Springer-Verlag},
    YEAR = {2003},
    EDITOR = {D. Calvanese et al.},
    VOLUME = {2572},
    SERIES = {LNCS},
    PAGES = {207-224},
    OWNER = {fiedler},
    TIMESTAMP = {2007.06.22}
    }

    7.

    Ontologien und Kontexte im Semantic Web

    P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. COWL: Contextualizing Ontologies. 2003.

    @ARTICLE{bouquet03cowl,
    AUTHOR = {P. Bouquet and F. Giunchiglia and F. van Harmelen and L. Serafini
    and H. Stuckenschmidt},
    TITLE = {{COWL}: {C}ontextualizing {O}ntologies},
    YEAR = {2003},
    TEXT = {P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt,
    COWL: Contextualizing Ontologies, Second International Semantic Web Conference
    (ISWC-2003), LNCS vol. 2870, pp. 164-179, Springer Verlag, 2003.},
    URL = {citeseer.ist.psu.edu/bouquet03cowl.html}
    }

    Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, and Luciano Serafini. Using C-OWL for the alignment and merging of medical ontologies. In Hahn [Hah04], pages 88-101.

    @INPROCEEDINGS{DBLP:conf/krmed/StuckenschmidtHBGS04,
    AUTHOR = {Heiner Stuckenschmidt and Frank van Harmelen and Paolo Bouquet and
    Fausto Giunchiglia and Luciano Serafini},
    TITLE = {{U}sing {C}-{OWL} for the alignment and merging of medical ontologies.},
    BOOKTITLE = {{KR}-{MED}},
    YEAR = {2004},
    PAGES = {88-101},
    BIBSOURCE = {DBLP, dblp.uni-trier.de},
    CROSSREF = {DBLP:conf/krmed/2004},
    EE = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-102/stuckenschmidt.pdf},
    PDF = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-102/stuckenschmidt.pdf}
    }

    8.

    Pragmatisches Reasoning

    John Bell. Pragmatic Reasoning: Pragmatic Semantics and Semantic Pragmatics. In Varol Akman, Paolo Bouquet, Richmond Thomason, and Roger A. Young, editors, Modeling and Using Context: Third International and Interdisciplinary Conference, Context 2001, pages 45-58, Berlin, 2001. Springer-Verlag.

    @INPROCEEDINGS{bell_j2:2001a,
    AUTHOR = {John Bell},
    TITLE = {{P}ragmatic {R}easoning: {P}ragmatic {S}emantics and {S}emantic {P}ragmatics},
    BOOKTITLE = {{M}odeling and {U}sing {C}ontext: {T}hird {I}nternational and {I}nterdisciplinary
    {C}onference, {C}ontext 2001},
    YEAR = {2001},
    EDITOR = {Varol Akman and Paolo Bouquet and Richmond Thomason and Roger A.
    Young},
    PAGES = {45--58},
    ADDRESS = {Berlin},
    PUBLISHER = {Springer-Verlag},
    TOPIC = {context;nonmonotonic-logic;nonmonotonic-reasoning;}
    }

    9.

    Abduktion
    Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, and Floriana Esposito. Automatic Induction of Abduction and Abstraction Theories from Observations. In Kramer and Pfahringer [KP05], pages 103-120.

    @INPROCEEDINGS{DBLP:conf/ilp/FerilliBME05,
    AUTHOR = {Stefano Ferilli and Teresa Maria Altomare Basile and Nicola Di Mauro
    and Floriana Esposito},
    TITLE = {{A}utomatic {I}nduction of {A}bduction and {A}bstraction {T}heories
    from {O}bservations.},
    BOOKTITLE = {{ILP}},
    YEAR = {2005},
    PAGES = {103-120},
    BIBSOURCE = {DBLP, dblp.uni-trier.de},
    CROSSREF = {DBLP:conf/ilp/2005},
    EE = {http://dx.doi.org/10.1007/11536314_7},
    PDF = {http://dx.doi.org/10.1007/11536314_7}
    }

    M. C. Mayer and F. Pirri. Propositional Abduction in Modal Logic. Journal of the Interest Group in Pure and Applied Logics, 3 (6):907-919, 1995.

    @ARTICLE{mayer95propositional,
    AUTHOR = {M. C. Mayer and F. Pirri},
    TITLE = {{Propositional Abduction in Modal Logic}},
    JOURNAL = {Journal of the {I}nterest {G}roup in {P}ure and {A}pplied {L}ogics},
    YEAR = {1995},
    VOLUME = {3 (6)},
    PAGES = {907--919},
    PDF = {citeseer.ist.psu.edu/mayer94propositional.html}
    }

    10.
    Modellierung von Aufgaben, Rechten und Pflichten
    Frans Voorbraak. The logic of actual obligation. An alternative approach to deontic logic. Philosophical Studies, 55, Issue 2:173-194, 1989.

    @ARTICLE{Voo89,
    AUTHOR = {Frans Voorbraak},
    TITLE = {{T}he logic of actual obligation. {A}n alternative approach to deontic
    logic.},
    JOURNAL = {Philosophical {S}tudies},
    YEAR = {1989},
    VOLUME = {55, Issue 2},
    PAGES = {173-194},
    DOI = {10.1007/BF00354186},
    OWNER = {fiedler},
    PDF = {http://dx.doi.org/10.1007/BF00354186},
    TIMESTAMP = {2006.02.27}
    }

    11.

    Formale Spezifikation von Zugriffsrechten

    Xinwen Zhang, Francesco Parisi-Presicce, Ravi Sandhu, and Jaehong Park. Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur., 8(4):351-387, 2005.

    @ARTICLE{1108908,
    AUTHOR = {Xinwen Zhang and Francesco Parisi-Presicce and Ravi Sandhu and Jaehong
    Park},
    TITLE = {{F}ormal model and policy specification of usage control},
    JOURNAL = {A{CM} {T}rans. {I}nf. {S}yst. {S}ecur.},
    YEAR = {2005},
    VOLUME = {8},
    PAGES = {351--387},
    NUMBER = {4},
    ADDRESS = {New York, NY, USA},
    DOI = {http://doi.acm.org/10.1145/1108906.1108908},
    ISSN = {1094-9224},
    PDF = {http://www.list.gmu.edu/journals/tissec/p351-zhang.pdf},
    PUBLISHER = {ACM Press}
    }

    12.



    Mobile Learning
    Felipe G. Leite, Milton R. Ramirez, and Jano Moreira de Souza. Learning Communities Support by Mobile Systems Based on Peer-to-Peer Networks. In WISE Workshops, pages 89-101, 2004.

    @INPROCEEDINGS{DBLP:conf/wise/LeiteRS04,
    AUTHOR = {Felipe G. Leite and Milton R. Ramirez and Jano Moreira de Souza},
    TITLE = {{L}earning {C}ommunities {S}upport by {M}obile {S}ystems {B}ased
    on {P}eer-to-{P}eer {N}etworks.},
    BOOKTITLE = {{WISE} {W}orkshops},
    YEAR = {2004},
    PAGES = {89-101},
    BIBSOURCE = {DBLP, dblp.uni-trier.de},
    CROSSREF = {DBLP:conf/wise/2004-w},
    URL = {http://www.springerlink.com/content/8bumcu56hdc7w9qb/}
    }

    Maia Zaharieva and Wolfgang Klas. MobiLearn: An Open Approach for Structuring Content for Mobile Learning Environments. In WISE Workshops, pages 114-124, 2004.

    @INPROCEEDINGS{DBLP:conf/wise/ZaharievaK04,
    AUTHOR = {Maia Zaharieva and Wolfgang Klas},
    TITLE = {{M}obi{L}earn: {A}n {O}pen {A}pproach for {S}tructuring {C}ontent
    for {M}obile {L}earning {E}nvironments.},
    BOOKTITLE = {{WISE} {W}orkshops},
    YEAR = {2004},
    PAGES = {114-124},
    BIBSOURCE = {DBLP, dblp.uni-trier.de},
    CROSSREF = {DBLP:conf/wise/2004-w},
    URL = {http://www.springerlink.com/content/lgr966ca8kf0lt40/}
    }