On Subsumption and Instance Problem in ELH w.r.t. General TBoxes

Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems remain tractable even when admitting general concept inclusion axioms and simple role inclusion axioms. 1 Motivation In the area of DL based knowledge representation, the utility of general TBoxes, i.e., TBoxes that allow for general concept inclusion (GCI) axioms, is well known. For instance, in the context of the medical terminology Galen [18], GCIs are used especially for two purposes [16]:

• Type: Conference
• Year: 2004
• Where: DLOG
• Authors: Sebastian Brandt
• Keywords: Automated Reasoning, DLOG 2004, General Concept Inclusion, Inclusion Axioms, Insulin Secretion