基于间断区间的时间本体表示及应用

通过间断区间的时态理论扩展了OWL-Time,用在本体中表达单个事件带间断时区的情况。在本体中定义了间断区间概念以及间断区间的时态关系,并以物流领域运输事件的表示为例阐述了领域中基于间断区间的时间知识在本体中的表示方式。通过定义Jena中的原语、规则以及扩展对推理模型的操作构建了相应的推理机,对推理机进行实验检验,不仅验证了推理机运行的正确性,同时也保证了时间知识在本体和规则中表示的正确性,解决了带间断区间的时态知识在语义网中表示和推理的问题。

基于OWL时间本体的工作流建模与验证

提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。

基于“角色”和“关系”的时间Ontology构建

针对现有时间本体缺少基本本体理论依据的缺陷,在分析了时间本体中的概念的公理后,提出了基于"角色"和"关系"构建时间本体的思想,明确区分出了角色概念,解决了潜在的语义混乱的问题.并用本体构建工具Hozo实现了时间本体,为语义网中网页的时间内容和网络服务的时间属性的表示提供了依据.