Reasoning with Nominal Schemas through Absorption.

Andreas Steigmiller Birte Glimm Thorsten Liebig

Published in: J. Autom. Reason. (2014)

Keyphrases

databases
reasoning process
data integration
expert systems
xml documents
automated reasoning
knowledge representation and reasoning
model based reasoning
rule based reasoning
database
real time
database schema
legal reasoning
computational properties