Filters








487 Hits in 2.6 sec

Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+- [article]

Mostafa Milani, Leopoldo Bertossi
<span title="2015-04-13">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We consider a semantic class, weakly-chase-sticky (WChS), and a syntactic subclass, jointly-weakly-sticky (JWS), of Datalog+- programs.  ...  QAA takes as inputs the program (including the query) and semantic information about the "finiteness" of predicate positions.  ...  Acknowledgments: We are very grateful to Mario Alviano and the DLV team for providing us with information and support in relation to existential Datalog.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.03386v1">arXiv:1504.03386v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7d4tzmoxtbfwxaejg4ba4ihbjy">fatcat:7d4tzmoxtbfwxaejg4ba4ihbjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191023034338/https://arxiv.org/pdf/1504.03386v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c1/f4/c1f4839533b772da99f881acd8d71eb4d09731a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.03386v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Datalog and Its Extensions for Semantic Web Databases [chapter]

Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Šimkus
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
predicates edb(P) [ idb(P) Syntax of Datalog ¡ Datalog program P -a (finite) set of Datalog rules ¡ Extensional predicate -does not occur in the head of a rule of P ¡ Intensional predicate -occurs in  ...  or variables) ¡ Safe -each variable occurring in head must occur in body A Datalog rule is an expression Syntax of Datalog ¡ Datalog program P -a (finite) set of Datalog rules ¡ Extensional predicate  ...  We need similar rules for the cells before the cursor Further Reading (Partial List)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33158-9_2">doi:10.1007/978-3-642-33158-9_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yxq64xko2zh4jaaq5yshw4r6ii">fatcat:yxq64xko2zh4jaaq5yshw4r6ii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809105722/http://www.kr.tuwien.ac.at/events/rw2012/teaching-material/RW12-Tutorial-Gottlob-Pieris.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/76/9376ab800d83ecfb38272a7a00f187ceaeb6d84f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33158-9_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Datalog: Bag Semantics via Set Semantics

Leopoldo Bertossi, Georg Gottlob, Reinhard Pichler, Michael Wagner
<span title="2019-03-18">2019</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rw5iczhdevgrhi35u5qetcouce" style="color: black;">International Conference on Database Theory</a> </i> &nbsp;
We investigate the properties of the resulting Datalog ± programs, the problem of deciding multiplicities, and expressibility of some bag operations.  ...  From a practical point of view, this allows us to handle the bag semantics of Datalog by powerful, existing query engines for the required extension of Datalog.  ...  This work will also include the development of tools to address (in)expressibility results in Datalog ± , with or without negation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.icdt.2019.16">doi:10.4230/lipics.icdt.2019.16</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icdt/BertossiGP19.html">dblp:conf/icdt/BertossiGP19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jzsixan6gzhezinajsmwkotkge">fatcat:jzsixan6gzhezinajsmwkotkge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220303034913/https://drops.dagstuhl.de/opus/volltexte/2019/10318/pdf/LIPIcs-ICDT-2019-16.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/d1/58d17f5e79380468504838b8e43ab4ca565178ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.icdt.2019.16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Datalog: Bag Semantics via Set Semantics [article]

Leopoldo Bertossi, Georg Gottlob, Reinhard Pichler
<span title="2019-02-12">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We investigate the properties of the resulting Datalogprograms, the problem of deciding multiplicities, and expressibility of some bag operations.  ...  From a practical point of view, this allows us to handle the bag semantics of Datalog by powerful, existing query engines for the required extension of Datalog.  ...  Datalog ¬s ) program Π and a multiset EDB D, the set SP(Chase(Π + , D + )) is the minimal model (resp. the standard model) of the program Π ∪ SP(D).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.06445v3">arXiv:1803.06445v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3mkmssj6mneilc3rfwpgkqfzqm">fatcat:3mkmssj6mneilc3rfwpgkqfzqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828033833/https://arxiv.org/pdf/1803.06445v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/84/e784552753dc1c23942a715a2c63bb30884be635.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.06445v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations [article]

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
<span title="2022-05-13">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We propose MV-Datalog and MV-Datalog+- as extensions of Datalog and Datalog+-, respectively, to the fuzzy semantics of infinite-valued Lukasiewicz logic L as languages for effectively reasoning in scenarios  ...  On the basis of this characterisation, we propose similar many-valued semantics for rules with existential quantification in the head, extending Datalog+-.  ...  Georg Gottlob is a Royal Society Research Professor and acknowledges support by the Royal Society in this role through the "RAISON DATA" project (Reference No. RP\R1\201074).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.01718v4">arXiv:2202.01718v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqxxbun6tnci5fzk3mvses3y34">fatcat:zqxxbun6tnci5fzk3mvses3y34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220520182827/https://arxiv.org/pdf/2202.01718v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/ff/36ff618d9a78035addf4f918eaad877b92d3847c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.01718v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Declarative Probabilistic Programming with Datalog

