Datenbankseminar im Wintersemester 2006/2007:
Prozessverarbeitung und konzeptionelles Content-Management

@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, http://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}
}

@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, http://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}
}

@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, http://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}
}

@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, http://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}
}

@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}
}

@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;}
}

@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}
}

@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 = { http://www.adrem.ua.ac.be/bibrem/pubs/CDHPPODS2006.pdf },
  PUBLISHER = {ACM Press}
}

@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}
}

@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.}
}

@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}
}

@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}
}

@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.}
}

@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}
}

@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}
}

@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}
}

@ARTICLE{1108908,
  AUTHOR = {Xinwen Zhang and Francesco Parisi-Presicce and Ravi Sandhu and Jaehong
	Park},
  TITLE = {Formal 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}
}

@PROCEEDINGS{DBLP:conf/krmed/2004,
  TITLE = {K{R}-{MED} 2004, {F}irst {I}nternational {W}orkshop on {F}ormal {B}iomedical
	{K}nowledge {R}epresentation, {P}roceedings of the {KR} 2004 {W}orkshop
	on {F}ormal {B}iomedical {K}nowledge {R}epresentation, {W}histler,
	{BC}, {C}anada, 1 {J}une 2004},
  YEAR = {2004},
  EDITOR = {Udo Hahn},
  VOLUME = {102},
  SERIES = {CEUR Workshop Proceedings},
  PUBLISHER = {CEUR-WS.org},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {K{R}-{MED}}
}

@PROCEEDINGS{JMS03,
  TITLE = {Proceedings {A}ustralasian {I}nformation {S}ecurity {W}orkshop ({AISW}2003)},
  YEAR = {2003},
  EDITOR = {C. Johnson and P. Montague and C. Steketee},
  VOLUME = {21},
  SERIES = {Conferences in Research and Practice in Information Technology},
  PUBLISHER = {Australian Computer Society, Inc.},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {A{ISW}}
}

@PROCEEDINGS{DBLP:conf/ilp/2005,
  TITLE = {Inductive {L}ogic {P}rogramming, 15th {I}nternational {C}onference,
	{ILP} 2005, {B}onn, {G}ermany, {A}ugust 10-13, 2005, {P}roceedings},
  YEAR = {2005},
  EDITOR = {Stefan Kramer and Bernhard Pfahringer},
  VOLUME = {3625},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {I{LP}},
  ISBN = {3-540-28177-0}
}

@PROCEEDINGS{DBLP:conf/esws/2005,
  TITLE = {The {S}emantic {W}eb: {R}esearch and {A}pplications, {S}econd {E}uropean
	{S}emantic {W}eb {C}onference, {ESWC} 2005, {H}eraklion, {C}rete,
	{G}reece, {M}ay 29 - {J}une 1, 2005, {P}roceedings},
  YEAR = {2005},
  EDITOR = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and J{\'e}r{\^o}me Euzenat},
  VOLUME = {3532},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {E{SWC}},
  ISBN = {3-540-26124-9}
}

@PROCEEDINGS{DBLP:conf/esws/2006,
  TITLE = {The {S}emantic {W}eb: {R}esearch and {A}pplications, 3rd {E}uropean
	{S}emantic {W}eb {C}onference, {ESWC} 2006, {B}udva, {M}ontenegro,
	{J}une 11-14, 2006, {P}roceedings},
  YEAR = {2006},
  EDITOR = {York Sure and John Domingue},
  VOLUME = {4011},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {E{SWC}},
  ISBN = {3-540-34544-2}
}

This file has been generated by bibtex2html 1.79