How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)?-Reference-Cited by-同舟云学术

How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)?

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
language:
Short-container-title:

Author:

Benedikt Michael¹

Affiliation:

1. University of Oxford, Oxford, United Kingdom

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3196959.3196989

Reference137 articles.

1. COOL- the coalgebraic ontology logic reasoner. cal8.cs.fau.de/redmine/projects/cool. COOL- the coalgebraic ontology logic reasoner. cal8.cs.fau.de/redmine/projects/cool.

2. Coq theorem prover. coq.inria.fr. Coq theorem prover. coq.inria.fr.

3. DLVSYSTEM. www.dlvsystem.com. DLVSYSTEM. www.dlvsystem.com.

4. The leanCoP theorem prover. www.leancop.de. The leanCoP theorem prover. www.leancop.de.

5. PDQ. Available at www.cs.ox.ac.uk/projects/pdq/home.html. PDQ. Available at www.cs.ox.ac.uk/projects/pdq/home.html.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Magic Sets in Interpolation-Based Rule Driven Query Optimization;Rules and Reasoning;2022

2. Nested Named Sets in Information Retrieval;Advances in Data Science and Information Engineering;2021

3. Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus;Lecture Notes in Computer Science;2021

4. Electromagnetic and Mechanical Study for the Nb$_3$Sn Cos-Theta Dipole Model for the FCC;IEEE Transactions on Applied Superconductivity;2020-06

5. Beam induced vacuum effects in the future circular hadron collider beam vacuum chamber;Physical Review Accelerators and Beams;2020-04-16