Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)

Authors Diego Calvanese, Sven Hartmann, Ernest Teniente and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.82 MB
  • 35 pages

Document Identifiers

Author Details

Diego Calvanese
Sven Hartmann
Ernest Teniente
and all authors of the abstracts in this report

Cite AsGet BibTex

Diego Calvanese, Sven Hartmann, and Ernest Teniente. Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). In Dagstuhl Reports, Volume 3, Issue 5, pp. 43-77, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas". The quality of an information system is largely determined early in the development cycle, i.e., during requirements specification and conceptual modeling since errors introduced at these stages are usually much more expensive to correct than errors made during design or implementation. Thus, it is desirable to prevent, detect, and correct errors as early as possible in the development process by assessing the correctness of the conceptual schemas built. The high expressivity of conceptual schemas requires to adopt automated reasoning techniques to support the designer in this important task. Research in this area can be classified according to two different dimensions. On the one hand, according to the language used to specify the conceptual schema. On the other hand, according to whether reasoning is performed on the structural schema alone, or also on its dynamic aspects. We find interesting and promising results from all these communities which have usually worked isolatedly. Therefore, the aim of this seminar was to allow them to communicate with each other to avoid duplicate effort and to exploit synergies. The research questions that were pursued in the seminar included, among others: (i) Does it make sense to renounce to decidability to be able to handle the full expressive power of the language used with and without textual integrity constraints? (ii) Which is the current state of the achievements as far as reasoning on the behavioral part is concerned? (iii) Are the existing techniques and tools ready to be used in an industrial environment? (iv) Which are the new challenges for automated reasoning on conceptual schemas?
  • Automated Reasoning
  • Conceptual Schema of an Information System
  • Validation
  • Verification


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail