Practical Reasoning with Nominals in the EL Family of Description Logics.

Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simanck

Browse the full KR paper archive.