• Datalog

  • Referenced in 283 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... language for deductive databases. In recent years, Datalog has found new application in data integration ... Maier is credited with coining the term Datalog. (wikipedia...
  • swrl

  • Referenced in 48 articles [sw14002]
  • Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. SWRL includes...
  • GraphLog

  • Referenced in 31 articles [sw20098]
  • that it is equivalent to stratified linear Datalog, first order logic with transitive closure...
  • Datalog LITE

  • Referenced in 10 articles [sw28894]
  • Datalog LITE: a deductive query language with linear time model checking. We present Datalog LITE ... linear time data complexity and program complexity. Datalog LITE is a variant of Datalog that ... rule bodies. Despite linear-time evaluation, Datalog LITE is highly expressive: It encompasses popular modal ... formalisms have natural presentations as fragments of Datalog LITE. Further, Datalog LITE is equivalent...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • presented. The language is obtained by extending DATALOG through allowing a limited use of some...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • first a language obtained by extending (positive) DATALOG with intuitive and efficient constructs (namely, stratified ... language, called 𝒩𝒫𝒟atalog, captures the power of DATALOG ¬ in expressing search and optimization problems...
  • CodeQuest

  • Referenced in 8 articles [sw10471]
  • CodeQuest: scalable source code queries with datalog. Source code querying tools allow programmers to explore ... query language we use safe Datalog, which was originally introduced in the theory of databases ... indispensable for source code queries. Safe Datalog is like Prolog, but all queries are guaranteed ... extra-logical annotations. Our implementation of Datalog maps queries to a relational database system...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • atoms, background knowledge can be specified using Datalog style clauses and sequential queries or patterns...
  • MulVAL

  • Referenced in 8 articles [sw17743]
  • vulnerability analysis on a network. MulVAL adopts Datalog as the modeling language for the elements ... scanning tools by expressing their output in Datalog and feeding it to our MulVAL reasoning...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • manipulation language. We define XPathLog as a Datalog-style extension of XPath. XPathLog provides ... Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying...
  • BigDatalog

  • Referenced in 4 articles [sw27496]
  • BigDatalog is a Datalog system for Big Data Analytics first presented at SIGMOD ... paper Big Data Analytics with Datalog Queries on Spark for details. BigDatalog is implemented ... module (datalog) in Spark that requires a few changes to the core and sql modules...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • ontology query answering using a datalog reasoner. Answering conjunctive queries over ontology-enriched datasets ... over OWL 2 ontologies that combines a datalog reasoner with a fully-fledged ... bulk of the computation to the datalog reasoner and resorts to expensive OWL 2 reasoning ... only assumption is the availability of a datalog reasoner and a fully-fledged reasoner...
  • HySpirit

  • Referenced in 4 articles [sw20096]
  • based on a probabilistic version of Datalog. In hypermedia retrieval, different nodes may contain contradictory ... information; thus, we introduce probabilistic four-valued Datalog. In order to support fact queries...
  • Vadalog

  • Referenced in 2 articles [sw33095]
  • Vadalog System: Datalog-based Reasoning for Knowledge Graphs. Over the past years, there has been ... resurgence of Datalog-based systems in the database community as well as in industry ... such as reasoning over large knowledge graphs, Datalog has to be extended with features such ... existential quantification. Yet, Datalog-based reasoning in the presence of existential quantification is in general...
  • EmptyHeaded

  • Referenced in 3 articles [sw32535]
  • engines, users write in query languages like datalog (SociaLite) or SQL (Grail). High-level engines ... high-level engine that supports a rich datalog-like query language and achieves performance comparable...
  • RDFox

  • Referenced in 3 articles [sw33097]
  • store that supports materialisation-based parallel datalog reasoning and SPARQL query answering. RDFox uses novel ... computation and incremental update of datalog materialisations with efficient handling of owl:sameAs. In this...
  • PathLog

  • Referenced in 4 articles [sw01607]
  • theoretical operations and on rules (in Datalog style) involving Skolem functions and referential variables...
  • kLog

  • Referenced in 4 articles [sw10403]
  • knowledge in the form of Prolog or Datalog programs as in inductive logic programming systems...
  • Epilog

  • Referenced in 2 articles [sw36083]
  • other logic programming languages, such as Datalog and Prolog, but there are some differences. Like ... Datalog, Epilog separates data and rules. Like Prolog, Epilog supports data and rules with functional...