Sciweavers

60
Voted
EDBTW
2006
Springer
15 years 19 days ago
Unsatisfiability Reasoning in ORM Conceptual Schemes
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...
Mustafa Jarrar, Stijn Heymans