Report - Formalizing Subsumption Relations in Ontologies …...Formalizing Subsumption Relations in Ontologies using Type Classes in Coq Richard Dapoigny1 Patrick Barlatier1 1LISTIC/Polytech’Savoie

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form