Abstract
Nowadays data management systems and knowledge management systems tend to converge. Our work is part of the OSIRIS data and knowledge management system. This system is centered on views which are said object-preserving (i.e. they do not create new objects). Our work led to the construction of a model for the OSIRIS System inspired from those of Description Logics. In this model we have defined the main functionalities of databases (insert, delete, modify, select) and description logics (subsumption). In this manner we show that there is a close relationship between subsumption calculus and query evaluation with the notion of interpretation. The data stored in a database can be seen as an interpretation (same meaning as in first order logic) of the set of axioms constituted by the databases’ scheme. Typically a database manipulates what is true in a single interpretation, a knowledge base what is true in all possible interpretations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Abiteboul, P. Kanellakis, Object identity as a query language primitive, SIGMOD Record (ACM Special Interest Group on Management of Data), n∘ 18(2), pp. 159–173, Juin 1989.
Bulletin de l’AFIA n∘ 34, juillet 1998, Dossier Ingénierie des Connaissances, pp 65–66.
Alsys, Manuel de référence du langage de programmation Ada, 1987.
ANSI/X3/SPARC Study group on database management systems. Interim report, ACM SiGMOD Bulletin 7, N2, 1975.
Beneventano, Bergamaschi, Lodi, Sartori, Using subsumption in semantic query optimisation, IJCAI Workshop on object based representation systems, Août 1993.
D. Bert, R. Echahed, P. Jacquet, ML. Potet et JC. Reynaud, Spécification, Généricité, Prototypage: Aspects du langage LPG, Journal of Technique et Science Informatiques 9 vol 14. pp 1097–1129. 1995.
E. Bertino, A View Mechanism for Object-Oriented Databases, Advances in DB-Technology, Proc. Intl. Conf. on Extending Database Technology (EDBT), Lecture Notes in Computer Science, Number 580, pp. 136–151, Springer, March 1992.
E. Bertino and G. Guerrini, Objects with Multiple Most Specific Classes, ECOOP’95-Object-Oriented Programming, 9th European Conference, Lecture Notes in Computer Science, Vol. 952, pp. 102–126, Springer, 7–11 August 1995.
M. Buchheit, M. Jeusfeld, M. Staud, W. Nutt, Subsumption between Queries to Object-Oriented Databases, EDBT, 1994.
Buchheit, Domini, Nutt, Schaerf, A refined architecture for terminological systems: terminology = schema + views, Artificial Intelligence, Vol 99, 1998.
CLASSIC Description and Reference Manual For the COMMON LISP Implementation Version 2.2.
T. Coupaye, Un modèle d’exécution paramétrique pour systèmes de bases de données, Thèse, LSR-IMAG Université Joseph Fourier, 1996.
Domini, Lenzerini, Nardi, Schaerf, Reasoning in description logics, Principles of Knowledge Representation, pp. 191–236, CSLI Publications, 1996.
J. Doyle, R. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation srvices, in Journal of Artificial Intelligence, vol 48, 1991
J. Euzenat, COURSE de sémantique des modèles de connaissances, DEA d’informatique, Grenoble, 1998.
B. Hollunder, Werner Nutt, Subsumption algorithms for concept languages, Research Report, Deutsches Forschungszentrum für Kïinstliche Intelligenz, Number RR-90-04.
W. Kim (ed), Modern Database Systems. The Object Model Interoperability and Beyond, ACM Press, Addison Wesey Publishing Company, 1995.
Z. Lacroix and C. Delobel and P. Breche, Object Views and Database Restructuring, Lecture Notes in Computer Science, Vol. 1369, 1998.
A. Napoli, Une introduction aux logiques de description, Technical Report, Inria, Institut National de Recherche en Informatique et en Automatique, Number RR-3314.
B. Nebel, Reasoning and Revision in hybrid representation systems, LNAI, n∘ 422, 1990.
A. Sales-Simonet, Types abstraits et bases de données, Thèse, Université scientifique et médicale de Grenoble, 1984.
Scholl, Laasch, Tresch, Updatable Views in Object-Oriented Databases, Proc. 2nd Intl. Conf. on Deductive and Object-Oriented Databases (DOOD), Lecture Notes in Computer Science, n∘ 566, 1991.
A. Simonet, M. Simonet, Objects with Views and Constraints: from Databases to Knowledge Bases, Object-Oriented Information Systems OOIS’94-London, Springer Verlag, pp 182–197, Dec. 1994.
A. Simonet, Les P-TYPES: un modèle pour la définition de bases de connaissances centrées-objets cohérentes, R.R. 751-I laboratoire Artemis, Grenoble, Novembre 1988.
A. Simonet, M. Simonet, C. G. Bassolet, X. Delannoy, R. Hamadi, Static Classification Schemes for an Object System, In: FLAIRS-98, 1 1th Int. FLorida Artificial Intelligence Research Society Conference, AAAI Press, pp 254–258, May 1998.
Souza dos Santos, Abiteboul, Delobel, Virtual schemas and bases, LNCS 779, 1994.
M. Roger, Requêtes dans un SGBD-BC de type objet avec vues, Rapport de Dea, UFR IMA, Grenoble, 1999.
C. Roncancio, Règies actives et règies déductives dans les bases de données à objets, Thèse, Université Joseph Fourier, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roger, M., Simonet, A., Simonet, M. (2000). A Description Logics-Like Model for a Knowledge and Data Management System. In: Ibrahim, M., Küng, J., Revell, N. (eds) Database and Expert Systems Applications. DEXA 2000. Lecture Notes in Computer Science, vol 1873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44469-6_52
Download citation
DOI: https://doi.org/10.1007/3-540-44469-6_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67978-3
Online ISBN: 978-3-540-44469-5
eBook Packages: Springer Book Archive