Media type: E-Article Title: Living without beth and craig : explicit definitions and interpolants in description logics with nominals (extended abstract) Contributor: Artale, Alessandro [VerfasserIn]; Jung, Jean Christoph [VerfasserIn]; Mazzullo, Andrea [VerfasserIn]; Ozaki, Ana [VerfasserIn]; Wolter, Frank [VerfasserIn] imprint: 2020 Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020 Language: English Origination: Footnote: Access State: Open Access