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 , discrete mathematics , artificial intelligence , geometry , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom