Now showing items 1-1 of 1
What’s new in Description Logics
Informatik-Spektrum: Vol. 34, No. 5
Mainstream research in Description Logics (DLs) until recently concentrated on increasing the expressive power of the employed description language while keeping standard inference problems like subsumption and instance manageable in the sense that highly optimized reasoning procedures for them behave well in practice. ...