Decidability of Equational Theories for Subsignatures of Relation Algebra.

Published in: RAMiCS (2018)

Keyphrases

equational theories
relation algebra
expressive power
description logics
formal logic
theorem proving
query answering
first order logic
function symbols
machine learning
query language
knowledge representation
general purpose
higher education
transitive closure