Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/paper-14⫷Vol-3263/paper-15⫸Vol-3263/paper-16
Jean Christoph JungAndrea MazzulloFrank Wolter

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions