Research Interests

• The Semantic Web, ontology languages (DAML+OIL, OWL, RDF/RDFS, SWRL), querying and reasoning
• Formal design methods (Alloy, Z, PVS)
• Real-time concurrent systems (TCOZ)
• XML environment for formal languages (CZT)
• Software requirements analysis

Education & Awards

Education

• Ph.D.
  School of Computing (SoC), National University of Singapore (NUS), Aug 2002 - Dec 2006.
  Advisor: Associate Professor DONG, Jin Song
  
  
• Bachelor of Computing (2^nd Class Upper Honors)
  SoC, NUS, Jul 1998 - Jun 2002.
  
  
• Bachelor of engineering
  Department of Precision Instruments and Mechanology , Tsinghua University, China, Sep - Nov 1997

Others

• 25^th Marktoberdorf International Summer School on Engineering Theories of Software Intensive Systems, NATO Science Committee, Munich, Gernamy, 3^rd - 15^th Aug 2004.

Awards

• President's Graduate Fellowship Scholarship (PGF), NUS, Aug 2005 - Jul 2006.
• Singapore Millennium Foundation Scholarship (SMF), Aug 2004 - Jul 2006.
• Dean's Award, SoC, 2004.
• Ministry of Education of Singapore Scholarship, 1997 - 2002.

Work Experiences

• Postdoctoral Research fellow                                                                  Aug 2007 - Present
  School of ITEE, University of Queensland
  Working on Skeletome, a Semantic Web-enabled knowledge base for skeletal dysplasias. The Skeletome aims at utilizing novel Semantic Web and Web 2.0 technologies to create a community-driven, expert-curated, knowledge base that supports semantic content annotation, aggregation and visualization. Also worked on the BioMANTA project on the computational modeling and analysis of large-scale protein-protein interaction and compound activity networks using Semantic Web technology. Developing a MapReduce-based distributed RDF molecule store for the storage, querying and reasoning of RDF data.
• Research fellow                                                                                     July 2006 - Sep 2007
  Soc, NUS
  Continuing from the previous one, the current project focuses on applying Semantic Web and software engineering techniques into the development, management and verification of various extensions of the ontology languages. These extensions include the rules extension SWRL, the belief-extension, etc. In this project, the goal is to conduct theoretical research and develop practical tools so that non-expert users of the software engineering tools can apply the techniques with greater ease.
• Research assistant                                                                                 Aug 2002 - Apr 2004
  Soc, NUS
  Working on DSTA-funded research project "Formal Design Methods and DAML". Investigated various ontology checking tools; developed the Z semantics of ontology language DAML+OIL and a transformation tool and uncovered certain errors Semantic Web tools cannot find. Proposed a combinational approach to more effectively analyze ontologies and uncover errors.
• Part-time teaching assistant                                                                 Aug 2001 - Apr 2002
  Soc, NUS
  Responsible for student tutoring, lab equipment setup and script marking.

Publications

