55 citations · 114 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 28 cited
Unary negation
Luc Segoufin, Balder ten Cate
We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable. These logics generalize…
cs.DB2013★ 55 cited
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz +1
Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting…