A Description Logics-Like Model for a Knowledge and Data Management System

摘要: Nowadays data management systems and knowledge tend to converge. Our work is part of the OSIRIS system. This system centered on views which are said object-preserving (i.e. they do not create new objects). led construction a model for System inspired from those Description Logics. In this we have defined main functionalities databases (insert, delete, modify, select) description logics (subsumption). manner show that there close relationship between subsumption calculus query evaluation with notion interpretation. The stored in database can be seen as an interpretation (same meaning first order logic) set axioms constituted by databases' scheme. Typically manipulates what true single interpretation, base all possible interpretations.