Bringing Together Description Logics and Database in an Object Oriented Model

Description logics have powerful deductive capabilities but rely on a weakly structured model. Databases provide storage optimization and offer better structuring capacities, especially within the object-oriented paradigm. We propose a model which offers the deductive capabilities of description logics and the structuring possibilities of the object approach. We distinguish between three types of classes : concrete classes, where objects are instantiated, virtual classes, which are subsets of concrete classes, corresponding to database object-preserving views, and abstract classes, which factor common properties of objects from different concrete classes. A schema in this model can be translated into a description logics schema and into a database schema. The former represents the deductive part and the latter deals with the storage aspect.

[1]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

[2]  Sophia Drossopoulou,et al.  Fickle : Dynamic Object Re-classification , 2001, ECOOP.

[3]  Giorgio Ghelli,et al.  Extensible Objects for Database Evolution: Language Features and Implementation Issues , 1995, DBPL.

[4]  Roland Ducournau,et al.  Spécialisation et sous-typage : thème et variations , 2002, Tech. Sci. Informatiques.

[5]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[6]  Markus Tresch,et al.  The COCOON object model , 1992 .

[7]  Ana Simonet,et al.  Probabilistic classification in Osiris, a view-based OO DBMS and KBMS , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

[8]  Elisa Bertino,et al.  A Formal Definition of the Chimera Object-Oriented Data Model , 1998, Journal of Intelligent Information Systems.

[9]  Paolo Bresciani Some Research Trends in KR & DB , 1996, KRDB.

[10]  Elke A. Rundensteiner,et al.  Using object-oriented principles to optimize update propagation to materialized views , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[11]  Ana Simonet,et al.  Object Space Partitioning in a DL-Like Database and Knowledge Base Management System , 2001, DEXA.

[12]  Diego Calvanese,et al.  Structured Objects: Modeling and Reasoning , 1995, DOOD.

[13]  Alexander Borgida,et al.  Loading data into description reasoners , 1993, SIGMOD Conference.

[14]  Nicola Guarino,et al.  Identity and Subsumption , 2002 .

[15]  Stefan Decker,et al.  On Domain-Specific Declarative Knowledge Representation and Database Languages , 1998, KRDB.

[16]  Maria Lapata The Semantics of Relationships: An Interdisciplinary Perspective , 2003 .

[17]  Ana Simonet,et al.  Objects with Views and Constraints : From Databases to Knowledge bases , 1994, OOIS.

[18]  Craig Chambers,et al.  Predicate Classes , 1993, ECOOP.