The space-efficient core of Vadalog
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 r...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Association for Computing Machinery
2019
|