Dr Yuan-Fang Li - Researcher Profile

Related Links:

• Yuan Fang Li's research homepage

Keywords

Data management, Knowledge representation, Ontologies, Semantic Web, Software engineering, Software verification and validation, ontologies, knowledge representation,

Qualifications

COMPUTER SCIENCE

Institution: National University of Singapore

Year awarded: 2006

BACHELOR OF COMPUTING

Institution: University of Singapore

Year awarded: 2002

Publications

Book Chapters

Li, Y., Newman, A., Hunter, J.L., 2010, Scale-out RDF molecule store for efficient, scalable data integration and querying, in Cloud Computing and Software Services: Theory and Techniques, eds Syed A. Ahson and Mohammad Ilyas, CRC Press, Boca Raton FL USA, pp. 329-354.

Wang, H.H., Dong, J.S., Sun, J., Payne, T., Gibbins, N., Li, Y., Pan, J., 2008, An integrated formal approach to semantic work environments design, in Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, eds Jorg Rech, Bjorn Decker and Eric Ras, IGI Global, Hershey PA USA, pp. 262-280.

Li, Y., Sun, J., Dobbie, G., Wang, H.H., Sun, J., 2006, Reasoning about ORA-SS data models using the semantic web, in Journal on Data Semantics VII, eds Stefano Spaccapietra, Springer-Verlag, Berlin Germany, pp. 219-241.

Lucanu, D., Li, Y., Dong, J.S., 2006, Semantic web languages - Towards an institutional perspective, in Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, eds Kokichi Futatsugi, Jean-Pierre Jouannaud and Jose Meseguer, Springer-Verlag, Berlin Germany, pp. 99-123.

Journal Articles

Li, Y., Kennedy, G., Ngoran, F., Wu, P., Hunter, J.L., 2013, An ontology-centric architecture for extensible scientific data management systems, Future Generation Computer Systems [P], Elsevier Science, Amsterdam Netherlands, pp. 1-12.

Gong, X., Yu, H., Yang, C., Li, Y., 2012, Knowledge enrichment analysis for human tissue-specific genes uncover new biological insights, Journal of Integrative Bioinformatics [E], vol 9, issue 2, Informationsmanagement in der Biotechnologie e.V., Stadt Germany, pp. 1-12.

Zhang, H., Li, Y., Tan, H., 2010, Measuring design complexity of semantic web ontologies, Journal of Systems and Software [P], vol 83, issue 5, Elsevier Science, New York NY USA, pp. 803-814.

Wang, H.H., Li, Y., Sun, J., Zhang, H., Pan, J., 2007, Verifying feature models using OWL, Web Semantics [P], vol 5, issue 2, Elsevier Science, Amsterdam Netherlands, pp. 117-129.

Conference Proceedings

Kang, Y.B., Li, Y., Krishnaswamy, S., 2012, Predicting reasoning performance using ontology metrics, The Semantic Web - ISWC 2012: 11th International Semantic Web Conference, Proceedings Part I, 11 November 2012 to 15 November 2012, Springer-Verlag, Berlin Germany, pp. 198-214.

Li, Y., Zhang, H., 2011, Integrating software engineering data using semantic web technologies, Proceedings of the 8th Working Conference on Mining Software Repositories, 21 May 2011 to 22 May 2011, Association for Computing Machinery, New York NY USA, pp. 211-214.

Groza, T., Zankl, A., Li, Y., Hunter, J., 2011, Using semantic web technologies to build a community-driven knowledge curation platform for the skeletal dysplasia domain, Proceedings of the 10th International Semantic Web Conference, Part II, 23 October 2011 to 27 October 2011, Springer-Verlag, Berlin Germany, pp. 81-96.

feng, y., Liu, Y., Li, Y., Zhang, D., 2010, Discovering anomalies in semantic web rules, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, 09 June 2010 to 11 June 2010, IEEE Computer Society, Los Alamitos CA USA, pp. 33-42.

Li, Y., Kennedy, G., Davies, F., Hunter, J., 2010, PODD - Towards an extensible, domain-agnostic scientific data management system, Proceedings of the 2010 Sixth IEEE International Conference on e-Science, 07 December 2010 to 10 December 2010, IEEE Computer Society, Los Alamitos CA USA, pp. 137-144.

Li, Y., Kennedy, G., Davies, F., Hunter, J., 2010, PODD: An ontology-driven data repository for collaborative phenomics research, Proceedings of the 12th International Conference on Asia-Pacific Digital Libraries, 21 June 2010 to 25 June 2010, Springer-Verlag, Berlin Germany, pp. 179-188.

Li, Y., Kennedy, G., Davies, F., Hunter, J., 2010, Towards a semantic & domain-agnostic scientific data management system, Proceedings of the International Semantic Web Conference Workshops Volume 1, 07 November 2010 to 08 November 2010, CEUR Workshop Proceedings, http://ceur-ws.org, pp. 1-12.

Li, Y., Sun, J., Dobbie, G., Lee, S., Wang, H., 2009, Verifying semistructured data normalization using SWRL, Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29 July 2009 to 31 July 2009, IEEE Computer Society, Los Alamitos CA USA, pp. 193-200.

Lee, S., Sun, J., Dobbie, G., Groves, L., Li, Y., 2008, Correctness criteria for normalization of semistructured data, Proceedings of the 19th Australian Software Engineering Conference, 25 March 2008 to 28 March 2008, IEEE Computer Society, Los Alamitos CA USA, pp. 248-257.

