2 Description logics intro

оставил ashkotin