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

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

基于本体的法律知识库的研究与实现

基于描述逻辑的本体理论已广泛用于知识表示和推理，而本体在法律领域的研究和应用在国外已开展近10年，目前国内、还没有这方面的研究与应用成果。本文研究分析了国内外法律知识库的成果，结合中国的法律法规给出了一个法律领域的本体模型DOLegal，介绍了法律知识库的设计思路及架构。在知识库原型中加入了国内部分法规涉及的行为及处罚，实现了法律知识的表示和推理。文中还对设计中遇到的一些难点进行了研究与分析。