Querying knowledge and data bases by a universal description logic with recursion