产品语义学由克里彭多夫和布特教授于（）年明确提出。