A formalization of the binary object-role model based on logic
Data & Knowledge Engineering
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
A Conceptual Markup Language That Supports Interoperability between Business Rule Modeling Systems
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Information Integration: Conceptual Modeling and Reasoning Support
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
A Logic Framework for a Semantics of Object-Oriented Data Modeling
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Proceedings of the 15th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
Object role modelling and XML-Schema
ER'00 Proceedings of the 19th international conference on Conceptual modeling
An ontology engineering methodology for DOGMA
Applied Ontology - Ontological Foundations of Conceptual Modelling
Tool-supported method for the extraction of OCL from ORM models
BIS'07 Proceedings of the 10th international conference on Business information systems
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An ontology engineering methodology for DOGMA
Applied Ontology - Ontological Foundations of Conceptual Modelling
| Hi-index | 0.00 |
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 naturally arise. Satisfiability checking allows a developer to automatically detect contradicting constraints. However, no complete satisfiability checker is known for ORM. In this paper, we revisit existing patterns from literature that indicate unsatisfiability of ORM schemes i.e., schemes that cannot be populated, and we propose refinements as well as additions for them. Although this does not yield a complete procedure – there may be ORM schemes passing the pattern checks while containing unsatisfiable roles – it yields an efficient and easy to implement detection mechanism (specially in interactive modeling tools) for the most common conceptual modeling mistakes.