1. ScholarBank@NUS

Li, Y.F.

rp00074

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Li, Y.F.
(not current staff)
Variants
Li, Y.F.
 
Faculty
 
Email
DCSLYF@nus.edu.sg
 

Publications

Results 1-20 of 20 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12004A combined approach to checking Web ontologiesDong, J.S. ; Lee, C.H.; Lee, H.B.; Li, Y.F. ; Wang, H.
22005A tools environment for developing and reasoning about ontologiesDong, J.S. ; FENG YUZHANG ; Li, Y.F. ; Sun, J. 
32006A Z Approach in Validating ORA-SS Data ModelsLee, S.U.-J.; Sun, J.; Dobbie, G.; Li, Y.F. 
42008An integrated formal approach to semantic work environments designWang, H.H.; Dong, J.S.; Sun, J.; Payne, T.R.; Gibbins, N.; Li, Y.F. ; Pan, J.
52007Belief-augmented OWL (BOWL) engineering the semantic web with beliefsFeng, Y.; Tan, C.K.-Y. ; Li, Y.F. ; Wadhwa, B. ; Wang, H.
62008Correctness criteria for normalization of semistructured dataLee, S.U.-J.; Sun, J.; Dobbie, G.; Groves, L.; Li, Y.F. 
72007Extended abstract: Towards verifying semistructured dataDobbie, G.; Sun, J.; Li, Y.F. ; Lee, S.U.-J.
82005Formal semantics and verification for feature modelingSun, J.; Zhang, H.; Li, Y.F. ; Wang, H.
92005Institution morphisms for relating OWL and ZLucanu, D.; Li, Y.F. ; Dong, J.S. 
102006Reasoning about ORA-SS data models using the semantic webLi, Y.F. ; Sun, J.; Dobbie, G.; Wang, H.H.; Sun, J. 
112006Semantic web languages - Towards an institutional perspectiveLucanu, D.; Li, Y.F. ; Dong, J.S. 
122005Soundness proof of Z semantics of OWL using institutionsLucanu, D.; Li, Y.F. ; Dong, J.S. 
132005TCOZ approach to OWL-s process model designWang, H.; Sun, J.; Dong, J.S. ; Li, Y.F. 
142004TCOZ approach to semantic web services designDong, J.S. ; Li, Y.F. ; Wang, H.
152006Validating semistructured data using OWLLi, Y.F. ; Sun, J.; Dobbie, G.; Sun, J. ; Wang, H.H.
162005Verify feature models using protégé-OWLWang, H.; Li, Y.F. ; Sun, J.; Zhang, H.
172004Verifying DAML+OIL and beyond in Z/EVESDong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H.
182007Verifying feature models using OWLWang, H.H.; Li, Y.F. ; Sun, J.; Zhang, H.; Pan, J.
192005Verifying OWL and ORL ontologies in PVSDong, J.S. ; Feng, Y.; Li, Y.F. 
202005Visualizing and simulating semantic web services ontologiesSun, J. ; Li, Y.F. ; Wang, H.; Sun, J.