[DL] Second Workshop on Logics and Reasoning for Conceptual Models (LRCM 2016)
maria.keet at uct.ac.za
Wed Dec 23 11:10:48 CET 2015
****Preliminary Call for Papers****
Second Workshop on Logics and Reasoning for Conceptual Models (LRCM 2016)
21st of April 2016, Cape Town, South Africa
http://lrcm2016.cs.uct.ac.za/ (online soon)
15th International Conference on Knowledge Representation and Reasoning (KR 2016)
Cape Town, South Africa, http://kr2016.cs.uct.ac.za/
29th Description Logics workshop (DL 2016), http://dl2016.cs.uct.ac.za/
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.
**** Topics ****
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.
**** 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 at TBA shortly
**** Important dates ****
Submission of papers/abstracts: 7 February 2016
Notification of acceptance: 15 March 2016
Camera-ready copies: 21 March 2016
Workshop: 21 April 2016
**** Organisers ****
Diego Calvanese, Free University of Bozen-Bolzano, Italy, calvanese at inf.unibz.it
Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy alfredo.cuzzocrea at dia.units.it
Maria Keet, University of Cape Town, South Africa, mkeet at cs.uct.ac.za
**** PC Members ****
Depending on the number of submissions, the duration of the workshop will be either half a day or a full day.
UNIVERSITY OF CAPE TOWN
This e-mail is subject to the UCT ICT policies and e-mail disclaimer published on our website at http://www.uct.ac.za/about/policies/emaildisclaimer/ or obtainable from +27 21 650 9111. This e-mail is intended only for the person(s) to whom it is addressed. If the e-mail has reached you in error, please notify the author. If you are not the intended recipient of the e-mail you may not use, disclose, copy, redirect or print the content. If this e-mail is not related to the business of UCT it is sent by the sender in the sender's individual capacity.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl