Publications

李元放

 

Journal papers & book chapters


  1. Y.-F. Li, P. Das and D. L. Dowe, Two Decades of Web Application Testing—A Survey of Recent Advances, In Information Systems, 43:20-54, Elsevier, 2014. [pdf+html]

  2. Y.-F. Li, G. Kennedy, F. Ngoran, P. Wu, J. Hunter, An Ontology-centric Architecture for Extensible Scientific Data Management Systems, In Future Generation Computer Systems, 29(2):641–653, Elsevier, 2013. [pdf+html]

  3. H. Zhang, Y.-F. Li and H. B. K. Tan, Measuring Design Complexity of Semantic Web Ontologies, In Journal of Systems and Software, 83(5):803-814, 2010. [pdf+html]

  4. Y.-F. Li, A. Newman and J. Hunter. A Scale-Out RDF Molecule Store for Efficient, Scalable Data Integration and Querying, In Handbook of Cloud Computing and Software Services, CRC Press, 2010.

  5. H. 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, in Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, IGI Publishing, 2008.

  6. 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, Elsevier. [pdf+abstract]

  7. Y.-F. Li, J. Sun, G. Dobbie, H. Wang and J. Sun. Reasoning about ORA-SS Data Models using the Semantic Web, In Journal of Data Semantics, 7:219-241, 2006. LNCS 4244, Springer- Verlag.

  8. D. Lucanu, Y.-F. Li and 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.



Conference papers


  1. Yong-Bin Kang, Jeff Z. Pan, Shonali Krishnaswamy, Wudhichart Sawangphol, and Y.-F. Li, How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance, In Proceedings of 28th AAAI Conference (AAAI 2014), Quebec City, Canada, July 27-21 2014. (accepted) [pdf+html]

  2. S. Krishnashiwamy, Y.-F. Li, Semantic Mobile Web (Tutorial), In Proceedings of the 23rd World Wide Web Conference (WWW2014) , Seoul, Korea, April 7-11, 2014. [html]

  3. Z. Jiao, Q. Liu, Y.-F. Li, K. Marriott and M. Wybrow, Visualization of Large Ontologies with Landmarks, In Proceedings of 4th International Conference on Information Visualization Theory and Applications (IVAPP 2013), Barcelona, Spain, February 21-24, 2012. (to appear) [pdf]

  4. Y.-B. Kang, Y.-F. Li, S. Krishnashiwamy, Predicting Reasoning Performance Using Ontology Metrics, In Proceedings of 11th International Semantic Web Conference (ISWC2012), Boston, USA, November 11-15, 2012, pages 198-214. [html+pdf]

  5. S. Krishnashiwamy, Y.-F. Li, Semantic Mobile Web (Tutorial), In Proceedings of the Joint Semantic Technology Conference, (JIST 2011) , Springer, Hangzhou, China, December 4-7, 2011. [html]

  6. T. Groza, A. Zankl, Y.-F. Li, J. Hunter, Using Semantic Web Technologies to Build a Community-Driven Knowledge Curation Platform for the Skeletal Dysplasia Domain, In Proceedings of the 10th International Semantic Web Conference (ISWC 2011), Semantic Web In-Use track, Springer, Bonn, Germany, Octorer 23-27 , 2011. [pdf]

  7. Y.-F. Li, H. Zhang, Integrating Software Engineering Data Using Semantic Web Technologies, In Proceedings of 8th Working Conference on Mining Software Repositories (MSR 2011), ACM Press, Honululu, Hawaii, May 21-22 2011.

  8. Y.-F. Li, G. Kennedy, F. Davies, J. Hunter, PODD - Towards An Extensible, Domain-agnostic Scientific Data Management System, In Proceedings of 6th IEEE e-Science conference (eScience 2010), Brisbane, Australia, December 8 - 10, 2010. [pdf]

  9. J. S. Dong, Y. Feng, Y.-F. Li and Y. Liu, Discovering Anomalies in Semantic Web Rules, In Proceedings of 3rd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI’10), Singapore, June 2010.

  10. Y.-F. Li, G. Kennedy, F. Davies and J. Hunter, PODD: An Ontology-driven Data Repository for Collaborative Phenomics Research, In Proceedings of 12th International Conference on Asian Digital Libraries (ICADL’10), Gold Coast, Australia, June 2010.

  11. Y.-F. Li, J. Sun, G. Dobbie, S. Uk-Jin Lee and H. H. Wang. Verifying Semistructured Data Normalization using SWRL, In Proceedings of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE’09), pages 193-200, Tianjin, China, July 2009.

  12. A. Newman, Y.-F. Li and J. Hunter. Scalable Semantics - the Silver Lining of Cloud Computing, In Proceedings of 4th IEEE International Conference on e-Science (e-Science 2008), pages 111-118, Indianapolis, Indiana, USA, 2008. [pdf]

  13. 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 7th International Semantic Web conference (ISWC’08), pages 162-177, Karlsruhe, Germany, October 2008. [bib+pdf+abstract]

  14. S. U.-J. Lee, J. Sun, G. Dobbie, L. Groves and Y.-F. Li. Correctness Criteria for Normalization of Semistructured Data. In Proceedings of 19th Australian Software Engineering Conference (ASWEC’08), pages 248-257, Perth, Australia, March 2008.

  15. A. Newman, J. Hunter, Y.-F. Li, C. Bouton, and M. Davis, BioMANTA Ontology: The Integration of Protein-Protein Interaction Data. In Proceedings of Interdisciplinary Ontology Conference (InterOntology’08), Tokyo, Japan, February 2008.

  16. Y. Feng, Y.-F. Li, C. K-Y. Tan and B. Wadhwa. Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs. In Proceedings of 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’07), pages 165-174, Auckland, New Zealand, July 11-14, 2007, IEEE Press.

  17. G. Dobbie, J. Sun, Y.-F. Li and S. U.-J. Lee. Towards Verifying Semistructured Data. In Proceedings of 4th Asia-Pacific Conference on Conceptual Modelling (APCCM’07), pages 11-14, keynote paper, Victoria, Australia, January 2007.

  18. Y.-F. Li, J. Sun, G. Dobbie, J. Sun and H. H. Wang. Validating Semistructured Data Using OWL. In Proceedings of 7th International Conference on Advances in Web-Age Information Management (WAIM’06), pages 520-531, Hong Kong, China, 2006.

  19. D. Lucanu, Y.-F. Li and J. S. Dong. RDF Framework Institutions. In Proceedings of the Romanian Academy, Series A: 7(1), 2006.

  20. J. S. Dong, Y. Feng, Y.-F. Li and J. Sun. A Tools Environment for Developing and Reasoning about Ontologies. In Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC’05), pages 465-472, Taipei, Taiwan, December 2005.

  21. J. Sun, Y.-F. Li, H. Wang and J. Sun. Visualizing and Simulating Semantic Web Services Ontologies. In Proceedings of 7th International Conference on Formal Engineering Methods (ICFEM’05), pages 435-449, Manchester, United Kingdom, November 2005. LNCS, Springer- Verlag.

  22. J. Sun, H. Zhang, Y.-F. Li and H. Wang. Formal Semantics and Verification for Feature Modeling. In Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’05), pages 303-312, Shanghai, China, June 2005. IEEE Press. [bib+pdf+abstract+html]

  23. D. Lucanu, Y.-F. Li and J. S. Dong. Institution Morphisms for Relating OWL and Z. In Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05), Taipei, Taiwan, July 2005.

  24. H. Wang, J. S. Dong, J. Sun and Y.-F. Li. TCOZ Approach to OWL-S Process Model Design. In Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05), pages 354-359, Taipei, Taiwan, July 2005.

  25. H. Wang, Y.-F. Li, J. Sun and H. Zhang. Verify Feature Models using Protege-OWL. In Proceedings of 14th International World Wide Web Conference (WWW’05), pages 1038-1039, Chiba, Japan, ACM Press, May 2005.

  26. D. Lucanu, Y.-F. Li and J. S. Dong. Soundness Proof of Z Semantics of OWL Using Institutions. In Proceedings of 14th International World Wide Web Conference (WWW’05), pages 1048-1049, Chiba, Japan, ACM Press, May 2005.

  27. J. S. Dong, Y. Feng and Y.-F. Li. Verifying OWL and ORL Ontologies in PVS. In Proceedings of 1st International Colloquium on Theoretical Aspects of Computing (ICTAC’04), pages 265-279, Guiyang, China, September 2004.

  28. J. S. Dong, C. H. Lee, Y.-F. Li and H. Wang. Verifying DAML+OIL and Beyond in Z/EVES. In Proceedings of 26th International Conference on Software Engineering (ICSE’04), pages 201-210, Edinburgh, Scotland, UK, May 2004. ACM Press.

  29. J. S. Dong, C. H. Lee, Y.-F. Li and H. Wang. A Combined Approach to Checking Web Ontologies. In Proceedings of 13th International World Wide Web Conference (WWW’04), pages 714-722, New York, USA, May 2004. ACM Press.

  30. J. S. Dong, Y.-F. Li and H. Wang. TCOZ Approach to Semantic Web Services Design. In Proceedings of 13th International World Wide Web Conference (WWW’04), pages 442-443, New York, USA, May 2004. ACM Press.

  31. J. S. Dong, Y.-F. Li, J. Sun, J. Sun and H. Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. In Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM’02), pages 311-322, Shanghai, China, October 2002. Springer-Verlag.


