Colucci, Simona

1 publications

IJCAI 2009 A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio