?时空推理
关键词：本体；时空推理；描述逻辑；语义Web [gap=1057]Key words】Ontology; Spatio-temporal reasoning; Description logic; Semantic Web
时空推理模型
通用时空推理工具
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。