A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes.

Novak Novakovic

Browse the full JELIA paper archive.