描述逻辑SHIOQ的时态扩展  

Temporal Extension of Description Logic SHIOQ

作　　者：王富彬[1] 

机构地区：[1]云南师范大学计算机科学与信息技术学院,昆明650092

出　　处：《现代计算机》2010年第10期8-10,22,共4页Modern Computer

摘　　要：分析描述逻辑时态扩展的优缺点,同时结合实际应用需求,将时间当作具体领域加入到描述逻辑中来处理,给出带时态扩展的描述逻辑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.

关 键 词：描述逻辑 时态逻辑 具体领域 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]