Conference item icon

Conference item

The space-efficient core of Vadalog

Abstract:

Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fragment of tuple-generating dependencies (TGDs). This formalism ensures tractable reasoning in data complexity, while a recent analysis focusing on a practical implementation led to the reasoning algorithm around which the Vadalog system is built. A fundamental question that has emerged in the context of Vadalog is t...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/3294052.3319688

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Publisher:
Association for Computing Machinery Publisher's website
Pages:
270-284
Publication date:
2019-06-25
Acceptance date:
2018-11-03
DOI:
Pubs id:
pubs:953571
URN:
uri:4488ed95-c2b4-40cc-9ff2-ac97d10b0c23
UUID:
uuid:4488ed95-c2b4-40cc-9ff2-ac97d10b0c23
Local pid:
pubs:953571
ISBN:
978-1-4503-6227-6

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP