CFCS Youth Forum

Equipping Machines with Brain and Knowledge

  • Yizheng Zhao, University of Manchester
  • Time: 2019-04-04 11:45
  • Host: Prof. Xiaotie Deng
  • Venue: Room 204, Courtyard No.5, Jingyuan


In computer science and AI, ontologies are used to provide a common vocabulary for a domain of interest along with the descriptions of the meaning of terms built from the vocabulary and relationships between them, as with in an encyclopedia. In order to be machine-accessible, ontologies are formulated in an ontology language based on description logics (DLs) such as OWL. Using a DL-based ontology language has two notable advantages: (i) they have formal and unambiguous semantics, namely that the meaning of terms is specified in an unambiguous way, thereby enabling shared understanding of domain knowledge; and (ii) one can make use of reasoning services of DL reasoners for ontology engineering. Ontologies in this sense have become increasingly prevalent across numerous industry sectors, including medical, healthcare, digital biology, energy, and law sectors. In this talk, we will discuss ideas concerning equipping machines with brain (reasoners) and world knowledge (ontological axioms) to facilitate conscious machines.


Dr. Yizheng Zhao is currently an honarary research associate in the School of Computer Science at the University of Manchester, where he obtained his PhD degree in 2017. Prior to being named to his current position, Dr. Yizheng Zhao worked as a postdoctoral research associate in the Department of Computer Science at the University of Oxford. His research is situated in the realm of Artificial Intelligence, with a particular focus on knowledge representation and reasoning, ontologies and web ontology languages, knowledge graph, computational logics, implementation and optimization of reasoning systems, and realistic application related to these.