Browse by all authors Browse By Author ID - Yuan-Fang Li

Browse Results (35 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Dong, J S, Lee, C H, Lee, H B and Li, Y-F (2004). A combined approach to checking web ontologies. In: Proceedings of: 13th ACM International World Wide Web Conference (WWW'04). 13th ACM International World Wide Web Conference (WWW'04), New York, U.S.A., (714-722). 17-20 May 2004. 76  
Wang, Hai H., Dong, Jin Song, Sun, Jing, Payne, Terry R., Gibbins, Nicholas, Li, Yuan-Fang and Pan, Jeff (2007). An Integral Formal Approach to Semantic Work Environments Design. In Rech, Jorg, Decker, Bjorn and Ras, Eric (Ed.), Emerging Technologies for Semantic Work Environments: Techniques, Methods and Applications (pp. 262-280) Hershey, PA: IGI Global. 57  
Newman, Andrew, Li, Yuan-Fang, Hunter, Jane, Bouton, Chris and Davis, Melissa (2008). A scale-out RDF molecule store for distributed processing of biomedical data. In: H. Chen, K. Cheung, M. Dumontier, E. Prud'hommeaux, A. Ruttenberg, S. Stephens and Y. Wang, Proceedings of the Semantic Web for Health Care and Life Sciences Workshop. Semantic Web for Health Care and Life Sciences Workshop, held in conjunction with The 17th International World Wide Web Conference (HCLS/WWW2008), Beijing, China, (). 22 April 2008. 130  
Newman, Andrew, Hunter, Jane, Li, Yuan-Fang, Bouton, Chris and Davis, Melissa (2008). A scale-out RDF molecule store for distributed processing of biomedical data. In: Semantic Web for Health Care and Life Sciences. Semantic Web for Health Care and Life Sciences Workshop, Beijing, China, (). 22 April, 2008. 387 212
Newman, A., Li, Y-F. and Hunter, J. (2008). A scale-out RDF molecule store for improved co-identification, querying and inferencing. In: A. Fokoue, Y. Guo, J. Heflin and T. Liebig, Proceedings of the 4th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2008). International Semantic Web Conference (ISWC 2008), Karlsruhe, Germany, (1-16). 26-30 October 2008. 78  
Wang, Hai, Li, Yuan Fang, Sun, Jing, Zhang, Hongyu and Pan, Jeff (2005). A semantic web approach to feature modeling and verification. In: Proceedings. Workshop on Semantic Web Enabled Software Engineering (SWESE’05, Galway, Ireland, (). November, 2005. 83  
Dong, J. S., Feng, Y., Li, Y. F. and Sun, Jun (2005). A tools environment for developing and reasoning about ontologies. In: Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC'05). 12th Asia-Pacific Software Engineering Conference (APSEC'05), Taipei, Taiwan, (465-472). 15-17 December, 2005. doi:10.1109/APSEC.2005.21 56   0 Cited 2 times in Scopus2 0
Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian and Li, Yuan Fang (2005). A Z approach in validating ORA-SS data models. In: S. Mukhopadhyay, A. Roychoudhury and Z. Yang, Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005). Third International Workshop on Software Verification and Validation (SVV 2005), Manchester, United Kingdom, (95-109). 31 October 2005. doi:10.1016/j.entcs.2006.01.025 70   Cited 4 times in Scopus4 0
Feng, Y., Li, Y-F., Tan, C K-Y. and Wadhwa, B. (2007). Belief-augmented OWL (BOWL) Engineering the Semantic Web with Beliefs. In: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, (165-174). 11-14 July 2007. doi:10.1109/ICECCS.2007.18 62   0 Cited 0 times in Scopus0 0
Newman, Andrew, Hunter, Jane, Li, Yuan-Fang, Bouton, Chris and Davis, Melissa (2008). BioMANTA Ontology: The integration of protein-protein interaction data. In: M. Okada and B. Smith, InterOntology08. The Third Interdisciplinary Ontology Conference, Tokyo, Japan, (). 26-27 February, 2008. 155 78
Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay and Li, Yuan Fang (2008). Correctness criteria for normalization of semistructured data. In: Farookh Khadeer Hussain, Elizabeth Chang and Stephanie Kawada, Australian Software Engineering Conference: Proceedings. 19th Australian Software Engineering Conference: ASWEC 2008. Australian Software Engineering Conference [ASWEC], Perth, WA, Australia, (248-257). 25-28 March 2008. doi:10.1109/ASWEC.2008.4483213 59   0 Cited 0 times in Scopus0 0
Feng, Yuzhang, Liu, Yang, Li, Yuan-Fang and Zhang, Daqing (2010). Discovering anomalies in semantic web rules. In: 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Proceedings. SSIRI 2010: Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, Singapore, (33-42). 9-11 June, 2010. doi:10.1109/SSIRI.2010.26 14   Cited 0 times in Scopus0 0
Ferndriger, S., Bernstein, A., Dong, J. S., Feng, Y., Li, Y-F. and Hunter, J. (2008). Enhancing semantic web services with inheritance. In: A. P. Sheth, S. Staab and et al., The Semantic Web - ISWC 2008. 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, (162-177). 26-30 October 2008. doi:10.1007/978-3-540-88564-1_11 68 1 3 Cited 1 times in Scopus1 0
Sun, J., Zhang, H, Li, Y-F and Wang, H (2005). Formal semantics and verification for feature modelin. In: 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005 (ICECCS 2005): Proceedings. 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005. ICECCS 2005., Shanghai, China, (303-312). June 2005. doi:10.1109/ICECCS.2005.48 48   6 Cited 32 times in Scopus32 0
Lucanu, D., Li, Y-F. and Dong, J. S. (2005). Institution morphisms for relating OWL and Z. In: Agent-oriented software development methodologies : held at 17th International conference on software engineering and knowledge engineering (SEKE '05). 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipai, Taiwan, (286-291). July 2005. 40  
Zhang, Hongyu, Li, Yuan-Fang and Tan, Hee Beng Kuan (2010) Measuring design complexity of semantic web ontologies. Journal of Systems and Software, 83 5: 803-814. doi:10.1016/j.jss.2009.11.735 52   21 Cited 34 times in Scopus34 0
Li, Yuan-Fang, Kennedy, Gavin, Davies, Faith and Hunter, Jane (2010). PODD: An ontology-driven data repository for collaborative phenomics research. In: Gobinda Chowdhury, Chris Koo and Jane Hunter, Lecture Notes in Computer Science : The role of digital libraries in a time of global change. 12th International Conference on Asia-Pacific Digital Libraries, Gold Coast, Qld, Australia, (179-188). 21-25 June, 2010. doi:10.1007/978-3-642-13654-2_22 79 3 2 Cited 1 times in Scopus1 0
Li, Yuan-Fang, Kennedy, Gavin, Davies, Faith and Hunter, Jane (2010). PODD: towards an extensible, domain-agnostic scientific data management system. In: IEEE Proceedings of Sixth IEEE eScience Conference. IEEE e-Science 2010 Conference, Brisbane, QLD, Australia, (137-144). 7-10 December, 2010. doi:10.1109/eScience.2010.44 63 2 Cited 1 times in Scopus1 0
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H. and Sun, Jun (2006) Reasoning about ORA-SS data models using the semantic web. Journal on Data Semantics VII, Lecture Notes in Computer Science 4244, 4244 219-241. doi:10.1007/11890591 48   1 Cited 1 times in Scopus1 0
Dobbie, G., Sun, J., Li, Y-F and Uk-Jun Lee, S. (2006). Research into verifying semistructured data. In: Madria, Sanjay Kumar, Lecture Notes in Computer Science: Distributed Computing and Internet Technology, Proceedings. 3rd International Conference on Distributed Computing and Internet Technology (ICDCIT'06),, Bhubaneswar, India, (361-374). December 20-23, 2006. 32   1
Newman, Andre, Li, Yuan-Fang and Hunter, Jane (2008). Scalable semantics: The silver lining of cloud computing. In: Patrick Kellenberger, Proceedings: Fourth IEEE International Conference on eScience. eScience 2008. IEEE International Conference on e-Science and Grid Computing [e-Science], Indianapolis, IN, U.S.A., (111-118). 7-12 December 2008. doi:10.1109/eScience.2008.23 216 2 Cited 7 times in Scopus7 0
Yuan-Fang Li, Newman, Andrew and Hunter,Jane (2011). Scale-out RDF molecule store for efficient, scalable data integration and querying. In Syed A. Ahson and Mohammad Ilyas (Ed.), Cloud computing and software services: theory and techniques (pp. 329-354) Boca Raton, Florida, U.S.A.: CRC Press. doi:10.1201/EBK1439803158-c14 76 4 0 0
Lucanu, Dorel, Li, Yuan Fang and Dong, Jin Song (2006) Semantic Web Languages – Towards an Institutional Perspective. Lecture Notes in Computer Science, 4060 99-123. doi:10.1007/11780274 31   4 Cited 3 times in Scopus3 0
Lucanu, D., Li, Y. F. and Dong, J. S. (2005). Soundness proof of Z semantics of OWL using institutions. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005). 14th International World Wide Web Conference (WWW 2005), Chiba, Japan, (1048-1049). 10-14 May 2005. 37  
Wang, Hai H., Dong, Jin Song, Sun, Jing and Li, Yuan-Fang (2005). TCOZ approach to OWL-S process model design. In: William C. Chu, Natalia Juristo Juzgado and W. Eric Wong, SEKE 2005: The 17th International Conference on Software Engineering & Knowledge Engineering: Proceedings, technical program. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, (354-359). 14-16 July 2005. 77  
Dong, J.S., Li, Y-F and Wang, H. (2004). TCOZ Approach to Semantic Web Services Design. In: Proceedings of the 13th ACM International World Wide Web Conference WWW'04. 13th ACM International World Wide Web Conference WWW'04, New York, USA, (442-443). 17 - 22 May 2004. 110   Cited 0 times in Scopus0
Li, Yuan-Fang, Kennedy, Gavin, Davies, Faith and Hunter, Jane (2010). Towards a semantic & domain-agnostic scientific data management system. In: Alexander García Castro, Mathieu d'Aquin, Ken Baclawski and Mike Dean, Proceedings of the Workshop on Semantic Repositories for the Web. The 9th International Semantic Web Conference (ISWC2010), Shanghai, China, (13-24). 7-11 November 2010. 73 4
Li, Yuan Fang, Sun, Jing, Dobbie, Gillian, Sun, Jun and Wang. Hai H. (2006). Validating Semistructured Data using OWL. In: Proceedings of the 7th International Conference on Web-Age Information Management (WAIM'06). Web-Age Information Management (WAIM'06), Hong Kong, China, (522-533). June, 2006. doi:10.1007/11775300_44 68   0
Wang, Hai, Li, Yuan-Fang, Sun, Jing and Zhang, Hongyu (2005). Verify feature models using Protege-OWL. In: Proceedings of the The World Wide Web Conference (WWW2005). 14th International Conference on World Wide Web, Chiba, Japan, (1038-1039). May 10 - 14, 2005. doi:10.1145/1062745.1062857 39   0
Dong, J. S., Lee, C. H., Li, Y-F. and Wang, H. (2004). Verifying DAML+OIL and beyond in Z/EVES. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). 26th International Conference on Software Engineering (ICSE 2004), Scotland, U.K., (201-210). 23-28 May 2004. 55  
Wang, Hai H., Li, Yuan Fang, Sun, Jing, Zhang, Hongyu and Pan, Jeff (2007) Verifying feature models using OWL. Journal of Web Semantics : Science, Services and Agents on the World Wide Web, 5 2: 117-129. doi:10.1016/j.websem.2006.11.006 70   26 Cited 48 times in Scopus48 0
Dong, Jin Song, Feng, Yuzchang and Li, Yuan-Fang (2004). Verifying OWL and ORL Ontologies in PVS. In: Theoretical Aspects Of Computing - ICTAC 2004. 1st International Colloquium on Theoretical Aspects of Computing 2004 (ICTAC 2004), Guiyang, China, (265-279). 20-24 September 2004. 50  
Li, Yuan-Fang, Sun, Jing, Dobbie, Gillian, Lee, Scott and Wang, Hai, H. (2009). Verifying semistructured data normalization using SWRL. In: Wei-Ngan Chin and Shengchao Qin, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, (193-200). 29-31 July 2009. doi:10.1109/TASE.2009.11 36   0 Cited 2 times in Scopus2 0
Sun, Jun, Li, Yuan Fang, Wang, Hai and Sun, Jing (2005). Visualizing and simulating semantic web services ontologies. In: Kung-Kiu Lau and Richard Banach, Formal Methods and Software Engineering. 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, U.K., (435-449). 1-4 November 2005. doi:10.1007/11576280_30 136   Cited 0 times in Scopus0 0
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun and Wang, Hai (2002). XML-based static type checking and dynamic visualization for TCOZ. In: Chris George and Huaikou Miao, Lecture Notes in Computer Science. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Proceedings. International Conference on Formal Engineering Methods [FEM], Shanghai, China, (311-322). 21-25 October 2002. doi:10.1007/3-540-36103-0 47   0 0