Campusplan

campusplan_image

You can find us here.




Rule Module Inheritance with Modification Restrictions

Authors: F. Burgstaller, B. Neumayr, E. Sallinger, M. Schrefl
Paper: Burg18a (2018)
Citation: International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE). On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Proceedings, Part II. Vol. 11230. Lecture Notes in Computer Science. Springer International Publishing, ISBN 978-3-030-02670-7, DOI: https://doi.org/10.1007/978-3-030-02671-4, 2018, pp. 404–422.
Resources: Copy  (In order to obtain the copy please send an email with subject  Burg18a  to dke.win@jku.at)


Abstract (English):

Adapting rule sets to different settings, yet avoiding uncontrolled proliferation of variations, is a key challenge of rule management. One fundamental concept to foster reuse and simplify adaptation is inheritance. Building on rule modules, i.e., rule sets with input and output schema, we formally define inheritance of rule modules by incremental modification in single inheritance hierarchies. To avoid uncontrolled proliferation of modifications, we introduce formal modification restrictions which flexibly regulate the degree to which a child module may be modified in comparison to its parent. As concrete rule language, we employ Datalog ± which can be regarded a common logical core of many rule languages. We evaluate the approach by a proof-of-concept prototype.