Reasoning in Description Logics

Publication
Foundation of Knowledge Representation