应计算机学院邀请，4月17日下午,北京航空航天大学计算机学院博士生导师马世龙教授在南校区学术报告厅为我校学生做了一场题为《描述逻辑及其在软件设计中的应用》的学术报告。报告会由副校长周英主持。
    马世龙教授，软件开发环境国家重点实验室常务副主任、国家自然科学基金委员会第十、十一届信息科学部专家评审组成员、国防科工委信息技术应用标准化技术委员会专家。先后主持完成了国家973项目“网络环境下海量信息组织与处理的理论与方法研究”、国家863 B类重大项目“资源环境应用网格系统构建”等国家级项目。在国际学术刊物和国际学术会议上发表研究论文五十多篇，SCI、EI和ISTP索引和摘要论文40余篇。
    会上，马世龙教授首先简单结合传统的知识表示方法说明描述逻辑的起源，并且给出描述逻辑的基本成分和基本理论，随后，详细描述逻辑研究中的一些理论和技术问题并重点介绍了软件工程中的构件和服务的语义说明、构件组装与服务集成和基于本体的领域知识库与基于Web的信息系统和数据库管理等内容。
    会后，马世龙教授和与会师生进行了互动式的交流，对大家提出的问题都耐心地一一给予了详细而浅显易懂的解答，马教授渊博的知识和幽默的谈吐不时赢得了在场师生的热烈掌声，使与会者在愉悦的气氛中学到了知识、拓宽了视野。最后，报告会在大家热烈的掌声中结束。