Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Query Answering in Object Oriented Knowledge Bases in Logic Programming:
  Description and Challenge for ASP   Research on developing efficient and scalable ASP solvers can substantially
benefit by the availability of data sets to experiment with. KB_Bio_101
contains knowledge from a biology textbook, has been developed as part of
Project Halo, and has recently become available for research use. KB_Bio_101 is
one of the largest KBs available in ASP and the reasoning with it is
undecidable in general. We give a description of this KB and ASP programs for a
suite of queries that have been of practical interest. We explain why these
queries pose significant practical challenges for the current ASP solvers.

5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org