مؤلف: Dresden) Baader Franz (Technische Universitat

Franz Baader & Diego Calvanese: Description Logic Handbook