In this talk, I will introduce the techniques for knowledge base construction, formal languages used to represent knowledge and techniques for reasoning with knowledge. I will first give an overview of knowledge base construction. Then I will introduce some key techniques for extracting knowledge from the Web. I will also introduce techniques for reasoning with knowledge and tools for large scale reasoning. After that, I will talk about some typical applications of knowledge base techniques. Finally, I will give some advice on future direction of knowledge base techniques.

Biography: Dr. Guilin Qi is a professor working at Southeast University (SEU) in China. He is a professional member of ACM and is in the editorial board of the Journal of Web Semantics, which is one of the leading journals on knowledge technologies. He is a co-Chair of the Poster and Demo track of ISWC’2011 and a co-Chair of the Poster and Demo track of EKAW’14. He is a program chair of JIST2015. He has served as PC members of many international conferences, such as KR2012, IJCAI2011-15, AAAI2011-15, ISWC2009-15. He has won the ASWC2008 best research paper running award and the JIST2011 best demo award. He was invited as a lecturer of Reasoning Web summer school in 2012 and CCF ADL55 in 2014. His research interests include artificial intelligence, knowledge representation and reasoning, and semantic web. He has published over 100 papers in these areas, many of which published in proceedings of major conferences or journals. He has many years of experience on knowledge base construction and reasoning with uncertain and inconsistent knowledge, and has developed some systems for reasoning with large scale knowledge. He is the principal investigator or a key member of many national or international projects, including two NSFC projects and some industrial projects. In particular, he is the principal investigator of the Baidu project “Research on Constructing Healthcare Domain Knowledge based on Ontology and Knowledge Technologies and it Applications” and is the second investigator of a subproject of the 863 program “university entrance exam robot” leaded iFlytek Co.