Expressive Identification Constraints to Capture Functional Dependencies in Description Logics

Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus. Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 416-420, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.