Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Typed Hybrid Description Logic Programming Language with Polymorphic
  Order-Sorted DL-Typed Unification for Semantic Web Type Systems   In this paper we elaborate on a specific application in the context of hybrid
description logic programs (hybrid DLPs), namely description logic Semantic Web
type systems (DL-types) which are used for term typing of LP rules based on a
polymorphic, order-sorted, hybrid DL-typed unification as procedural semantics
of hybrid DLPs. Using Semantic Web ontologies as type systems facilitates
interchange of domain-independent rules over domain boundaries via dynamically
typing and mapping of explicitly defined type ontologies.

36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc