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