本体论

OntoDLV:一个基于ASP的企业本体系统。企业/企业本体论被广泛应用于企业信息的概念化。在这一领域,答案集编程(ASP)的语义特性,如封闭世界假设(CWA)和唯一名称假设(UNA),比本体论Web语言(OWL)假设更为合适,这也是因为这样的本体经常源于关系数据库,其中CWA和UNA都被采用。本文介绍了一个基于ASP的企业本体规范与推理系统OntoDLV。OntoDLV实现了一种强大的本体表示语言,称为OntoDLP,它扩展了(析取)ASP的所有主要本体特征,包括类、继承、关系和公理。OntoDLP是强类型的,还包括复杂的类型构造函数,如列表和集合。重要的是,OntoDLV支持与OWL的强大互操作机制,允许用户从OWL本体检索信息,并在OWL本体之上构建基于规则的推理。该系统已经应用于许多实际应用中,包括基于agent的系统、信息抽取和文本分类。