From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia

Browse the full KR paper archive.