Verifying OWL and ORL Ontologies in PVS.

Jin Song Dong, Yuzhang Feng, Yuan-Fang Li

Browse the full ICTAC paper archive.