OWL DLP本体的学习方法研究

OWL DLP是能够转换为一阶Horn逻辑的OWL Lite子集,也是RDFS的超集，它包括21个概念和角色的定义公理及约束公理。Horrocks等人的研究表明，OWL DLP覆盖了大部分语义Web本体。已有的本体学习工作集中在术语、同义词、概念、分类体系和关系层，而公理层的研究很少。已有的学习描述逻辑工作主要研究概念的定义公理，而没有研究角色的定义公理、以及概念和角色的约束公理。到目前为止，还没有见到学习OWL DLP本体中所有公理的报道。本项目拟研究OWL DLP本体中所有概念和角色的定义公理及约束公理的学习方法，内容包括：从知识库中构造学习OWL DLP本体测试基准的方法；从个体和性质的断言集合学习一阶Horn子句集合，将一阶Horn子句集合转换为OWL DLP本体公理，进而利用公理集合构造OWL DLP本体的方法；结合不一致推理，通过自动内容抽取对学习本体进行应用评价的方法。