Theoretical Aspects of Computing - ICTAC 2004: First ...
Preview
First International Colloquium Guiyand, China, September 20-24, 2004, Revised
Selected Papers Zhiming Liu, Keijiro Araki. Verifying OWL and ORL Ontologies in
PVS Jin Song Dong, Yuzhang Feng⋆, and Yuan Fang Li School of Computing, ...