Unsatisfiability Reasoning in ORM Conceptual Schemes

@inproceedings{Jarrar2006UnsatisfiabilityRI,
  title={Unsatisfiability Reasoning in ORM Conceptual Schemes},
  author={Mustafa Jarrar and S. Heymans},
  booktitle={EDBT Workshops},
  year={2006}
}
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… Expand
Lightweight formalization and validation of ORM models
Towards Automated Reasoning on ORM Schemes
Scalable satisfiability checking and test data generation from modeling diagrams
Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic
ORM2: Formalisation and Encoding in OWL2
Scalable automatic test data generation from modeling diagrams
The formalisation of ORM 2 and its encoding in OWL 2
The formalisation of ORM2 and its encoding in OWL2
...
1
2
3
...

References

SHOWING 1-10 OF 27 REFERENCES
A Fomalization of the Binary Object-Role Model based on Logic
A Logic Framework for a Semantics of Object-Oriented Data Modeling
Information Modelling and Relational Databases
Information integration: conceptual modeling and reasoning support
Modeling for Data and Business Rules
...
1
2
3
...