Practical Reasoning with Nominals in the EL Family of Description Logics

Open in new window