LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13211

Seminar 13211
Automated Reasoning on Conceptual Schemas

Diego Calvanese (Free University Bozen-Bolzano, IT), Sven Hartmann (TU Clausthal, DE), Ernest Teniente (UPC - Barcelona, ES)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.


Seminar Wide Materials

Alessandro Artale , Free University of Bozen-Bolzano
 Reasoning over Conceptual Data Models –The Description Logic Approach–
Slides: pdf


Thomas Baar , Hochschule für Technik und Wirtschaft - Berlin

Mira Balaban , Ben Gurion University - Beer Sheva
 UML class diagrams -- decision, identification and repair of correctness and quality problems
Abstracts: txt Slides: ppt


Joachim Biskup , TU Dortmund
 A Problem Statement: Representation of Instance-Derivations Based on Dependencies
Abstracts: txt Slides: pdfpdf

 Employing automatic reasoning on conceptual schemas
Other: txt


Xavier Blanc , University of Bordeaux
 Incremental inconsistencies detection with low memory overhead
Abstracts: txt Slides: pdf


Achim D. Brucker , University of Karlskrona Ronneby
Abstracts: txt Slides: pdf

 Reasoning over Secure Business Processes
Abstracts: txt Slides: pdf


Diego Calvanese , Free University of Bozen-Bolzano
 Modeling and Reasoning over Processes and Data
Abstracts: txt Slides: pdf


Marco A. Casanova , PUC - Rio de Janeiro
 Preliminary Report on an Algebra of Lightweight Ontologies
Abstracts: txt Slides: pdfpdf Paper: pdf


Carolina Dania , IMDEA Software Institute - Madrid
 OCL2FOL: Using SMT solvers to automatically reason on conceptual schemata with OCL constraints
Abstracts: txt Slides: pdf


Sophie Dupuy-Chessa , University of Grenoble - LIG
 Metrics for visual notations
Abstracts: txt Slides: pdf


David W. Embley , Brigham Young Univ.
 “Automating Reasoning on Conceptual Schemas” in FamilySearchTM—a Large-Scale Reasoning Application
Abstracts: txt Slides: pptx


Ingo Feinerer , TU Wien
 Constraints on Class Diagrams
Abstracts: txt Slides: pdf


Enrico Franconi , Free University of Bozen-Bolzano
 Reasoning in ORM
Abstracts: txt Paper: pdf


Geri Georg , Colorado State University

Parke Godfrey , York University - Toronto
 Reasoning over Dependencies of the Conceptual Schema
Slides: pdf


Martin Gogolla , Universität Bremen
 Exploring UML and OCL Model Properties with Relational Logic
Abstracts: txt Slides: pdf


Sven Hartmann , TU Clausthal
 Armstrong Instances as a Reasoning Aid
Slides: pdf


Stephen J. Hegner , University of Umeå
 Automated Design of Updateable Database Views: a Framework for Possible Strategies
Abstracts: txt Slides: pdf


C. Maria Keet , University of KwaZulu-Natal - Durban
 An ontology-driven unifying metamodel for UML Class Diagrams, EER, and ORM2
Abstracts: txt Slides: pdf


Roman Kontchakov , Birkbeck, University of London

Mirco Kuhlmann , Universität Bremen

Michael Leuschel , Heinrich-Heine-Universität Düsseldorf
 ProB: Solving Constraints on Large Data and Higher-Order Formal Models
Abstracts: txt Slides: pdf


Jorge Lobo , UPF - Barcelona
 A Declarative Approach for Distributed Computing
Slides: pdfpdf


Carsten Lutz , Universität Bremen

Stephan Maes , TU Dresden
 Reasoning on conceptual schemas of spatial data
Abstracts: txt Slides: pdf


Jerzy Marcinkowski , University of Wroclaw
 On BDD, Finite controllability and the BDD/FCC conjecture
Slides: pdf


Marco Montali , Free University of Bozen-Bolzano
 On the relationship between OBDA and Relational Mapping
Slides: pptx


Alessandro Mosca , Free University of Bozen-Bolzano

Xavier Oriol , UPC - Barcelona
 Reasoning about the Effect of Structural Events in UML
Slides: ppt


Elena V. Ravve , ORT Braude College - Karmiel

Guillem Rull , UPC - Barcelona
 Semantic-based Mappings
Slides: pptx


Klaus-Dieter Schewe , Software Competence Center - Hagenberg
 The Curse of Restructuring in Dependency Theory
Slides: pdf


Ernest Teniente , UPC - Barcelona
 AuRUS: Automated Reasoning on UML/OCL Schemas
Slides: pptx


Bernhard Thalheim , Universität Kiel
 Visual Reasoning with (Functional) Dependencies
Slides: pdf


Daniel Varro , Budapest Univ. of Technology & Economics
 Validation of Complex Domain-Specific Modeling Languages
Abstracts: txt Slides: pptx


Qing Wang , Australian National University
 Reasoning about Dependencies in Schema Mappings
Slides: pdf


Michael Zakharyaschev , Birkbeck, University of London


Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: