drew:基于数据记录可重写描述逻辑的 DL 程序的 DReW 推理器

【文件属性】：

文件名称：drew:基于数据记录可重写描述逻辑的 DL 程序的 DReW 推理器

文件大小：6.07MB

文件格式：ZIP

更新时间：2024-07-12 12:05:23

WebOntologyLanguage

DReW 推理机 介绍 DReW是基于数据记录可重写描述逻辑的 DL 程序的推理器DL-Programs 是 OWL 本体和 Datalog（带否定）规则的强大组合 DReW是开源的，托管在 下载并安装 从下载最新的 draw.zip 并解压 从下载 DLV 命令行使用 DReW 可以从命令行使用 Usage: drew [-rl | -el] [ -asp | -wf ] -ontology {-sparql | -dlp | -default } [-filter ] -dlv [-verbose ] -rl | -el rewriting for OWL 2 RL or OWL 2 EL -