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

【文件属性】：
文件名称：drew:基于数据记录可重写描述逻辑的 DL 程序的 DReW 推理器
文件大小：6.07MB
文件格式：ZIP
更新时间：2021-06-22 18:18:43
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 -