Fyi. Given recent discussion. (01)
-----Original Message-----
From: dl [mailto:dl-bounces@xxxxxxxxx] On Behalf Of Anni-Yasmin Turhan
Sent: Monday, June 01, 2015 5:59 AM
Subject: [DL] CFP: Intl. Workshop on Roles in Semantic Technologies and
Reasoning, 21-25 Sept. 2015, Dresden, Germany (02)
------------------------------------------------------------------------------
CALL FOR PAPERS (03)
1st International Workshop on the Concept of Roles
in Semantic Technologies and Reasoning.
- in conjunction with KI 2015 -
(ICRSR 2015) (04)
https://wwwdb.inf.tu-dresden.de/icrsr2015 (05)
Dresden, Germany, September 21-25, 2015 (06)
------------------------------------------------------------------------------ (07)
The concept of role modeling has been investigated in different
research fields in order to model context-related information,
including - above all - the dynamic change of contexts. However,
often roles have only been used in an isolated way for context
modeling in programming languages, in database modeling or to
specify access control mechanisms. Never have they been used
consistently over all levels of abstraction in the software
development process, i.e. over the modeling of concepts, languages,
applications, and software systems. Only then, software can be
called consistently context-sensitive. It remains an important
research goal to deliver a proof of the capability of consistent
role modeling and its practical applicability. Consistency means
that roles are used systematically for context modeling on all
levels of the modeling process. This includes the concept modeling
(in meta-languages), the language modeling, and the modeling on
the application and software system level. (08)
Automated reasoning processes are important in order to verify the
consistent application of roles for every level of abstraction.
Because of explicitly modelled relationships between identified
roles, reasoning can be additionally employed for determining
derived correlations among them. This facilitates the automated
detection and verification of context changes on different levels
of abstraction. Formal knowledge representation languages such as
Description Logics could be employed for systematically defining
relationships between the identified role concepts and to allow
for reasoning about model transformations and synchronizations.
Verifying and maintaining consistency using an elaborate role
concept offers significant advantages in the field of software
systems engineering because context changes are interrelated on
different levels of abstraction. Potential application fields are
the future smart grid, natural energy based computing, cyber-
physical systems in home, traffic, and factories, enterprise
resource planning software, context-sensitive search engines, etc. (09)
This workshop therefore aims to gather researchers from different
disciplines interested in (some of) the questions mentioned above
and/or working on some aspect of roles in computer science, either
on a representational, computational, or reasoning/explanatory
level. The list of relevant topics includes but is clearly not
limited to: (010)
- Formal representation of roles
- Roles in ontologies
- Roles for supporting ontology-based reasoning
- Roles in system specifications
- Temporal logics for role model verification
- Formal checking of role models
- Deductive methods for role models
- Formal semantics for model with meta-predicates
- Meta-predicates in model verification (011)
In order to allow for a maximally integrative approach and an open
discussion this workshop encourages researchers not only to present
research papers but also position papers, and to address controversial
problems, questions, or perspectives. (012)
** You received this mail via the description logic mailing list; for more **
** information, visit the description logic homepage at http://dl.kr.org/. **
** SUBSCRIBE or UNSUBSCRIBE: **
** https://mailman.informatik.uni-bremen.de/mailman/listinfo/dl ** (013)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (014)
|