摘要
分析描述逻辑时态扩展的优缺点,同时结合实际应用需求,将时间当作具体领域加入到描述逻辑中来处理,给出带时态扩展的描述逻辑SHIOQ(T)的形式化描述,并给出SHIOQ(T)中概念、关系和实例的描述形式以及它们的语义解释,从而方便地实现时态知识的表达和推理。
Through the analysis of the advantages and disadvantages of the description logic tense expansion,and combining with the practical application,deals the time as concrete domain into description logic,gives the formalized description of the SHIOQ（T）,and gives the description forms of the concepts,relations and instance,and explanation of their semantic,thus they can easily realize the representation and reasoning of the temporal knowledge.
出处
《现代计算机》
2010年第10期8-10,22,共4页
Modern Computer
关键词
描述逻辑
时态逻辑
具体领域
Description Logic
Temporal Logic
Concrete Domain
