LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13211
 Functions: 

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
 Modeling@SAP
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
 



License

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: