2 search results - page 1 / 1 » Unsatisfiability Reasoning in ORM Conceptual Schemes |
EDBTW
2006
Springer
13 years 8 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
ER
2007
Springer
13 years 10 months ago
2007
Springer
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,...