A Saturation-based Algebraic Reasoner for ELQ.

Jelena Vlasenko Maryam Daryalal Volker Haarslev Brigitte Jaumard

Published in: PAAR@IJCAR (2016)

Keyphrases

knowledge base
consistency checking
query answering
preprocessing
higher order
algebraic expressions
data sets
real world
computer vision
wide range