Workshop papers


  1. Y.-B. Kang, Y.-F. Li, S. Krishnashiwamy, A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners, In OWL Reasoner Evaluation Workshop (ORE 2012), Collocated with 6th International Joint Conference on Automated Reasoning (IJCAR 2012), Manchester, UK, June 26 - July 1, 2012. [pdf]

  2. Y.-F. Li, G. Kennedy, F. Davies, J. Hunter, Towards A Semantic & Domain-agnostic Scientific Data Management System. In Proceedings of Workshop on Semantic Repositories for the Web (SERES 2010) at 9th International Semantic Web Conference (ISWC 2010), Shanghai, China, Nov 2010.

  3. 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 Proceedings of Semantic Web for health Care and Life Sciences Workshop (HCLS’08) at 17th International World Wide Web Conference (WWW2008), Beijing, China, April 2008.

  4. S. U. Lee, J. Sun, G. Dobbie and Y.-F. Li. A Z Approach in Validating ORA-SS Data Models. In Proceedings of 3rd International Workshop on Software Verification and Validation (SVV’05), Electronic Notes in Theoretical Computer Science, 157(1): 95-109, Manchester, United Kingdom, October 2005.

  5. H. Wang, Y.-F. Li, J. Sun, H. Zhang and J. Pan. A Semantic Web Approach to Feature Modeling and Verification. In Proceedings of Workshop on Semantic Web Enabled Software Engineering (SWESE’05), Galway, Ireland, November 2005.


Technical reports


  1. 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, January 2005.

  2. 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, February 2004.






$Id: $