基本解释[計算機科學技術]時序描述邏輯词组短语短語Spatio -temporal description logic 時空描述邏輯temporal description logic更多词组专业释义計算機科學技術時序描述邏輯