@inproceedings{fa34e963149e4ad4b30cf1e24a7a9cf1,
title = "Verifying OWL and ORL ontologies in PVS",
author = "Dong, {Jin Song} and Yuzhang Feng and Yuan-Fang Li",
year = "2005",
language = "English",
isbn = "3540253041",
volume = "3407",
pages = "265 -- 279",
editor = "Zhiming Liu and Keijiro Araki",
booktitle = "Proceedings of the First International Colloquium on Theoretical Aspects of Computing",
publisher = "Springer-Verlag London Ltd.",
address = "Germany",
note = "International Colloquium on Theoretical Aspects of Computing 2005 ; Conference date: 01-01-2005",
}