Lei Li

About Me

Lei Li is a PhD candidate working with Professor Ian Horrocks and Dr. Ulrike Sattler in the Computer science department at the University of Manchester. His primary research interest is the application of Description Logic (DL) reasoning, especially the deployment of ontologies, for example in the Semantic Web. He is particularly interested in reasoning with large numbers of individuals (representing, e.g., web resources) using a combination of databases and DL reasoning techniques. He received a bachelor degree in Computer Science from University of Science and Technology of China (USTC) in 1999, and a master degree in Advanced Computer science from University of Manchester. Prior to studying in Manchester, he worked in industry for two years as a software developer in Shanghai, China. From April to September in 2002, he was a research intern in the Intelligent Enterprise Technology Lab, Hewlett-Packard Labs, Bristol, UK.

Research

Journal Publications:

Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. Special Issue on Semantic Web Services and Their Role in Enterprise Application Integration and E-Commerce, Michael Wellman and John Riedl, editors, Int. Journal of Electronic Commerce (IJEC), Summer 2004 (8, 4).
Abstract, PDF(150K) and BibTeX reference .

Proceedings Publications:

L. Li. Reasoning with large numbers of individuals moves on: extending the instance store. In Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), 2004. CEUR Workshop Proceedings, online CEUR-WS.org/Vol-106/08-li.pdf.
Abstract, PDF(70K) and BibTeX reference .

I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The instance store: DL reasoning with large numbers of individuals. In Proc. of the 2004 Description Logic Workshop (DL 2004), pages 31-40, 2004.
Abstract, PDF(80K) and BibTeX reference .

Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 331-339. ACM, 2003.
Abstract, PDF(150K) and BibTeX reference .

Lei Li and Ian Horrocks. Matchmaking using an Instance Store: some preliminary Results. In Proc. of the 2003 International Workshop on Description Logics (DL2003), poster paper, 2003.
Abstract, PDF(87K) and BibTeX reference .

Miscellaneous:

Lei Li. Reasoning Over Individuals: the Instance Store. Computer Science Dept., University of Manchester, 2003. Continuation Report (short version).
PDF(40K) .

Professional Activities

Fun

History, Swimming, Badminton, Squash

Contacts

Room 2.100, Kilburn Building
Department of Computer Science
University of Manchester
Oxford Road, Manchester
M13 9PL
United Kingdom

Last modified: October 2004