13 citations · 17 across the 16 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
The Adjacent Fragment and Quine's Limits of Decision
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
We introduce the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment gene…
cs.LO2024
Data Complexity in Expressive Description Logics With Path Expressions
Bartosz Bednarczyk
We investigate the data complexity of the satisfiability problem for the very expressive description logic ZOIQ (a.k.a. ALCHb Self reg OIQ) over quasi-forests and establish its NP-…