Yuan-Fang LI's Homepage

Research Interests

Education & Awards

Education

Others

  • 25th Marktoberdorf International Summer School on Engineering Theories of Software Intensive Systems, NATO Science Committee, Munich, Gernamy, 3rd - 15th 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

  • Research fellow                                                                                     Aug 2007 - Present
    School of ITEE, University of Queensland
    Working 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 - Aug 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 setting up the lab equipments, instructing students with experiments and marking lab scripts.
  • Contract programmer                                                                           May 2001 - Jul 2001
    Speaking-Chinese.com Pte., Ltd., Beijing, P.R.China
    Participated in the development of one of the company's major product: a multimedia Chinese language education CD-ROM. Responsibility was to integrate Flash components into the CD-ROM using Visual C++.
  • Intern programmer                                                                               Jul 2000 - Nov 2000
    Techron Integrated Systems Pte., Ltd., Singapore
    Involved in the development of a loyalty system based on smart card technology. Both memory and microprocessor cards were employed. Familiarized myself with the concepts and working of smart card. Also acquired working knowledge of credit card machine client-side implementation, remote authentication and reading from and writing onto credit cards. An ActiveX OCX component was developed in Visual Basic as part of an accounting software package.

Publications

24

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]

23

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]

22

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]

21

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 (accepted)

20

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]

19

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]

18

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]

17

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]

16

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]

15

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]

14

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]

13

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]

12

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]

11

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]

10

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]

9

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]

8

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].

7

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]

6

H. Wang , Y.-F. Li, J. Sun and H. Zhang. Verify Feature Models using Protégé-OWL. In 14th International World Wide Web Conference (WWW’05), ACM Press, Chiba, Japan, May 2005. (poster, to appear). [bib+pdf+abstract]

5

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]

4

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]

3

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]

2

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]

1

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]

Tech reports:

2

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, University “Alexandru Ioan Cuza” of Ia?i, Romania, Jan 2005. [bib+ps].
1

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
    5th 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
    5th 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
    • APSEC (2003, 2004)
    • ACSC (2006)
    • ASWEC (2005, 2006)
    • AWRE (2004)
    • ICECCS (2005)
    • VLHCC (2006)
    • TSE
    • ICTAC (2006)
    • ZB (2005)
    • ZUM (2006)
    • ICDCIT (2004)
    • ICFEM (2003, 2004)
    • FORTE (2005)
    • IFM (2004)
    • PLC (2005)
    • SEFM (2004)
    • SEKE (2005, 2006)
    • IEHSC (2005)
    • ATVA (2005)
    • FM (2005)
    • ISoLa (2004)
    • WLFM (2005)
    • PRIMA (2005)

Links

Last updated: 27 June, 2008

eXTReMe Tracker