Browse by all authors Browse By Author Name - Dong,+J+S

Browse Results (6 results found)

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

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
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
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
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  
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  
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
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