Corpus ID: 16913759

Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

@article{Keet2007MappingTO,
  title={Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd},
  author={C. M. Keet},
  journal={ArXiv},
  year={2007},
  volume={abs/cs/0702089}
}
  • C. M. Keet
  • Published 2007
  • Computer Science
  • ArXiv
  • In recent years, several efforts have been made to enhance conceptual data modelling with automated reasoning to improve the model's quality and derive implicit information. One approach to achieve this in implementations, is to constrain the language. Advances in Description Logics can help choosing the right language to have greatest expressiveness yet to remain within the decidable fragment of first order logic to realise a workable implementation with good performance using DL reasoners… CONTINUE READING
    A formal comparison of conceptual data modeling languages
    • 10
    • PDF
    The formalisation of ORM 2 and its encoding in OWL 2
    • 1
    • Highly Influenced
    • PDF
    A Design for Coordinated and Logics-mediated Conceptual Modelling
    • 4
    • PDF
    Conceptual Modelling in ORM by Reasoning
    ORM2 Encoding into Description Logic (Extended Abstract)
    • 4
    • Highly Influenced
    • PDF
    Evidence-based lean logic profiles for conceptual data modelling languages
    Evidence-based lean conceptual data modelling languages

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 54 REFERENCES
    Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
    • 25
    • PDF
    Towards Automated Reasoning on ORM Schemes
    • 43
    • Highly Influential
    Linking Data to Ontologies: The Description Logic DL-Lite_A
    • 71
    • PDF
    Formal definition of a conceptual language for the description and manipulation of information models
    • 160
    • PDF
    Identification Constraints and Functional Dependencies in Description Logics
    • 119
    • Highly Influential
    • PDF
    Reasoning on UML class diagrams
    • 558
    • Highly Influential
    • PDF
    Description Logic Framework for Information Integration
    • 295
    • PDF