Vince BáRány, Balder Ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
<span title="2017-10-27">2017</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ahla23r2jva2bp2hlkt5rtbx4y" style="color: black;">ACM Transactions on Database Systems</a> </i> &nbsp;
The semantics of a program is a probability distribution over the possible outcomes of the input database with respect to the program.  ...  We propose and investigate an extension of Datalog for specifying statistical models, and establish a declarative probabilistic-programming paradigm over databases.  ...  Dan Olteanu acknowledges the support of the EPSRC programme grant VADA. This work was supported by DARPA under agreements #FA8750-15-2-0009 and #FA8750-14-2-0217. The U.S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3132700">doi:10.1145/3132700</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4zqx6nzek5arra2qiumxfk5b2y">fatcat:4zqx6nzek5arra2qiumxfk5b2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320194458/http://www.cs.ox.ac.uk/dan.olteanu/papers/bckov-icdt16.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/26/8926af778b48f8a5d0b4186d0b9544be665ee6f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3132700"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Declarative Statistical Modeling with Datalog [article]

Vince Barany and Balder ten Cate and Benny Kimelfeld and Dan Olteanu and Zografoula Vagena
<span title="2015-01-05">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The semantics of a program is a probability distribution over the possible outcomes of the input database with respect to the program; these outcomes are minimal solutions with respect to a related program  ...  We argue that the framework we propose retains the purely declarative nature of Datalog, and allows for natural specifications of statistical models.  ...  Finally, we are grateful to Kathleen Fisher and Suresh Jagannathan for including us in DARPA's PPAML initiative; this work came from our efforts to design a principled approach to translating probabilistic programs  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.2221v2">arXiv:1412.2221v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eumtmo2svnakvfuwxcvlj7r6wi">fatcat:eumtmo2svnakvfuwxcvlj7r6wi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903082909/https://arxiv.org/pdf/1412.2221v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6d/42/6d42ced180702bee47da49a5557eb99e81d86d36.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.2221v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization [article]

Leopoldo Bertossi, Mostafa Milani
<span title="2021-08-03">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Weakly-Sticky(WS) Datalog+/- is an expressive member of the family of Datalog+/- program classes that is defined on the basis of the conditions of stickiness and weak-acyclicity.  ...  In order to fill this gap, we first study Sticky and WS programs from the point of view of the behavior of the chase procedure.  ...  Acknowledgements: This work was supported by NSERC Discovery Grants 2016-06148 and 2021-04120, the NSERC Strategic Network on Business Intelligence (BIN), and by ANID -Millennium Science Initiative Program  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.00903v2">arXiv:2108.00903v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3teqqzkoxvgetgc3fzibwgs7si">fatcat:3teqqzkoxvgetgc3fzibwgs7si</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210811091849/https://arxiv.org/pdf/2108.00903v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b6/a4b61714c987e11936d14327b9b3270c49cbb187.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.00903v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data [chapter]

Georg Gottlob, Christoph Koch, Andreas Pieris
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In particular, we survey theoretical results and formalisms that have been obtained and used in the context of the Lixto Project at TU Wien, the DIADEM project at the University of Oxford, and the VADA  ...  project, which is currently being carried out jointly by the universities of Edinburgh, Manchester, and Oxford.  ...  This work has been supported by the EPSRC Programme Grant EP/M025268/ "VADA: Value Added Data Systems -Principles and Architecture".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-53733-7_2">doi:10.1007/978-3-319-53733-7_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wkewt6kjpjezpnh44g4pak5kqe">fatcat:wkewt6kjpjezpnh44g4pak5kqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719145951/https://www.research.ed.ac.uk/portal/files/31832801/LATA_17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/1e/261ec30a1cb51ae7d8bd53d8b162eb310da71ee4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-53733-7_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Generative Datalog with Continuous Distributions

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
<span title="2020-05-29">2020</span> <i title="International Foundation for Autonomous Agents and Multiagent Systems"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems</a> </i> &nbsp;
We cast our semantics in the framework of infinite probabilistic databases (Grohe and Lindner, ICDT 2020), and we show that the semantics remains meaningful even when the input of a probabilistic Datalog  ...  (TODS 2017) recently introduced a probabilistic extension of Datalog as a "purely declarative probabilistic programming language."  ...  This work is supported by the German Research Foundation (DFG) under grants GR 1492/16-1 and GRK 2236 (UnRAVeL).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3375395.3387659">doi:10.1145/3375395.3387659</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/GroheKKL20.html">dblp:conf/pods/GroheKKL20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/azxm7q3mardmpewqcd2d5w5lpu">fatcat:azxm7q3mardmpewqcd2d5w5lpu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201103044745/https://discovery.ucl.ac.uk/id/eprint/10094730/1/pods63-groheA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/df/fb/dffb3d8cc27a4d59ac68ae81d80aa012fb5b85c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3375395.3387659"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations [article]

