LRCM 2016

2nd Workshop on Logics and Reasoning for Conceptual Models

April 21, 2016, Cape Town

select your timezone


paper submission:

Workshop

There is an increase in complexity of information systems due to, among others, company mergers with information system integration, upscaling of scientific collaborations, e-government etc., which push the necessity for good quality information systems. An information system’s quality is largely determined in the conceptual modelling stage, and avoiding or fixing errors of the conceptual model saves resources during design, implementation, and maintenance. The size and high expressivity of conceptual models represented in languages such as EER, UML, and ORM require a logic-based approach in the representation of information and adoption of automated reasoning techniques to assist in the development of good quality conceptual models. The theory to achieve this is still in its infancy, however, with only a limited set of theories and tools that address subtopics in this area. This workshop aims at bringing together researchers working on the logic foundations of conceptual data modelling languages and the reasoning techniques that are being developed so as to discuss the latest results in the area.

The workshop will be held at the University of Cape Town, on April 21st, 2016.

The LRCM workshop is co-located with KR 2016 and DL 2016.

Scope

Topics of interest include, but are not limited to:

  • Logics for temporal and spatial conceptual models and BPM

  • Deontic logics for SBVR

  • Other logic-based extensions to standard conceptual modelling languages

  • Unifying formalisms for conceptual schemas

  • Decidable reasoning over conceptual models

  • Dealing with finite and infinite satisfiability of a conceptual model

  • Reasoning over UML state and behaviour diagrams

  • Reasoning techniques for EER/UML/ORM

  • Interaction between ontology languages and conceptual data modelling languages

  • Tools for logic-based modelling and reasoning over conceptual models

  • Experience reports on logic-based modelling and reasoning over conceptual models
  • Logics and reasoning over models for Big Data
To this end, we solicit mainly theoretical contributions with regular talks and implementation/system demonstrations and some modelling experience reports to facilitate cross-fertilisation between theory and praxis.

Selection of presentations is based on peer-review of submitted papers by at least 2 reviewers, with a separation between theory and implementation & experience-type of papers. Due to the low number of submissions, the workshop has been converted into an informal workshop with no peer-reviewing of the few submitted papers and abstracts.

Registration and Venue

  • Registration is free, but please register here for catering purposes.

  • Venue: CS Board room (3rd floor), Computer Science Department, University of Cape Town. The CS department can be found on 18 University Avenue, Upper Campus, Rondebosch.

  • Directions: by car, take the Woolsack Drive entrance of Upper Campus, uphill, and park next to the boom, walk 4 minutes. Public Transport, using the free UCT bus: take the 'Jammie Shuttle' (blue bus) from Hiddingh campus in the city centre to South stop, walk to nearly the other end of campus (8-10 minutes) on University Avenue (seond building on your left-hand side after the large steps); or from Tugwell to North stop, walk 2 minutes on University Avenue and find the CS building on your right-hand side. To get to Tugwell on the cheap: take a minibus taxi in the direction of 'Wynberg', and say 'uct' for where you want to get off (15-25 minutes from the city centre; it's 10 Rand). Or: walk uphill from Main Road anywhere between Rosebank and Rondebosch (about 20 minutes). Or: cab, which is about 150-180 Rand from the city centre, 10-15 minutes.

Tentative Programme

The workshop starts at 14:00 and ends around 17:00 (+ social after that)
  • Title: On Referring Expressions in Conceptual Modelling
    Authors: Alexander Borgida, David Toman and Grant Weddell

  • Title: Ontology Design using Armstrong Relations
    Authors: Henriette Harmse
  • Title: Evidence-based Logics for Conceptual Modelling Language Profiles
    Authors: Pablo Fillottrani and Maria Keet
  • Title: TBA
    Authors: German Braun
  • Title: Crossing the boundary of ”meta” in Conceptual Modeling (cancelled)
    Authors: Maurizio Lenzerini, Lorenzo Lepore and Antonella Poggi
  • Title: Leveraging Equality Generating Dependencies for Chase Termination
    Authors: Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna
  • Panel discussion: Big Data management vs. Small Data management
  • Reception at the UCT club

Important Dates

  • Paper submission deadline: February 17, 2016
  • Notification of acceptance: March 15, 2016
  • Camera-ready copies: March 21, 2016
  • Workshop: April 21, 2016

Submissions

We welcome submissions in LNCS style in the following two formats for oral presentation:
  • Extended abstracts of maximum 2 pages;

  • Research papers of maximum 10 pages.

Both can be submitted in pdf format via the EasyChair website.

Organisation

  • Diego Calvanese (Free University of Bozen-Bolzano, Italy)
  • Alfredo Cuzzocrea (University of Trieste and ICAR-CNR, Italy)
  • Maria Keet (University of Cape Town, South Africa)

Programme Committee


Alessandro Artale (Free University of Bozen-Bolzano, Italy)
Arina Britz (Stellenbosch University, South Africa)
Pablo Fillottrani (Universidad Nacional del Sur, Argentina)
Szymon Klarman (Brunel University London, UK)
Roman Kontchakov (Birkbeck, University of London, UK)
Oliver Kutz (Free University of Bozen-Bolzano, Italy)
Thomas Meyer (University of Cape Town, South Africa)
Marco Montali (Free University of Bozen-Bolzano, Italy)
Alessandro Mosca (SIRIS Academic, Spain)
Till Mossakowski (University of Magdeburg, Germany)
Anna Queralt (Barcelona Supercomputing Center, Spain)
Vladislav Ryzhikov (Free University of Bozen-Bolzano, Italy)
Ernest Teniente (Universitat Politecnica de Catalunya, Spain)
David Toman (University of Waterloo, Canada)