A Necessary Relation Algebra for Mereotopology.

Ivo Düntsch Gunther Schmidt Michael Winter

Published in: Stud Logica (2001)

Keyphrases

relation algebra
expressive power
formal logic
databases
machine learning
query language
general purpose
online learning
theoretical framework