Report - Description Logic: A Formal Foundation for Ontology ... · Contents • Motivation • Brief review of (first order) logic • Description Logics as fragments of FOL • Description

Please pass captcha verification before submit form