The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Our research works are interested in the identification and the representation of the semantic structures of multimedia documents. The semantic structure of a multimedia document ...
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...