Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Modern database systems: the object model, interoperability, and beyond
Modern database systems: the object model, interoperability, and beyond
Subsumption between queries to object-oriented databases
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Reasoning in description logics
Principles of knowledge representation
A refined architecture for terminological systems: terminology = schema + views
Artificial Intelligence
A View Mechanism for Object-Oriented Databases
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Objects with Multiple Most Specific Classes
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Object Views and Database Restructuring
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
Static Classification Schemes for an Object System
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference
Object Space Partitioning in a DL-Like Database and Knowledge Base Management System
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
MEDI'11 Proceedings of the First international conference on Model and data engineering
Hi-index | 0.00 |
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.