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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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

Sebastian BrandtSebastian Brandt
Sebastian Brandt
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Brandt-DL-2004,
  author = {Sebastian {Brandt}},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  series = {CEUR-WS},
  title = {On Subsumption and Instance Problem in $\mathcal{E\!LH}$ w.r.t. General TBoxes},
  year = {2004},
}