Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2013 International Workshop on Description Logics  
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 lcscomputation algorithm to nominals, yielding a procedure for the DL Prob-ELO 01 c .
dblp:conf/dlog/EckePT13 fatcat:7qtntnrd5rbnvl2sai7ugh562m