Description Logics with Concrete Domains and General Concept Inclusions Revisited.

Franz Baader, Jakub Rydval

Browse the full CADE paper archive.