Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.

Sebastian Brandt, Anni-Yasmin Turhan, Ralf Ksters

Browse the full LPAR paper archive.