pith. sign in

Then, our derivation restricted to the first ๐‘‘โˆ’1 elements is a (๐’ฏ, โ„“) -derivation of B(a) from ๐’œ of length ๐‘‘โˆ’1

Suppose A, B are concept names with BโชฏA

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

fields

cs.LO 1

years

2026 1

verdicts

CONDITIONAL 1

representative citing papers

A Horn extension of DL-Lite with NL data complexity

cs.LO ยท 2026-05-13 ยท conditional ยท novelty 7.0

ELbotpreceq extends DL-Lite with reachability and limited conjunction while keeping NL reasoning complexity through rewriting into nested two-way regular path queries.

citing papers explorer

Showing 1 of 1 citing paper.

  • A Horn extension of DL-Lite with NL data complexity cs.LO ยท 2026-05-13 ยท conditional ยท none ยท ref 22

    ELbotpreceq extends DL-Lite with reachability and limited conjunction while keeping NL reasoning complexity through rewriting into nested two-way regular path queries.