Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub486
Abstract For $mathcal{EL}$ the least common subsume
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.
ulness of this heuristic by an evaluation.  +
Author Andreas Ecke + , Anni-Yasmin Turhan +
BibTex
@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},
}
Bibtype Inproceedings  +
Booktitle Proc. of Description Logics Workshop  +
Download EcTu-DL-12.pdf  +
Editor Yevgeny Kazakhov and Frank Wolter  +
ErsterAutorNachname Ecke  +
ErsterAutorVorname Andreas  +
Forschungsgruppe Automatentheorie +
Publication text Andreas Ecke, Anni-Yasmin Turhan<br/>
Andreas Ecke, Anni-Yasmin Turhan<br/> '''[[LATPub486|<b>Role-depth Bounded Least Common Subsumers for EL+ and ELI</b>]]''' <br/>__NOTOC__In Yevgeny Kazakhov and Frank Wolter, eds., <i>Proc. of Description Logics Workshop</i>, volume 846 of CEUR, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub486|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:EcTu-DL-12.pdf|Download]]
span> [[Media:EcTu-DL-12.pdf|Download]]  +
Publication text en Andreas Ecke, Anni-Yasmin Turhan<br/>
Andreas Ecke, Anni-Yasmin Turhan<br/> '''[[LATPub486/en|<b>Role-depth Bounded Least Common Subsumers for EL+ and ELI</b>]]''' <br/>__NOTOC__In Yevgeny Kazakhov and Frank Wolter, eds., <i>Proc. of Description Logics Workshop</i>, volume 846 of CEUR, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub486|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:EcTu-DL-12.pdf|Download]]
span> [[Media:EcTu-DL-12.pdf|Download]]  +
Referiert 1  +
Series CEUR  +
Title Role-depth Bounded Least Common Subsumers for EL+ and ELI  +
To appear 0  +
Type inproceedings  +
Volume 846  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub486 + , LATPub486 + , LATPub486 + , LATPub486 + , LATPub486 + , LATPub486 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:07  +
verstecke Attribute die hierhin verlinken 
LATPub486/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.