76 citations · 83 across the 7 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020
A tetrachotomy of ontology-mediated queries with a covering axiom
Olga Gerasimova, Stanislav Kikot, Agi Kurucz +2
Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to…
cs.AI2011★ 76 cited
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
D. Gabelaia, R. Kontchakov, A. Kurucz +2
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the…