Arbeitsbereich WSVFachbereich InformatikUniversität Hamburg
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