LATPub527

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

{{Publikation Details |Abstract=Completion-based algorithms can be employed for computing the least common subsumer of two concepts up to a given role-depth, in extensions of the lightweight DL EL. This approach has been applied also to the probabilistic DL Prob-EL, which is variant of EL with subjective probabilities. In this paper we extend the completion-based lcs-computation algorithm to nominals, yielding a procedure for the DL Prob-ELO⁰¹. |ISBN= |ISSN= |Link= |Download=EcPeTu-DL-13.pdf |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@inproceedings{ EcPeTu-DL-13,

 address = {Ulm, Germany},
 author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan} },
 booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
 editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch} },
 month = {July},
 pages = {670--688},
 series = {CEUR-WS},
 title = {Role-depth bounded Least Common Subsumer in Prob-{$\mathcal{EL}$} with Nominals},
 volume = {1014},
 year = {2013},

} }}