Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.

Claudia Carapelle, Anni-Yasmin Turhan

Browse the full ECAI paper archive.