Reasoning over Extended ER Models

@inproceedings{Artale2007ReasoningOE,
  title={Reasoning over Extended ER Models},
  author={Alessandro Artale and Diego Calvanese and Roman Kontchakov and Vladislav Ryzhikov and Michael Zakharyaschev},
  booktitle={ER},
  year={2007}
}
We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs: ISA between entities and relationships, disjointness and covering of entities and relationships, cardinality constraints for entities in relationships and their refinements as well as multiplicity constraints for attributes. We extend the known EXPTIME-completeness result for UML class diagrams [5] and show that reasoning over… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 61 CITATIONS, ESTIMATED 32% COVERAGE

Extending ALCQIO with Trees

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
  • 2015
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Scenario testing using OWL.

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Checking Full Satisfiability of Conceptual Models

VIEW 7 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Full Satisfiability of UML Class Diagrams

VIEW 10 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

Polynomial encoding of ORM conceptual models in CFDI

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Ontology‐Driven Formal Conceptual Data Modeling for Biological Data Analysis

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2008
2018

CITATION STATISTICS

  • 13 Highly Influenced Citations

  • Averaged 3 Citations per year over the last 3 years

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…