9 citations · 52 across the 16 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 1 cited
A dichotomy for some elementarily generated modal logics
Stanislav Kikot
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form …
cs.AI2014
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
This paper investigates the impact of query topology on the difficulty of answering conjunctive queries in the presence of OWL 2 QL ontologies. Our first contribution is to clarify…
cs.LO2014★ 6 cited
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases
Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii +1
We investigate the size of first-order rewritings of conjunctive queries over OWL 2 QL ontologies of depth 1 and 2 by means of hypergraph programs computing Boolean functions. Both…