
Completion-based computation of least common subsumers with limited role-depth for EL and Prob-EL⁰¹
Author(s) -
Rafael Peñaloza,
Anni-Yasmin Turhan
Publication year - 2010
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.175
Subject(s) - computation , axiom , bounded function , probabilistic logic , computer science , algorithm , mathematics , theoretical computer science , combinatorics , artificial intelligence , geometry , mathematical analysis