Author

Duy Nhu

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

2026

Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting

This work extends the existing coherence update semantics from DL-Lite ( ℋℱ ) core to deal with conjunctions on the left-hand side of TBox axioms, which introduce ambiguity in the update result.

Stefan Borgwardt, Duy Nhu · Digital library · 0 citations