1. ScholarBank@NUS

Li Yuan Fang

rp00074

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Li Yuan Fang
(not current staff)
Variants
Li, Y.F.
 
Main Affiliation
 
Faculty
 
Email
dcslyf@nus.edu.sg
 
Other emails
 

Publications

Refined By:
Type:  Conference Paper
Date Issued:  [2000 TO 2009]
Author:  Dong, J.S.

Results 1-9 of 9 (Search time: 0.004 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. 
32005Institution morphisms for relating OWL and ZLucanu, D.; Li, Y.F. ; Dong, J.S. 
42006Semantic web languages - Towards an institutional perspectiveLucanu, D.; Li, Y.F. ; Dong, J.S. 
52005Soundness proof of Z semantics of OWL using institutionsLucanu, D.; Li, Y.F. ; Dong, J.S. 
62005TCOZ approach to OWL-s process model designWang, H.; Sun, J.; Dong, J.S. ; Li, Y.F. 
72004TCOZ approach to semantic web services designDong, J.S. ; Li, Y.F. ; Wang, H.
82004Verifying DAML+OIL and beyond in Z/EVESDong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H.
92005Verifying OWL and ORL ontologies in PVSDong, J.S. ; Feng, Y.; Li, Y.F.