Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies.

Arash Karimi Jia-Huai You

Published in: RuleML+RR (2020)

Keyphrases

tuple generating dependencies
multi agent
conjunctive queries
knowledge base
knowledge representation
data exchange
automated reasoning
query answering
databases
computational complexity
database design
consistency checking