Home

Klaus__Schild


A correspondence theory for terminological logics: Preliminary report

The use of Description Logics as Database Query Languages