Query answering in expressive description logics : techniques and complexity results / María Magdalena Ortiz de la Fuente. 2010
Inhalt