4 Description logics intro

оставил ashkotin