scholarly journals Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

2020 ◽  
Vol 21 (3) ◽  
pp. 1-47
Author(s):  
André Hernich ◽  
Carsten Lutz ◽  
Fabio Papacchini ◽  
Frank Wolter
Keyword(s):  

Author(s):  
Vince Bárány ◽  
Georg Gottlob ◽  
Martin Otto
Keyword(s):  


Author(s):  
Georg Gottlob ◽  
Andreas Pieris ◽  
Lidia Tendera
Keyword(s):  


Author(s):  
Eva Hoogland ◽  
Maarten Marx ◽  
Martin Otto




2015 ◽  
pp. exv075 ◽  
Author(s):  
Emanuel Kieroński ◽  
Ian Pratt-Hartmann ◽  
Lidia Tendera
Keyword(s):  


2012 ◽  
Vol 59 (1) ◽  
pp. 1-40 ◽  
Author(s):  
Martin Otto
Keyword(s):  


1999 ◽  
Vol 64 (2) ◽  
pp. 747-760 ◽  
Author(s):  
Szabolcs Mikulás ◽  
Maarten Marx

AbstractIn this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.



Sign in / Sign up

Export Citation Format

Share Document