Non-Standard Inferences in Description Logics

Bok av Ralf Küsters