Vol-3514⫷ Vol-3515 ⫸Vol-3516
urn:nbn:de:0074-3515-0


Vol-3515/paper-12⫷Vol-3515/paper-13⫸Vol-3515/paper-14
Joshua HirschbrunnYevgeny Kazakov

Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts