基本解釋[計算機科學技術]時序描述邏輯詞組短語短語Spatio -temporal description logic 時空描述邏輯temporal description logic更多詞組專業(yè)釋義計算機科學技術時序描述邏輯