Ferndriger, S., Bernstrein, A., Dong, J., Feng, Y., Li, Y., Hunter, J., 2008, Enhancing semantic web services with inheritance, Proceedings of the 7th International Semantic Web Conference, 26 October 2008 to 30 October 2008, Springer-Verlag, Berlin Germany, pp. 162-177.

Newman, A., Li, Y., Hunter, J., 2008, Scalable semantics - The silver lining of cloud computing, Proceedings of the Fourth IEEE International Conference on eScience, 07 December 2008 to 12 December 2008, IEEE Computer Society, Los Alamitos CA USA, pp. 111-118.

Feng, Y., Li, Y., Tan, C., Wadhwa, B., Wang, H., 2007, Belief-augmented OWL (BOWL) - Engineering the semantic web with beliefs, Proceedings of the Twelfth IEEE International Conference on Engineering of Complex Computer Systems, 11 July 2007 to 14 July 2007, IEEE Computer Society, Los Alamitos CA USA, pp. 165-174.

Lee, S.U., Sun, J., Dobbie, G., Li, Y., 2006, A Z approach in validating ORA-SS data models, Proceedings of the Third International Workshop on Software Verification and Validation, 31 October 2005, Elsevier, Amsterdam Netherlands, pp. 95-109.

Dobbie, G., Sun, J., Li, Y., Lee, S.U., 2006, Research into verifying semistructured data, Proceedings of the Third International Conference on Distributed Computing and Internet Technology, 20 December 2006 to 23 December 2006, Springer-Verlag, Berlin Germany, pp. 361-374.

Li, Y., Sun, J., Dobbie, G., Sun, J., Wang, H.H., 2006, Validating semistructured data using OWL, Proceedings of the 7th International Conference on Advances in Web-Age Information Management, 17 June 2006 to 19 June 2006, Springer-Verlag, Berlin Germany, pp. 520-531.

Dong, J.S., Feng, Y., Li, Y., Sun, J., 2005, A tools environment for developing and reasoning about ontologies, Proceedings of the 12th Asia-Pacific Software Engineering Conference, 15 December 2005 to 17 December 2005, IEEE Computer Society, Los Alamitos CA USA, pp. 465-472.

Sun, J., Zhang, H., Li, Y., Wang, H., 2005, Formal semantics and verification for feature modeling, Proceedings of the Tenth IEEE International Conference on Engineering of Complex Computer Systems, 16 June 2005 to 20 June 2005, IEEE Computer Society, Los Alamitos CA USA, pp. 303-312.

Lucanu, D., Li, Y., Dong, J.S., 2005, Soundness proof of Z semantics of OWL using institutions, Proceedings of the Special Interest Tracks and Posters of the 14th International World Wide Web Conference, 10 May 2005 to 14 May 2005, Association for Computing Machinery, New York NY USA, pp. 1048-1049.

Wang, H., Li, Y., Sun, J., Zhang, H., 2005, Verify feature models using Protege-OWL, Proceedings of the Special Interest Tracks and Posters of the International World Wide Web Conference, 10 May 2005 to 14 May 2005, Association of Computing Machinery, New York NY USA, pp. 1038-1039.

Dong, J.S., Feng, Y., Li, Y., 2005, Verifying OWL and ORL ontologies in PVS, Proceedings of the First International Colloquium on Theoretical Aspects of Computing, 20 September 2004 to 24 September 2004, Springer-Verlag, Berlin Germany, pp. 265-279.

Sun, J., Li, Y., Wang, H.H., Sun, J., 2005, Visualizing and simulating semantic web services ontologies, Proceedings of the 7th International Conference on Formal Engineering Methods, 01 November 2005 to 04 November 2005, Springer-Verlag, Berlin Germany, pp. 435-449.

Dong, J.S., Lee, C., Lee, H., Li, Y., Wang, H., 2004, A combined approach to checking web ontologies, Proceedings of the 13th International Conference on World Wide Web, 17 May 2004 to 22 May 2004, ACM Press, New York NY USA, pp. 714-722.

Dong, J.S., Li, Y., Wang, H., 2004, TCOZ approach to semantic web services design, Proceedings of the 13th International Conference on World Wide Web, 17 May 2004 to 22 May 2004, ACM Press, New York NY USA, pp. 442-443.

Dong, J.S., Lee, C.H., Li, Y., Wang, H., 2004, Verifying DAML+OIL and beyond in Z/EVES, Proceedings of the 26th International Conference on Software Engineering, 23 May 2004 to 28 May 2004, IEEE Computer Society, Washington DC USA, pp. 201-210.

Dong, J.S., Li, Y., Sun, J., Sun, J., Wang, H., 2002, XML-based static type checking and dynamic visualization for TCOZ, Proceedings of the 4th International Conference on Formal Engineering Methods, 21 October 2002 to 25 October 2002, Springer-Verlag, Berlin Germany, pp. 311-322.

Teaching Commitment

Dr Yuan-Fang Li is the Chief Examiner for the following units in the Faculty of IT;

• FIT3013 - Formal specification for software engineering
• FIT4004 - System validation and verification, quality and standards
• FIT5171 - System validation and verification, quality and standards

 

 

Yuan-Fang teaches the following units in the Faculty of IT;

• FIT4004 - System validation and verification, quality and standards
• FIT3013 - Formal specification for software engineering
• FIT4004 - System validation and verification, quality and standards
• FIT5171 - System validation and verification, quality and standards