Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Rule Module Inheritance with Modification Restrictions   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.

19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin