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

Abstract

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.

Extracted Key Phrases

2 Figures and Tables

Cite this paper

@inproceedings{Brandt2004OnSA, title={On Subsumption and Instance Problem in ELH w.r.t. General TBoxes}, author={Sebastian Brandt}, booktitle={Description Logics}, year={2004} }