On the Closure of Description Logics under Substitutions

Jon Haël Brenas, Rachid Echahed, Martin Strecker. On the Closure of Description Logics under Substitutions. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Authors

Jon Haël Brenas

This author has not been identified. Look up 'Jon Haël Brenas' in Google

Rachid Echahed

This author has not been identified. It may be one of the following persons: Look up 'Rachid Echahed' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google