55 citations · 205 across the 30 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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★ 32 cited
Nested Regular Path Queries in Description Logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz +1
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They a…
cs.LO2014★ 16 cited
Prime Implicates and Prime Implicants: From Propositional to Modal Logic
Meghyn Bienvenu
Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose…