Default logic as a query language