Nominal Schemas for Integrating Rules and Description Logics

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Description Logics. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.