Shamim Naqvi

• A logical language for data and knowledge bases