Title: A formal treatment of incomplete knowledge bases