Partially Finite Model Reasoning in Description Logics.

Tomasz Gogacz, Filip Murlak, Marcin Przybylko, Alexandra Rogova, Michal Skrzypczak

Browse the full KR paper archive.