• 数据日志

  • 引用283篇文章[sw20023]
  • 数据日志是一种声明性逻辑编程语言,语法上是Prolog的一个子集。。。演绎数据库语言。近年来,数据日志在数据集成中发现了新的应用。。。迈尔被认为是创造了这个词数据日志. (维基百科。。。
  • 旋转

  • 引用48篇文章[sw14002]
  • 一元/二进制本体语言数据日志规则标记语言的RuleML子语言。SWRL包括。。。
  • 图形

  • 引用31篇文章[sw20098]
  • 它等价于分层线性数据日志,具有传递闭包的一阶逻辑。。。
  • 数据日志精简版

  • 在10篇文章中引用[sw28894]
  • 数据日志LITE:一种线性时间模型检查的演绎查询语言。我们现在数据日志清淡的。。。线性时间数据复杂度和程序复杂度。数据日志LITE是数据日志那个。。。管理机构。尽管时间评估是线性的,数据日志LITE是高度表达:它包含了流行的模式。。。形式主义有自然的表现形式数据日志清淡的。此外,数据日志LITE相当于。。。
  • NP规范

  • 引用了20篇文章[sw02243]
  • 提出了。语言是通过扩展获得的数据日志通过允许有限的使用。。。
  • NP数据日志

  • 引用9篇文章[sw13446]
  • 首先是通过扩展获得的语言(正)数据日志以直观和有效的结构(即分层。。。语言,叫做𝒩𝒫𝒟atalog,抓住了数据日志¬ 在表达搜索和优化问题时。。。
  • 代码请求

  • 引用8篇文章[sw10471]
  • CodeQuest:可伸缩的源代码查询数据日志. 源代码查询工具允许程序员探索。。。我们使用安全的查询语言数据日志,它最初是在数据库理论中引入的。。。源代码查询不可或缺的。保险柜数据日志就像序言,但是所有的查询都是有保证的。。。额外的逻辑注释。我们实施数据日志将查询映射到关系数据库系统。。。
  • 序列日志

  • 引用13篇文章[sw01946]
  • 原子,背景知识可以用数据日志样式子句和顺序查询或模式。。。
  • 穆尔瓦尔

  • 引用8篇文章[sw17743]
  • 网络脆弱性分析。穆瓦尔采用数据日志作为元素的建模语言。。。通过在数据日志把它灌输给我们的MulVAL推理。。。
  • xpath日志

  • 参考7篇文章[sw15782]
  • 操纵语言。我们将XPathLog定义为数据日志-XPath的样式扩展。XPathLog提供了。。。XPath逻辑的Horn片段,提供了一个数据日志-样式,基于规则的查询语言。。。
  • 大数据日志

  • 引用4篇文章[sw27496]
  • BigDatalog是一个数据日志大数据分析系统首次亮相SIGMOD。。。纸质大数据分析数据日志有关Spark的详细信息查询。BigDatalog已实现。。。模块(数据日志)在Spark中,需要对核心和sql模块进行一些更改。。。
  • 宝塔

  • 引用3篇文章[sw17539]
  • 使用数据日志推理者。在本体丰富的数据集上回答连接查询。。。在owl2本体中,结合了数据日志一个成熟的推理者。。。大部分计算数据日志推理者和求助于昂贵的猫头鹰2推理。。。唯一的假设是数据日志推理者和成熟的推理者。。。
  • 牛膝草

  • 引用4篇文章[sw20096]
  • 基于概率版本数据日志. 在超媒体检索中,不同的节点可能包含相互矛盾的。。。信息;因此,我们引入概率四值数据日志. 为了支持事实查询。。。
  • 瓦达洛语

  • 引用2篇文章[sw33095]
  • 瓦达洛系统:数据日志-基于知识的图形推理。在过去的几年里,有。。。复苏数据日志-在数据库社区和工业的基础系统。。。比如对大型知识图的推理,数据日志必须扩展功能,如。。。存在量化。但是,数据日志-基于存在量化的推理一般是。。。
  • 空头

  • 引用3篇文章[sw32535]
  • 引擎,用户用像数据日志(社交名流)或SQL(圣杯)。高级引擎。。。高级引擎,支持数据日志-像查询语言和达到的性能相当。。。
  • RDFox公司

  • 引用3篇文章[sw33097]
  • 支持基于实体化的并行存储数据日志推理和SPARQL查询回答。RDFox使用小说。。。计算和增量更新数据日志有效处理猫头鹰:萨米亚斯。在这个。。。
  • 路径日志

  • 引用4篇文章[sw01607]
  • 理论操作和规则(in数据日志涉及Skolem函数和引用变量。。。
  • 克洛格

  • 引用4篇文章[sw10403]
  • 序言形式的知识数据日志在归纳逻辑程序设计系统中的程序。。。
  • 尾声

  • 引用2篇文章[sw36083]
  • 其他逻辑编程语言,如数据日志和序言,但有一些区别。就像。。。数据日志Epilog分离数据和规则。和Prolog一样,Epilog支持数据和规则的功能。。。