Sciweavers

DLOG
2004

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

14 years 1 months ago
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]:
Sebastian Brandt
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where DLOG
Authors Sebastian Brandt
Comments (0)