License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2016.7
URN: urn:nbn:de:0030-drops-60124
Go to the corresponding OASIcs Volume Portal

Seipel, Dietmar ; von der Weth, RĂ¼diger ; Abreu, Salvador ; Nogatz, Falco ; Werner, Alexander

Declarative Rules for Annotated Expert Knowledge in Change Management

OASIcs-SLATE-2016-7.pdf (0.5 MB)


In this paper, we use declarative and domain-specific languages for representing expert knowledge in the field of change management in organisational psychology. Expert rules obtained in practical case studies are represented as declarative rules in a deductive database. The expert rules are annotated by information describing their provenance and confidence. Additional provenance information for the whole - or parts of the - rule base can be given by ontologies.

Deductive databases allow for declaratively defining the semantics of the expert knowledge with rules; the evaluation of the rules can be optimised and the inference mechanisms could be changed, since they are specified in an abstract way. As the logical syntax of rules had been a problem in previous applications of deductive databases, we use specially designed domain-specific languages to make the rule syntax easier for non-programmers.

The semantics of the whole knowledge base is declarative. The rules are written declaratively in an extension datalogs of the well-known deductive database language datalog on the data level, and additional datalogs rules can configure the processing of the annotated rules and the ontologies.

BibTeX - Entry

  author =	{Dietmar Seipel and R{\"u}diger von der Weth and Salvador Abreu and Falco Nogatz and Alexander Werner},
  title =	{{Declarative Rules for Annotated Expert Knowledge in Change Management}},
  booktitle =	{5th Symposium on Languages, Applications and Technologies (SLATE'16)},
  pages =	{7:1--7:16},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-006-4},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{51},
  editor =	{Marjan Mernik and Jos{\'e} Paulo Leal and Hugo Gon{\c{c}}alo Oliveira},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-60124},
  doi =		{10.4230/OASIcs.SLATE.2016.7},
  annote =	{Keywords: declarative, datalog, prolog, domain-specific, change management}

Keywords: declarative, datalog, prolog, domain-specific, change management
Collection: 5th Symposium on Languages, Applications and Technologies (SLATE'16)
Issue Date: 2016
Date of publication: 21.06.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI