Fast approximate A-box consistency checking using machine learningPaulheim, Heiko ; Stuckenschmidt, Heiner
BASE:
Paulheim, Heiko
;
Stuckenschmidt, Heiner
Google Scholar: Paulheim, Heiko ; Stuckenschmidt, Heiner ORCID: Paulheim, Heiko ![]() ![]()
|
![]() |
Show item |