Subsumption in w.r.t. Hybrid TBoxes.

Sebastian Brandt, Jrg Model

Browse the full KI paper archive.