@PREAMBLE{{\newcommand{\gobble}[1]{}}}
@ARTICLE{fea-owl-jws06,
AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang and Jeff Pan},
TITLE = {Verifying Feature Models using OWL},
JOURNAL = {Journal of Web Semantics},
NOTE = {to appear},
PUBLISHER = {Elsevier}
}
@ARTICLE{orass-owl-jods,
AUTHOR = {Yuan Fang Li and Jing Sun and Gillian Dobbie and Hai Wang and Jun Sun},
TITLE = {Reasoning about ORA-SS Data Models using the Semantic Web},
JOURNAL = {Journal of Data Semantics},
NOTE = {to appear},
PUBLISHER = {sv}
}
@INPROCEEDINGS{lld06,
AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
TITLE = {Semantic Web Languages -- Towards an Institutional Perspective},
BOOKTITLE = {{Algebra, Meaning and Computation, Festschrift in Honor of Prof. Joseph Goguen}},
YEAR = 2006,
VOLUME = 4060,
PAGES = {99--123},
EDITOR = {K. Futatsugi et al.},
SERIES = {Lect. Notes in Comput. Sci.},
PUBLISHER = {Springer-Verlag},
NOTE = {to appear}
}
@INPROCEEDINGS{orass-owl,
AUTHOR = {Yuan Fang Li and Jing Sun and Gillian Dobbie and Jun Sun and Hai Wang},
TITLE = {{Validating Semistructured Data using OWL}},
BOOKTITLE = {{Proceedings of the 7th International Conference on Web-Age Information Management (WAIM'06)}},
YEAR = 2006,
MONTH = JUN,
ADDRESS = {{Hong Kong, China}}
}
@INPROCEEDINGS{dfls05,
AUTHOR = {Jin Song Dong and Yuzhang Feng and Yuan Fang Li and Jun Sun},
TITLE = {A Tools Environment for Developing and Reasoning about Ontologies},
BOOKTITLE = {Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC'05)},
MONTH = DEC,
YEAR = 2005,
ADDRESS = {Taipei, Taiwan}
}
@INPROCEEDINGS{owls-lsc,
AUTHOR = {Jun Sun and Yuan Fang Li and Hai Wang and Jing Sun},
TITLE = {{`Visualizing and Simulating Semantic Web Services Ontologies}},
BOOKTITLE = {{Proc. of 7th International Conference on Formal Engineering Methods (ICFEM'05)}},
PUBLISHER = {LNCS, Springer-Verlag},
MONTH = NOV,
YEAR = 2005,
PAGES = {439--445},
ADDRESS = {Manchester, UK}
}
@INPROCEEDINGS{haiOWLFeature,
AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and HongYu Zhang and Jeff Pan},
BOOKTITLE = {{1st Workshop on Semantic Web Enabled Software Engineering (SWESE'05)}},
ADDRESS = {Galway, Ireland},
PUBLISHER = {LNCS, Springer-Verlag},
TITLE = {{A Semantic Web Approach to Feature Modeling and Verification}},
NOTE = {accepted},
MONTH = {Nov},
YEAR = {2005},
URL = {\url{http://www.comp.nus.edu.sg/~liyf/papers/owl-feature.pdf}}
}
@INPROCEEDINGS{lsdl05,
AUTHOR = {Scott Uk-Jin Lee and Jing Sun and Gillian Dobbie and Yuan Fang Li},
TITLE = {A Z Approach in Validating ORA-SS Data Models},
BOOKTITLE = {3rd International Workshop on Software Verification and Validation (SVV'05)},
SERIES = {Electronic Notes in Theoretical Computer Science},
VOLUME = {157},
NUMBER = {1},
PAGES = {95--109},
ADDRESS = {Manchester, UK},
YEAR = 2005,
MONTH = OCT
}
@INPROCEEDINGS{lld05a,
AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
BOOKTITLE = {Proc. of The 17th International Conference on
Software Engineering and Knowledge Engineering (SEKE'05) },
TITLE = {{Institution Morphisms for Relating OWL and Z}},
MONTH = JUL,
ADDRESS = {Taipei, Taiwan},
YEAR = {2005}
}
@INPROCEEDINGS{wdsl05,
AUTHOR = {Hai Wang and Jin Song Dong and Jing Sun and Yuan Fang Li},
BOOKTITLE = {Proc. of The 17th International Conference on
Software Engineering and Knowledge Engineering (SEKE'05) },
TITLE = {{TCOZ Approach to OWL-S Process Model Design}},
MONTH = JUL,
ADDRESS = {Taipei, Taiwan},
YEAR = {2005}
}
@INPROCEEDINGS{szlw05a,
AUTHOR = {Jing Sun and Hongyu Zhang and Yuan Fang Li and Hai Wang},
BOOKTITLE = {{Proc. of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)}},
ADDRES = {Shanghai, China},
TITLE = {{Formal Semantics and Verification for Feature Modeling}},
PUBLISHER = {IEEE Press},
MONTH = JUN,
YEAR = 2005
}
@TECHREPORT{lld05,
AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
INSTITUTION = {University ``Alexandru Ioan Cuza'' of Ia\c{s}i, Romania},
NUMBER = {TR 05-01},
TITLE = {{Web Ontology Verification and Analysis in the Z Framework}},
YEAR = {2005},
MONTH = JAN,
NOTE = {\url{http://thor.info.uaic.ro/~tr/tr05-01.ps}}
}
@INPROCEEDINGS{pvs_orl,
AUTHOR = {Jin Song Dong and Yuzhang Feng and Yuan Fang Li},
TITLE = {{Reasoning Support for the OWL Rules Language}},
BOOKTITLE = {{Proceedings of First International Colloquium on Theoretical Aspects of Computing (ICTAC'04)}},
ADDRESS = {{Guiyang, China}},
MONTH = SEP,
YEAR = 2004
}
@INPROCEEDINGS{feamod-www05,
AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang},
BOOKTITLE = {Fourteenth International Conference on World Wide Web (WWW'05)},
TITLE = {{Verify Feature Models using Prot\'{e}g\'{e}-OWL}},
MONTH = MAY,
YEAR = {2005},
ADDRESS = {Chiba, Japan},
PAGES = {1038--1039}
}
@INPROCEEDINGS{owl2z:inst,
AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
BOOKTITLE = {Fourteenth International Conference on World Wide Web (WWW'05)},
TITLE = {{Soundness proof of Z semantics of OWL using institutions}},
MONTH = MAY,
YEAR = {2005},
ADDRESS = {Chiba, Japan},
PAGES = {1048--1049}
}
@INPROCEEDINGS{comapproach04,
AUTHOR = {Jin Song Dong and Chew Hung Lee and Yuan Fang Li and Hai Wang},
TITLE = {{A Combined Approach to Checking Web Ontologies}},
BOOKTITLE = {Proceedings of 13th World Wide Web Conference (WWW'04)},
MONTH = MAY,
ADDRESS = {New York, USA},
YEAR = 2004,
PAGES = {714--722}
}
@INPROCEEDINGS{tcozsemweb04,
AUTHOR = {Jin Song Dong and Yuan Fang Li and Hai Wang},
TITLE = {{TCOZ Approach to Semantic Web Services Design}},
BOOKTITLE = {Proceedings of 13th World Wide Web Conference (WWW'04)},
MONTH = MAY,
YEAR = 2004,
ADDRESS = {New York, USA},
PAGES = {442--443}
}
@INPROCEEDINGS{damlzeves04,
AUTHOR = {Jin Song Dong and Chew Hung Lee and Yuan Fang Li and Hai Wang},
TITLE = {Verifying {DAML+OIL} and Beyond in {Z/EVES}},
BOOKTITLE = {Proceedings of 26th International Conference on Software Engineering (ICSE'04)},
MONTH = MAY,
YEAR = 2004,
ADDRESS = {Edinburgh, Scotland},
PAGES = {201--210}
}
@TECHREPORT{t2dds-tech-report,
AUTHOR = {Jin Dong Dong and Yuan Fang Li and Hai Wang},
INSTITUTION = {National University of Sinagpore},
NUMBER = {TRB2/04},
TITLE = {A Formal Approach to Semantic Web Services Design},
YEAR = {2004},
MONTH = FEB
}
@INPROCEEDINGS{dlssw02icfem,
AUTHOR = {Jin Song Dong and Yuan Fang Li and Jing Sun and Jun Sun and Hai Wang},
TITLE = {{XML-based static type checking and dynamic visualization for TCOZ}},
PAGES = {311-322},
BOOKTITLE = {International Conference on Formal Engineering Methods (ICFEM'02)},
PUBLISHER = {LNCS, Springer-Verlag},
MONTH = OCT,
YEAR = 2002,
ADDRESS = {Shanghai, China}
}
This file has been generated by bibtex2html 1.79