• Y.-F. Li, J. Sun, G. Dobbie, S. Uk-Jin Lee and H. H. Wang, Verifying Semistructured Data Normalization using SWRL, In 3rd International Symposium on Theoretical Aspects of Software Engineering (TASE'09). Tianjin, China, July 29 - 31 2009 (accepted). [bib+pdf+abstract]
• A. Newman, Y.-F. Li, and J. Hunter, Scalable Semantics - the Silver Lining of Cloud Computing, In 4th IEEE International Conference on e-Science (e-Science) 2008. Indianapolis, USA, December 7-12, 2008. [bib+pdf+abstract]
• S. Ferndriger, A. Bernstein, J. S. Dong, Y. Z. Feng, Y.-F. Li and J. Hunter. Enhancing Semantic Web Services with Inheritance, In Proceedings of the 7th International Semantic Web conference (ISWC'08), Karlsruhe, Germany, 2008. [bib+pdf+abstract] (acceptance rate 16%, corresponding author)
• A. Newman, J. Hunter, Y.-F. Li, C. Bouton, and M. Davis, A Scale-Out RDF Molecule Store for Distributed Processing of Biomedical Data. In Semantic Web for health Care and Life Sciences Workshop (HCLS'08) at 17th International World Wide Web Conference (WWW2008), Beijing, China, April 22, 2008. [bib+pdf+abstract]
• A. Newman, J. Hunter, Y.-F. Li, C. Bouton, and M. Davis, BioMANTA Ontology: The Integration of Protein-Protein Interaction Data. In Interdisciplinary Ontology Conference (InterOntology08 Tokyo), Tokyo, Feb 26-27, 2008. [bib+pdf+abstract]
• Scott Uk-Jin Lee, J. Sun, G. Dobbie, L. Groves and Y.-F. Li. Correctness Criteria for Normalization of Semistructured Data. In 19th Australian Software Engineering Conference (ASWEC 2008), pages 248-257, Perth, Australia, March 26-28, 2008. [bib+pdf]
• Hai H. Wang, J. S. Dong, J. Sun, T. Payne, N. Gibbins, Y.-F. Li, and J. Pan. An Integrated Formal Approach to Semantic Work Environments Design, chapter of Emerging Technologies for Semantic Work Environments: Techniques, Methods,and Applications, IGI Publishing, 2007.
• H. H. Wang, Y.-F. Li, J. Sun, H. Zhang and J. Pan. Verifying Feature Models Using OWL. In Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):117-129, June 2007. [bib+pdf+abstract] (journal impact factor: 3.410, second author)
• Y. Feng, Y.-F. Li, C. K-Y. Tan and B. Wadhwa. Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs. In 12th IEEE International Conference on Engineering of Complex Systems (ICECCS'07), Auckland, New Zealand, July 11-14, 2007. [bib+abstract] (corresponding author)
• G. Dobbie, J. Sun, Y.-F. Li and S. Uk-Jin Lee. Research into Verifying Semistructured Data. In 3rd International Conference on Distributed Computing and Internet Technology (ICDCIT'06), Bhubaneswar, India, December 20-23, 2006. [bib+abstract]
• Y.-F. Li, J. Sun, G. Dobbie, H. Wang and J. Sun. Reasoning about ORA-SS Data Models Using the Semantic Web. Journal on Data Semantics VII, Lecture Notes in Computer Science 4244:219-241, Springer, November 2006. [bib+pdf+abstract] (first author)
• D. Lucanu, Y.-F. Li, J. S. Dong. Semantic Web Languages - Towards an Institutional Perspective. In Algebra, Meaning, and Computation: A Festschrift in Honor of Prof. Joseph Goguen, Eds. Futatsugi, Jouannaud, and Meseguer, pages 99-123, 2006. LNCS 4060, Springer-Verlag. [bib+pdf+abstract] (second author)
• Y.-F. Li, J. Sun, G. Dobbie, J. Sun and H. Wang. Validating Semistructured Data using OWL. In 7th International Conference on Web-Age Information Management (WAIM'06), pages 522-533, Hong Kong, China, June 2006. [bib+pdf+abstract]
• J. S. Dong, Y. Feng, Y.-F. Li, and Jun Sun. A Tools Environment for Developing and Reasoning About Ontologies. In Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC'05), Taipei, Taiwan, December 2005. [bib+abstract]
• H. Wang, Y.-F. Li, J. Sun, H. Zhang and J. Pan. A Semantic Web Approach to Feature Modeling and Verification. In Workshop on Semantic Web Enabled Software Engineering (SWESE'05), Galway, Ireland, November 2005. [bib+abstract] (second author, 12 citations, Google Scholar)
• J. Sun, Y.-F. Li, H. Wang and J. Sun. Visualizing and Simulating Semantic Web Services Ontologies. In 7th International Conference on Formal Engineering Methods (ICFEM'05), pages 435-449, Manchester, United Kingdom , November 2005. LNCS, Springer-Verlag. [bib+pdf+abstract] (second author)
• S. U. Lee, J. Sun, G. Dobbie and Y.-F. Li. A Z Approach in Validating ORA-SS Data Models. In 3rd International Workshop on Software Verification and Validation (SVV'05), Electronic Notes in Theoretical Computer Science, Volume 157, Issue 1, Pages 95-109, Manchester, United Kingdom, October 2005. [bib+abstract]
• D. Lucanu, Y.-F. Li and J. S. Dong. Institution Morphisms for Relating OWL and Z. In 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005. [bib+pdf+abstract]
• H. Wang, J. S. Dong, J. Sun and Y.-F. Li. TCOZ Approach to OWL-S Process Model Design. In 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 354-359, Taipei, Taiwan, July 2005.[bib+abstract]
• J. Sun, H. Zhang, Y.-F. Li and H. Wang. Formal Semantics and Verification for Feature Modeling. In 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), IEEE Press, Shanghai, China, Jun 2005 [bib+pdf+abstract] (13 citations, Google Scholar)
• D. Lucanu, Y.-F. Li and J. S. Dong. Soundness Proof of Z Semantics of OWL Using Institutions. In 14th International World Wide Web Conference (WWW’05), Chiba, Japan, ACM Press, May 2005 (poster, to appear). [bib+ pdf+abstract]
• H. Wang , Y.-F. Li, J. Sun and H. Zhang. Verify Feature Models using Protege-OWL. In 14th International World Wide Web Conference (WWW’05), ACM Press, Chiba, Japan, May 2005. (poster, to appear). [bib+pdf+abstract]
• J. S. Dong, Y. Feng and Y.-F. Li. Verifying OWL and ORL Ontologies in PVS.In 1st International Colloquium on Theoretical Aspects of Computing (ICTAC'04) pages 265-279, Springer-Verlag, Guiyang, China, Sep 2004.[bib+pdf+abstract]
• J. S. Dong, C. H. Lee, H. B. Lee, Y.-F. Li and H. Wang. A Combined Approach to Checking Web Ontologies. In 13th ACM International World Wide Web Conference (WWW'04), pages 714-722, ACM Press, New York, USA, May 2004. [bib+pdf+html+abstract] (acceptance rate 13%, corresponding author, 26 citations, Google Scholar)
• J. S. Dong, Y.-F. Li and H. Wang. TCOZ Approach to Semantic Web Service Design. In 13th ACM International World Wide Web Conference (WWW'04), pages 442-443, ACM Press, New York, USA, May 2004. [bib+pdf+abstract]
• J. S. Dong, C. H. Lee, Y.-F. Li and H. Wang. Verifying DAML+OIL and Beyond in Z/EVES. In 26th International Conference on Software Engineering (ICSE'04), pages 201-210, ACM/IEEE Press, Edinburgh, Scotland, UK, May 2004. [bib+pdf+abstract] (corresponding author, 18 citations, Google Scholar)
• J. S. Dong, Y.-F. Li, J. Sun, J. Sun and H. Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. In 4th International Conference on Formal Engineering Methods (ICFEM'02), pages 311-322, Shanghai, China, Oct 2002. [bib+pdf+abstract] (second author, 8 citations, Google Scholar)

Tech reports:

• D. Lucanu, Y.-F. Li and J. S. Dong. Web Ontology Verification and Analysis in the Z Framework. TR 05-01, Faculty of Computer Science, Alexandru Ioan Cuza University, Romania, Jan 2005. [bib+ps].
• J. S. Dong, Y.-F. Li and H. Wang. A Formal Approach to Semantic Web Services Design. TRB2/04, School of Computing, National University of Singapore, Feb 2004. [bib]

Professional Activities

• Assistant proceedings editor
  5^th International Conference on Formal Engineering Methods (ICFEM'03), Singapore
  Edited the conference proceedings, responsible for liasing with authors and the publisher, compiling the source files and generating front page matters, Table of Contents, Author Index, etc.
• Web master
  5^th International Conference on Formal Engineering Methods (ICFEM'03), Singapore
  Administrator of the conference's online papers submission and review system, which handled 100 submitted papers with 3 rounds of submissions and 40 reviewers; and automatically generated various reports periodically. Also partially responsible for updating the conference main web site.
• International referee
  • IEEE Transactions on Software Engineering
  • ACSC (2006)
  • APSEC (2003, 2004)
  • ASWEC (2005, 2006)
  • ATVA (2005)
  • AWRE (2004)
  • FM (2005)
  • FORTE (2005)
  • ICDCIT (2004)
  • ICECCS (2005)
  • ICFEM (2003, 2004)
  • ICTAC (2006)
  • IEHSC (2005)
  • IFM (2004)
  • IJCAI (2009)
  • ISoLa (2004)
  • ISWC (2008)
  • PLC (2005)
  • PRIMA (2005)
  • SEFM (2004)
  • SEKE (2005, 2006)
  • TASE (2008)
  • TSE
  • VLHCC (2006)
  • WLFM (2005)
  • ZB (2005)
  • ZUM (2006)

Links

• My supervisor at ITEE, UQ, Prof. Jane Hunter
• The eResearch group
• The BioMANTA project
• The JRDF project
• My Ph.D. supervisor, A/P Dong Jin Song
• Sun Jing (The University of Auckland, New Zealand)
• Wang Hai (Aston University, UK)
• Sun Jun (SoC, NUS)

Last updated: 5 May, 2009