Refinement in the Tableau Synthesis Framework

Dmitry Tishkovsky Renate A. Schmidt

Published in: CoRR (2013)

Keyphrases

three dimensional
main contribution
computational framework
database
social networks
high level
description logics
conceptual framework