A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics (2009)

by Francesco M. Donini , Simona Colucci , Tommaso Di Noia , Eugenio Di Sciascio
Citations:7 - 3 self