Arbeitsbereich WSV
Arbeitsbereich WSVFachbereich InformatikUniversität Hamburg
 Navigation
Forschung
Lehre
Personen
Publikationen
Kontakt
  Beschreibungslogiken
Veranstalter
Zeit/Ort
Inhalt
Literatur
Links
Wir freuen uns über Kommentare und Hinweise zu diesen Seiten.
Letzte Änderung:
17.01.2013
18.415 Seminar: Beschreibungslogiken
Veranstalter
Carola Eschenbach
Hedda Schmidtke
Zeit/Ort
Fr 10-12 F-635
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 kürzlich 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
  • 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 (pp. 1-40). Cambridge UP: Cambridge, NY. Link
  • 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 (pp. 485-495). Cambridge UP: Cambridge, NY.
  • 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 (pp. 43-95). Cambridge UP: Cambridge, NY. Link
  • Brachman, Ronald J. & James G. Schmolze (1985). An overview of the KL-ONE knowledge representation system. Cognitive Science 9. 171-216.
  • Sattler, Ulrike (1996). A concept language extended with different kinds of transitive roles. In Görz, G. & Hölldobler, S. (eds.) 20. Deutsche Jahrestagung für Künstliche Intelligenz (pp. 333-345). Springer Verlag. (.ps.gz)
  • Baader, Franz & Ulrike Sattler (2001). An overview of tableau algorithms for description logics. Studia Logica 69. 5-40. Link
  • Buchheit, Martin, Francesco M. Donini & Andrea Schaerf (1993). Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1. 109-138. (.pdf)
  • 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. (.ps.gz)
  • Schild, K. (1991). A correspondence theory for terminological logics: Preliminary report. In ´Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91) (pp. 466-471). Sydney, Australia. (.html)
  • Borgida, Alex (1996). On the relative expressivness of description logics and predicate logics. Artificial Intelligence 82. 353-367.(.html)
  • Lutz, Carsten, Ulrike Sattler & Frank Wolter (2001). Description logics and the two-variable fragment. In D.L. McGuiness, P.F. Pater-Schneider, C. Goble & R. Möller (eds.) Proceedings of the 2001 International Workshop in Description Logics (DL-2001) (pp. 66-75). Stanford, California, USA. (.ps)
  • Nebel, Bernhard (1991). Terminological cycles: Semantics and computational properties. In J. Sowa (ed.) Principles of Semantic Networks (pp. 331-362). Morgan Kaufmann: San Mateo. (.ps.gz)
  • Baader, F. & P. Hanschke (1991). A scheme for integrating concrete domains into concept languages. DFKI Research Report RR-91-10. Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern. (.ps.gz)
  • Lutz, Carsten (2003). Description logics with concrete domains -- A survey. In Advances in Modal Logics, Vol. 4 (pp. 265-296). World Scientific Publishing Co. Pte. Ltd. (.ps.gz)
  • Baader, Franz, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich & Enrico Franconi (1992). An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. In B. Nebel, W. Swartout & C. Rich (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (pp. 270-281). Morgan Kaufmann: San Mateo. (.ps.gz)
  • Horrocks, Ian R. (1998). Using an expressive description logic: FaCT or fiction? In Anthony G. Cohn, Lenhart Schubert & Stuart C. Shapiro (eds.) KR'98: Principles of Knowledge Representation and Reasoning (pp. 636-645). Morgan Kaufmann: San Francisco, California. (.html)
  • Horrocks, I. (1998). The FaCT system. In H. de Swart (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'98 (pp. 307-312). Springer-Verlag. (.ps.gz)
  • Horrocks, Ian & Peter Patel-Schneider (1999). Optimizing description logic subsumption. Journal of Logic and Computation 9. 267-293. (.pdf)
  • Sattler, Ulrike (1995). A concept language for an engeneering application with part-whole relations. In A. Borgida, M. Lenzerini, D. Nardi & B. Nebel (eds.) Proceedings of the International Workshop on Description Logics (pp. 119-123). Rome. (.ps.gz)
  • Padgham, Lin & Patrick Lambrix (1994). A framework for part-of hierarchies in terminological logics. In J. Doyle, E. Sandewall & P. Torasso (eds.), Principles of Knowledge Representation and Reasoning, KR-94 (pp. 485-496). San Mateo, CA: Morgan Kaufmann. (.ps.gz)
  • Horrocks, Ian, Peter F. Patel-Schneider & Frank van Harmelen (2003). From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1. 7-26. (.pdf)
  • Fensel, Dieter, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness & Peter F. Patel-Schneider (2001). OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems 16(2). 38-44. (.pdf)
  • Rector, A. & I. Horrocks (1997). Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97). AAAI Press: Menlo Park, California.(.ps)

Weitere interessante Artikel in

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.
Links
Folien zum Themenüberblick