Investigations into the use of SNOMED CT to enhance an OpenMRS health information system
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 typical of databases. A prototype implementation of DL-Lite has been developed and experimented with.