 |
| Wir freuen uns über zu diesen Seiten. |
|
|
|
|
18.302 Seminar: FGI 3 - Beschreibungslogiken
Wintersemester 2007/08 |
| Veranstalter |
| Carola Eschenbach
|
| Zeit/Ort |
| Mo 14-16 F-334, Beginn: 22.10.07 |
| KVV-Eintrag |
| Verwendbarkeit |
| Teil des
Masterpflichtmoduls MPM1. Weitere Veranstaltungen dieses Moduls: 18.300, 18.301
Im Diplomstudiengang Informatik als Seminar im Hauptstudium und als
Schwerpunktveranstaltung in den Schwerpunkten Sprachverarbeitung, Wissensverarbeitung,
Interaktive Medien anrechenbar. |
| Inhalt |
| Beschreibungslogiken (auch als terminologische Logiken oder KL-ONE-artige Sprachen
bezeichnet) erlauben die Spezifikation von komplexen Terminologien, insbesondere Taxonomien
bzw. Subsumptionshierarchien. Ausgehend von einer solchen Terminologie gibt es eine Reihe
möglicher Inferenzen, z.B. um ein definiertes Konzept automatisch einzuordnen, die
Konsistenz einer Konzeptdefinition zu prüfen oder eine Instanz zu klassifizieren.
Beschreibungslogiken bilden eine Familie logischer Sprachen, die in ihrer
Ausdrucksmächtigkeit zwischen der Aussagenlogik und der Prädikatenlogik stehen. Beispiele
für Beschreibungslogiken mit unterschiedlicher Ausdrucksmächtigkeit sind die drei Sprachen
der OWL-Familie, die im Zusammenhang mit den Standardisierungsbemühungen im Rahmen des
'Semantic Web' entstanden.
In diesem Seminar werden
Beschreibungslogiken unter verschiedenen Perspektiven vorgestellt und diskutiert:
Ausdrucksmächtigkeit vs. Entscheidbarkeit / Komplexität; Korrespondenz zu Fragmenten der
Prädikatenlogik und multimodalen Aussagenlogiken; Terminologisches Wissen (T-Box) vs. Wissen
über Individuen (A-Box); Erweiterung um konkrete Domänen; Inferenz-Dienste; Implementation
von Beweisern für Beschreibungslogiken; Ontologie-Spezifikation mit Beschreibungslogiken;
Erweiterungen zur Erfassung von räumlicher und zeitlicher Information. |
| Literatur |
|
Zu lesen
- 29.10.07: Berners-Lee, Tim, James Hendler & Ora Lassila (2001). The
semantic web. A new form of web content that is meaningful to computers will unleash
a revolution of new possibilities. Scientific American 284 (5). 34-43. (Link)
Lesefragen
- 5.11.07: Nardi, Daniele & Ronald J. Brachman (2003). An introduction to
description logics. In F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi &
P. Patel-Schneider (eds.) The Description Logic Handbook. Theory, Implementation and
Application (pp. 5-44). Cambridge UP: Cambridge, NY. Lesefragen
- 12.11.07: Baader, Franz & Werner Nutt (2003). Basic description logics. In
F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider
(eds.) The Description Logic Handbook. Theory, Implementation and Application (pp.
47--100). Cambridge UP: Cambridge, NY. Lesefragen
|
Themen und Referenzen
- 19.11.07: Wladislaw Debus: OWL
Antoniou, G. & F. van Harmelen (2004).
Web Ontology Language: OWL. In S. Staab & Rudi Studer (eds.) Handbook on
Ontologies (pp. 67--92). Springer.(.pdf)
Vortragsfolien
- 26.11.07: Andreas Imhoff: DLs and Databases
Calvanese, Diego, Giuseppe De
Giacomo, Domenico Lembo, Maurizio Lenzerini & Riccardo Rosati (2005).
DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005 (pp.
602--607). (.pdf)
- 3.12.07: NN: DL Provers
Baader, Franz & Ulrike Sattler (2001). An
overview of tableau algorithms for description logics. Studia Logica 69. 5--40.
(.html)
- 10.12.07: Johannes Hartz: Reasoning Services
Donini, Francesco M., Maurizio
Lenzerini, Daniele Nardi & Andrea Schaerf (1994). Deduction in concept
languages: From subsumption to instance checking. Journal of Logic and Computation
4. 423--452. (.html)
- 17.12.07 und 7.1.08: Lei Chen: Reasoning with T-Boxes
Horrocks, I. &
S. Tobies (2000). Reasoning with axioms: Theory and practice. In Proc. of the 7th
Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR2000) (pp.
285--296). (.html)
- 15.1.08: Bo Na Lee: Reasoning Services
Horrocks, Ian & Peter F.
Patel-Schneider (2003). Reducing OWL entailment to description logic satisfiability.
In Dieter Fensel, Katia Sycara & John Mylopoulos (eds.) Proc. of the 2003
International Semantic Web Conference (ISWC 2003) (pp. 17--29). Springer.(.html)
- 22.1.08: Patrick Koopmann: More expressive DLs
Horrocks, I., U. Sattler
& S. Tobies (1999). Practical reasoning for expressive description logics.
In H. Ganzinger, D. McAllester & A. Voronkov (eds.) Proc. of the 17th Conf.
on Automated Reasoning (LPAR'99) (pp. 161--180). Springer: Berlin. (.html)
- 29.1.08: Martin Burmester: DL support for ontology development
Ghilardi,
Silvio, Carsten Lutz & Frank Wolter (2006). Did I Damage my Ontology? A Case
for Conservative Extensions in Description Logics. In P. Doherty, J. Mylopoulos
& C. Welty (eds.): Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR06) (pp. 187-197). AAAI Press. (.pdf)
|
Hintergrundsmaterial
- Baader, Franz, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi &
Peter Patel-Schneider (eds.) (2003). The Description Logic Handbook. Theory,
Implementation and Application. Cambridge UP: Cambridge, NY
- Baader, Franz (2003). Appendix 1. Description logic terminology. In F. Baader, D.
Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider (eds.) The
Description Logic Handbook. Theory, Implementation and Application (pp. 495-505).
Cambridge UP: Cambridge, NY.
- Chandrasekaran, B., J.R. Josephson & V.R. Benjamins (1999). What are
Ontologies, and why do we need them? IEEE Intelligent Systems January/February.
20-26. (Link)
- Hendler, James (2001). Agents and the Semantic Web. IEEE Intelligent Systems
Journal 16(2). 30-37.
- Horrocks, Ian (2003). Implementation and optimisation techniques. In F. Baader, D.
Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider (eds.) The
Description Logic Handbook. Theory, Implementation and Application (pp. 313--355).
Cambridge UP: Cambridge, NY. (dlhb-09)
- Cuenca Grau, Bernardo, Ian Horrocks, Yevgeny Kazakov & Ulrike Sattler
(2004). Ontology Reuse: Better Safe than Sorry. In D. Calvanese, E. Franconi, V.
Haarslev, D. Lembo, B. Motik, S. Tessaris & A.-Y. Turhan (eds.) Proceedings
of the 20th International Workshop on Description Logics. DL'07 (pp. 41--52).
Bolzano University Press: Bolzano.(.pdf)
- Ergänzende Referenzen pdf-Liste
|
|
| Links |
|
|
|
