RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 16, 2013 18:30, Moscow, Steklov Mathematical Institute


On the length of conjunctive query rewritings for OWL 2 QL theories

S. P. Kikot'

Abstract: We establish a connection between circuit complexity and the problem of constructing short rewritings of conjunctive queries for OWL 2 QL (first-order theories of some special form) and its fragments, and exploit it for proving upper and lower bounds for the length of query rewritings.


© Steklov Math. Inst. of RAS, 2026