Verifying OWL and ORL ontologies in PVS

Jin Song Dong, Yuzhang Feng, Yuan-Fang Li

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationProceedings of the First International Colloquium on Theoretical Aspects of Computing
EditorsZhiming Liu, Keijiro Araki
Place of PublicationBerlin Germany
PublisherSpringer-Verlag London Ltd.
Pages265 - 279
Number of pages15
Volume3407
ISBN (Print)3540253041
Publication statusPublished - 2005
Externally publishedYes
EventInternational Colloquium on Theoretical Aspects of Computing - Guiyang China, Berlin Germany
Duration: 1 Jan 2005 → …

Conference

ConferenceInternational Colloquium on Theoretical Aspects of Computing
CityBerlin Germany
Period1/01/05 → …

Cite this