Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ontology Module Extraction via Datalog Reasoning   Module extraction - the task of computing a (preferably small) fragment M of
an ontology T that preserves entailments over a signature S - has found many
applications in recent years. Extracting modules of minimal size is, however,
computationally hard, and often algorithmically infeasible. Thus, practical
techniques are based on approximations, where M provably captures the relevant
entailments, but is not guaranteed to be minimal. Existing approximations,
however, ensure that M preserves all second-order entailments of T w.r.t. S,
which is stronger than is required in many applications, and may lead to large
modules in practice. In this paper we propose a novel approach in which module
extraction is reduced to a reasoning problem in datalog. Our approach not only
generalises existing approximations in an elegant way, but it can also be
tailored to preserve only specific kinds of entailments, which allows us to
extract significantly smaller modules. An evaluation on widely-used ontologies
has shown very encouraging results.

23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics