257 citations · 486 across the 35 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov +1
We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Li…
cs.LO2012★ 8 cited
Exponential Lower Bounds and Separation for Query Rewriting
Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii +1
We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunct…