接通DLV swMATH ID: 30415 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 说明： OntoDLV：基于ASP的企业本体系统。企业/公司本体被广泛用于概念化企业信息。在这一领域，答案集编程（ASP）的语义特性，如封闭世界假设（CWA）和唯一名称假设（UNA），比OntologyWeb语言（OWL）的假设更为合适，也因为这些本体经常源于关系数据库，其中采用了CWA和UNA。本文介绍了OntoDLV，一个基于ASP的企业本体规范和推理系统。OntoDLV实现了一种功能强大的本体表示语言，称为OntoDLP，它使用所有主要本体特性扩展（析取）ASP，包括类、继承、关系和公理。OntoDLP是强类型的，还包括复杂类型构造函数，如列表和集合。重要的是，OntoDLV支持与OWL的强大互操作机制，允许用户从OWL本体检索信息，并在OWL实体之上构建基于规则的推理。该系统已经在许多实际应用中使用，包括基于代理的系统、信息提取和文本分类。 主页： https://ieeexplore.ieee.org/document/8133436 相关软件： DLV-EX公司;弹丸;Lparse（L解析）;格林戈;前-OWL;精益TAP;DLog（数据日志）;传真CT++;数据日志;克林戈;亚萨特;斯莫德尔斯;高阶逻辑;OntoStudio（OntoStudio）;辐条;路易斯安那州;ANTLR公司;卡拉;IDPDraw公司;阿斯皮维兹 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 OntoDLV：一个基于ASP的企业本体系统。 Zbl 1192.68132号弗朗西斯科·里卡;洛伦佐·加卢奇;罗马辛德劳;蒂娜·德尔阿米;乔瓦尼·格拉索;尼古拉·利昂 2009 全部的 前5名25位作者引用 2 埃琳娜·贝洛迪 2 朱塞佩·科塔 2 托马斯·艾特 2 伊芙琳娜·拉姆 2 尼古拉·利昂 2 法布里西奥·里古齐 2 里卡多·泽斯 1 罗伯托·孔瓦洛尼埃里 1 黛尔·阿尔米，蒂娜 1 曼弗雷德·埃普 1 沃尔夫冈·费伯 1 佛罗伦萨，卡米洛 1 洛伦佐·加卢奇 1 乔瓦尼·格拉索 1 乔瓦姆巴蒂斯塔·伊安尼 1 托比亚斯·卡明斯基 1 托马斯·克伦瓦尔纳 1 奥利弗·库茨 1 马里奥·奥尔纳吉 1 拉斐尔·佩尼亚洛萨 1 西蒙娜·佩里 1 Enric广场 1 弗朗西斯科·里卡 1 罗马辛德劳 1 马尔科·舍勒默 4篇连载文章中引用 2 数学与人工智能年鉴 1 人工智能 1 逻辑与计算杂志 1 逻辑程序设计理论与实践 在1个字段中引用 8 计算机科学（68至XX） 按年份列出的引文