Mostafa Milani, Leopoldo Bertossi
<span title="2016-07-10">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Here, we study sticky and WS programs from the point of view of the behavior of the chase procedure, extending the stickiness property of the chase to that of generalized stickiness of the chase (gsch-property  ...  Weakly-sticky (WS) Datalog+/- is an expressive member of the family of Datalog+/- programs that is based on the syntactic notions of stickiness and weak-acyclicity.  ...  Stickiness of the Chase and its Generalization The "stickiness property of the chase" (sch-property) [10] is a "semantic" property of Datalog + programs in relation to the way the chase behaves with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1607.02682v1">arXiv:1607.02682v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a55clxagnnctrma5n22pmraozq">fatcat:a55clxagnnctrma5n22pmraozq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191022021720/https://arxiv.org/pdf/1607.02682v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/de/9bdee2cb0575aa2e9591b995135eac880252f56b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1607.02682v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Optimizing query answering under ontological constraints

Giorgio Orsi, Andreas Pieris
<span title="">2011</span> <i title="VLDB Endowment"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p6rqwwpkkjbcldejepcehaalby" style="color: black;">Proceedings of the VLDB Endowment</a> </i> &nbsp;
In this paper we present a new algorithm that computes the perfect rewriting of a conjunctive query w.r.t. a linear Datalog ± ontology.  ...  perfect rewriting, that takes into account the semantic consequences of the ontology.  ...  A Datalog program Π over a schema R is a set of Datalog rules such that, for each ρ ∈ Π, the predicate of head (ρ) does not occur in R.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/3402707.3402737">doi:10.14778/3402707.3402737</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5tno3qzw4bcvthmmsuwzz7frmu">fatcat:5tno3qzw4bcvthmmsuwzz7frmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201108143018/https://ora.ox.ac.uk/objects/uuid:65df8fd8-68cf-40d5-a786-9f16f4d0096e/download_file?safe_filename=p1004-orsi.pdf&amp;file_format=application%2Fpdf&amp;type_of_work=Journal+article" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/a0/20a0f894a0103a0e3c620b600bdf9ff62f936e17.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/3402707.3402737"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A logical toolbox for ontological reasoning

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
<span title="2011-11-17">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/svqjiw2cwzftpcod3duuxcbveu" style="color: black;">SIGMOD record</a> </i> &nbsp;
This paper surveys results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a useful logical toolbox for ontology modeling and for ontology-based query answering.  ...  In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema.  ...  A basic Datalog program consists of a set of universally quantified function-free Horn clauses.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2070736.2070738">doi:10.1145/2070736.2070738</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/752apt525zewzgiys6byldzoqq">fatcat:752apt525zewzgiys6byldzoqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808210041/https://users.dcc.uchile.cl/~pbarcelo/cali.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/84/e384a16e6cc2dab58795c5a5068acb99248723be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2070736.2070738"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs [article]

Georg Gottlob, Thomas Schwentick
<span title="2011-07-23">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
or for DL-Lite versions that allow for role inclusion, the rewriting methods described so far result in a nonrecursive Datalog program P of size exponential in the joint size of T and q.  ...  This gives rise to the interesting question of whether such a rewriting necessarily needs to be of exponential size.  ...  We thank the anonymous referees, as well as Roman Kontchakov, Carsten Lutz, and Michael Zakharyaschev for useful comments on an earlier version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.3767v3">arXiv:1106.3767v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d27xzibranev3ottn7f52x4vg4">fatcat:d27xzibranev3ottn7f52x4vg4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1106.3767/1106.3767.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.3767v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Generative Datalog with Continuous Distributions [article]

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
<span title="2022-02-16">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We cast our semantics in the framework of infinite probabilistic databases (Grohe and Lindner, ICDT 2020), and show that the semantics remains meaningful even when the input of a probabilistic Datalog  ...  (TODS 2017) recently introduced a probabilistic extension of Datalog as a "purely declarative probabilistic programming language."  ...  Acknowledgments We are grateful to Benny Kimelfeld for bringing our attention to GDatalog and motivating the questions answered therein.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.06358v3">arXiv:2001.06358v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ackmfheknndhvoai6nt7lley4m">fatcat:ackmfheknndhvoai6nt7lley4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220223041226/https://arxiv.org/pdf/2001.06358v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/0c/090c51bb1dd57916289b2cce38c13336544f39bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.06358v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 487 results