Wintersemester 2006/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
  • Maschinelles Lernen von Konzepten
  • Zugriffssteuerung, Prozessmodellierung

     

Vortragstermine

DatumVortragenderBetreuerThemapdf
30.11.2006Roy BartschGastvortrag: Abstraktionsintegration

 

07.12.2006Long MaG. FiedlerLocal Models Semantics

Abstract

14.12.2006Özgün BayramogluG. FiedlerThe Logic of Actual Obligation

entfällt

21.12.2006Andreas CzerniakP. SchmidtWorkflows und SicherheitAbstract

 

 


Themenübersicht

Nr.

Thema

1.

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 = {C{OWL}: {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 = {http://citeseer.ist.psu.edu/bouquet03cowl.html}
}
[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 = {Using {C}-{OWL} for the alignment and merging of medical ontologies.},
BOOKTITLE = {K{R}-{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}
}

2.
Semantic Matching
Fausto Giunchiglia, Mikalai Yatskevich, and Enrico Giunchiglia. Efficient Semantic Matching. In Gómez-Pérez and Euzenat [GPE05], pages 272-289.

@INPROCEEDINGS{DBLP:conf/esws/GiunchigliaYG05,
AUTHOR = {Fausto Giunchiglia and Mikalai Yatskevich and Enrico Giunchiglia},
TITLE = {Efficient {S}emantic {M}atching.},
BOOKTITLE = {E{SWC}},
YEAR = {2005},
PAGES = {272-289},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/esws/2005},
EE = {http://dx.doi.org/10.1007/11431053_19},
PDF = {http://dx.doi.org/10.1007/11431053_19}
}

Luciano Serafini, Stefano Zanobini, Simone Sceffer, and Paolo Bouquet. Matching Hierarchical Classifications with Attributes. In Sure and Domingue [SD06], pages 4-18.

@INPROCEEDINGS{DBLP:conf/esws/SerafiniZSB06,
AUTHOR = {Luciano Serafini and Stefano Zanobini and Simone Sceffer and Paolo
Bouquet},
TITLE = {Matching {H}ierarchical {C}lassifications with {A}ttributes.},
BOOKTITLE = {E{SWC}},
YEAR = {2006},
PAGES = {4-18},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/esws/2006},
EE = {http://dx.doi.org/10.1007/11762256_4},
PDF = {http://dx.doi.org/10.1007/11762256_4}
}

3.

Beschreibungslogiken und Datalog
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: integrating Datalog and description logics. J. of Intelligent and Cooperative Information Systems, 10:227-252, 1998.

@ARTICLE{doni-lenz-nard-scha-98,
AUTHOR = {Donini, Francesco M. and Lenzerini, Maurizio and Nardi,
Daniele and Schaerf, Andrea},
TITLE = {A{L}-log: integrating {D}atalog and description logics},
JOURNAL = {J. of {I}ntelligent and {C}ooperative {I}nformation {S}ystems},
YEAR = {1998},
VOLUME = {10},
PAGES = {227-252},
EE = {http://www.dis.uniroma1.it/~nardi/Ricerca/papers-html/doni-lenz-nard-scha-98.html},
URL = {http://www.dis.uniroma1.it/~nardi/Ricerca/papers-html/doni-lenz-nard-scha-98.html}
}

4.



Beschreibungslogiken und Lernbarkeit
J. Kietz. Learnability of description logic programs (Extended Technical Report). Technical report, kdlabs AG, Flurstr. 32, 8022 Zürich, Switzerland, 2003.

@TECHREPORT{kietz03learnability,
AUTHOR = {J. Kietz},
TITLE = {Learnability of description logic programs ({E}xtended {T}echnical
{R}eport)},
INSTITUTION = {kdlabs AG, Flurstr. 32, 8022 Zürich, Switzerland},
YEAR = {2003},
PDF = {http://www.kietz.ch/kietz-ilp02-techrep.pdf},
TEXT = {J.-U. Kietz. Learnability of description logic programs. In S. Matwin and
C. Sammut, editors, Inductive Logic Programming, volume 2583 of Lecture
Notes in Artificial Intelligence, pages 117--132. Springer, 2003.}
}

5.
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 = {Pragmatic {R}easoning: {P}ragmatic {S}emantics and {S}emantic {P}ragmatics},
BOOKTITLE = {Modeling 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;}
}

6.

Local Models Semantics

Chiara Ghidini and Fausto Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality+Compatibility. Artificial Intelligence, 127(2):221-259, 2001.

@ARTICLE{ghidini-giunchiglia_f:2001a,
AUTHOR = {Chiara Ghidini and Fausto Giunchiglia},
TITLE = {Local {M}odels {S}emantics, or {C}ontextual {R}easoning $=$ {L}ocality$\,+\,${C}ompatibility},
JOURNAL = {Artificial {I}ntelligence},
YEAR = {2001},
VOLUME = {127},
PAGES = {221--259},
NUMBER = {2},
TOPIC = {kr;context;epistemic-logic;propositional-attitudes; reasoning-about-knowledge;kr-course;},
XREF = {Conference Publication: ghidini-giunchiglia:1998a.}
}

Fausto Giunchiglia and Chiara Ghidini. Local Models Semantics, or Contextual Reasoning = Locality+Compatibility. In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 282-289, San Francisco, California, 1998. Morgan Kaufmann.

@INPROCEEDINGS{giunchiglia_f-ghidini:1998a,
AUTHOR = {Fausto Giunchiglia and Chiara Ghidini},
TITLE = {Local {M}odels {S}emantics, or {C}ontextual {R}easoning $=$ {L}ocality$\,+\,${C}ompatibility},
BOOKTITLE = {K{R}'98: {P}rinciples of {K}nowledge {R}epresentation and {R}easoning},
YEAR = {1998},
EDITOR = {Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro},
PAGES = {282--289},
ADDRESS = {San Francisco, California},
PUBLISHER = {Morgan Kaufmann},
TOPIC = {kr;context;epistemic-logic;propositional-attitudes; reasoning-about-knowledge;kr-course;},
XREF = {Also IRST-Technical Report 9701-07, IRST, Trento, Italy}
}

7.

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 = {Automatic {I}nduction of {A}bduction and {A}bstraction {T}heories
from {O}bservations.},
BOOKTITLE = {I{LP}},
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 = {{{P}ropositional {A}bduction in {M}odal {L}ogic}},
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 = {http://citeseer.ist.psu.edu/mayer94propositional.html}
}

8.

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 = {The 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}
}

9.

Privacy
M. Backes, M. Dürmuth, and R. Steinwandt. An algebra for composing enterprise privacy policies. In ESORICS, volume LNCS 3193, pages 33-52. Springer, 2004.

@INPROCEEDINGS{Backes04,
AUTHOR = {M. Backes and M. D\"urmuth and R. Steinwandt},
TITLE = {An algebra for composing enterprise privacy policies},
BOOKTITLE = {E{SORICS}},
YEAR = {2004},
VOLUME = {LNCS 3193},
PAGES = {33-52},
PUBLISHER = {Springer}
}

10.
Zugriffsregeln und Workflows
T. Calders, S. Dekeyser, J. Hidders, and J. Paredaens. Analyzing workflows implied by instance-dependent access rules. 2006.

@ARTICLE{CDHPPODS2006,
AUTHOR = {Calders, T. and Dekeyser, S. and Hidders, J. and Paredaens, J.},
TITLE = {Analyzing workflows implied by instance-dependent access rules},
JOURNAL = {P{ODS}},
YEAR = {2006},
BOOKTITLE = {P{ODS}2006},
GROUPS = {adrem-published},
PDF = { www.adrem.ua.ac.be/bibrem/pubs/CDHPPODS2006.pdf },
PUBLISHER = {ACM Press}
}
[pdf]

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.



Workflows und Sicherheit
Patrick Hung Kamalakar. A Secure Workflow Model. In AISW, 2003.

@INPROCEEDINGS{kamalakar-secure,
AUTHOR = {Patrick Hung Kamalakar},
TITLE = {A {S}ecure {W}orkflow {M}odel},
BOOKTITLE = {A{ISW}},
YEAR = {2003},
PDF = {http://crpit.com/confpapers/CRPITV21AHung.pdf}
}

13.
Montague-Semantik
Reinhard Muskens. Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19:143-186, 1996.

@ARTICLE{Mus96,
AUTHOR = {Muskens, Reinhard},
TITLE = {Combining {M}ontague semantics and discourse representation},
JOURNAL = {Linguistics and {P}hilosophy},
YEAR = {1996},
VOLUME = {19},
PAGES = {143-186},
DOI = {10.1007/BF00635836},
PDF = {http://dx.doi.org/10.1007/BF00635836}
}