Role-depth Bounded Least Common Subsumers for EL+ and ELI

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

Toggle side column

Role-depth Bounded Least Common Subsumers for EL+ and ELI

Andreas EckeAndreas Ecke,  Anni-Yasmin TurhanAnni-Yasmin Turhan
Andreas Ecke, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumers for EL+ and ELI
In Yevgeny Kazakhov and Frank Wolter, eds., Proc. of Description Logics Workshop, volume 846 of CEUR, 2012
  • KurzfassungAbstract
    For $mathcal{EL}$ the least common subsumer (lcs) need not exist, if computed w.r.t. general TBoxes. In case the role-depth of the lcs concept description is bounded, an approximate solution can be obtained. In this paper we extend the completion-based method for computing such approximate solutions to $mathcal{ELI}$ and $mathcal{EL}$+. For $mathcal{ELI}$ the extension needs to be able to treat complex node labels. For ELplus a naive method generates highly redundant concept descriptions for which we devise a heuristic that produces smaller, but equivalent concept descriptions. We demonstrate the usefulness of this heuristic by an evaluation.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ EcTu-DL-12,
  author = {Andreas {Ecke} and Anni-Yasmin {Turhan}},
  booktitle = {Proc.\ of Description Logics Workshop},
  editor = {Yevgeny {Kazakhov} and Frank {Wolter}},
  series = {CEUR},
  title = {Role-depth Bounded Least Common Subsumers for $\mathcal{EL}$+ and $\mathcal{ELI}$},
  volume = {846},
  year = {2012},
}