Zusammenfassung
Die effiziente Unterstützung wissensbasierter Systeme durch ein Datenbanksystem setzt voraus, daß ihre typischen Modellierungsmechanismen möglichst direkt und vollständig auf Modellierungskonstrukte des Datenbanksystems abgebildet und zur Beschleunigung der Anfrageverarbeitung eingesetzt werden. Das deduktive Datenbanksystem LILOG-DB erlaubt die Darstellung von Konzepthierarchien (isa-Hierarchien, taxonomische Hierarchien) in Form von Sortenverbänden. Konzept-interne Strukturen (analog zu Slots bzw. Rollen) sind ebenso darstellbar wie Abhängigkeiten zwischen ihren Eigenschaften (z.B. role value maps).
Um Massendaten trotz mächtiger Modellierungskonstrukte noch effizient verarbeiten zu können, müssen häufig vorkommende Operationen auf Sortenverbänden besonders optimiert werden. Wir zeigen hierzu eine Technik zur Compilation von Sortenverbänden und zugehörigen Constraints. Darüberhinaus demonstrieren wir, wie an Konzepte angeheftete, benutzerdefinierte Prozeduren — die z.B. in Frame-basierten Systemen in Form von active values und active images vorkommen — unter Rückgriff auf eine erweiterbare Datenbankalgebra realisiert werden können. Abschließend werden einige Probleme beim Verschmelzen deduktiver Datenbanksysteme und wissensbasierter Systeme zu echten Wissensbanksystemen diskutiert.
Diese Arbeit entstand im Rahmen des LILOG-Projeks der IBM Deutschland GmbH.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
S. Abiteboul, P.C. Fischer, H.-J. Schek (eds.): Nested Relations and Complex Objects in Databases. Lecture Notes in Computer Science, Vol. 361, Springer, 1989.
H. Aït-Kaci: An Algebraic Semantics Approach to Effective Resolution of Type Equations. Theor. Computer Science, Vol. 45, 1986, 293–351.
A. Albano, G. Ghelli, R. Orsini: Types for Databases: The Galileo Experience. 2nd Int. Workshop of Database Programming Languages, Oregon, 1989, 170–178.
C. Beeri, E. Nasr, S. Tsur: Embedding ψ-terms in a Horn-Clause Logic Language. Third Intern. Conf. on Data and Knowledge Bases, Jerusalem, 1988, 347–359.
S. Benzschawel, E. Gehlen, M. Ley, T. Ludwig, A. Maier, B. Walter: LILOG-DB: Database Support for Knowledge Based Systems. In: O. Herzog, C.-R. Rollinger, Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence, Vol. II, Springer, 1991, erscheint.
R.J. Brachmann, J.G. Schmölze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, Vol. 9, 1985, 171–216.
M. Carey (ed.): Database Engineering, Vol. 6, 1987, Special Issue on Extensible Database Systems.
E.F. Codd: A Relational Model for Large Shared Data Banks. Communications of the ACM, Vol. 13, 1972, 377–387.
R. Fikes, T. Kehler: The Role of Frame-Based Representation in Reasoning. Communications of the ACM, Vol. 28, Nb. 9, 1985, 904–920.
M. Kifer, G. Lausen: F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. Proc. of ACM SIGMOD Conf. on Management of Data, 1989, 134–146.
G. Klose, E. Lang, T. Pirlein: Die Ontologie und Axiomatik der Wissensbasis von LEU2. IWBS Report 171, 1991, IBM Germany, Stuttgart.
T. Ludwig: FLL: A First-Order Language for Deductive Retrieval of Feature Terms. IWBS Report 57, 1988, IBM Germany, Stuttgart.
T. Ludwig: Compilation of complex DATALOG with Stratified Negation. In: Proc. of the 8th British National Conference on Databases, York, 1990, Pitman, pp. 85–107.
T. Ludwig: A Brief Overview of LILOG-DB. 6th Int. Conf. on Data Engineering, 1990, 420–427.
A. Maier: Sort-Lattice Management in LILOG-DB. IBM Germany, IWBS-Report 99, 1989.
A. Maier, M. Ley, E. Gehlen: Sort Processing in a Deductive Database System. IWBS Report 154, 1991, IBM Germany, Stuttgart.
A. Maier: Optimierung und Compilation von Sorten-Constraints in LILOG-DB. IWBS Report, erscheint.
M. Minski: A Framework for Representing Knowledge, in: Winston, P. (ed.): The Psychology of Computer Vision, McGraw Hill, 1975.
J. Peckham, F. Maryanski: Semantic Data Models. ACM Computing Surveys 20 (3), 155–189 (1988).
R. Reiter: On Closed World Databases. In: Logic and Databases, Plenum Press, New York, 1978.
S. Shieber: An Introduction to Unification-Based Approaches to Grammar. CLSI Lecture Notes, Vol. 4, 1986, Stanford University, CA.
S. Tsur, C. Zaniolo: LDL: A Logic-Based Data-Language. Proc. of the 12th Int. Conf. on Very Large Data Bases, Kyoto, 1986, 33–41.
S.B. Zdonik, D. Maier (eds.): Readings in Object-Oriented Databases, Morgan Kaufmann, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maier, A., Walter, B. (1992). Abbildung Kl-typischer Modellierungsmechanismen auf Datenbanktechnologien. In: Studer, R. (eds) Informationssysteme und Künstliche Intelligenz: Modellierung. Informatik-Fachberichte, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77312-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-77312-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55182-9
Online ISBN: 978-3-642-77312-9
eBook Packages: Springer Book Archive