Query answering with transitive and linear-ordered data
We consider entailment problems involving powerful constraint languages such as frontierguarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
AI Access Foundation
2018
|