DL-Lite: Practical Reasoning for Rich Dls

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004 International Workshop on Description Logics  
In this paper we study a DL rich enough to express UML class diagrams including ISA and disjointness between classes (but not covering constraints), typing of associations, and participation and functional cardinality constraints. For such a DL, which we call DL-Lite, we propose novel reasoning techniques for a variety of tasks, notably including query containment and query answering for conjunctive queries over concepts and roles. The techniques are based on query containment under constraints
more » ... typical of databases. A prototype implementation of DL-Lite has been developed and experimented with.
dblp:conf/dlog/CalvaneseGLRV04 fatcat:qvu2effawzgofishbl7h3mbsdq