Verifying OWL and ORL ontologies in PVS

Verifying OWL and ORL ontologies in PVS

Lecture Notes in Computer Science

Saved in:
Bibliographic Details
Main Authors: Dong, J.S., Feng, Y., Li, Y.F.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
ORL
OWL
PVS
Reasoning
Semantic
Web
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40049
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40049
record_format dspace
spelling sg-nus-scholar.10635-400492015-01-07T06:44:04Z Verifying OWL and ORL ontologies in PVS Dong, J.S. Feng, Y. Li, Y.F. COMPUTER SCIENCE ORL OWL PVS Reasoning Semantic Web Lecture Notes in Computer Science 3407 265-279 2013-07-04T07:55:31Z 2013-07-04T07:55:31Z 2005 Conference Paper Dong, J.S.,Feng, Y.,Li, Y.F. (2005). Verifying OWL and ORL ontologies in PVS. Lecture Notes in Computer Science 3407 : 265-279. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/40049 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic ORL
OWL
PVS
Reasoning
Semantic
Web
spellingShingle ORL
OWL
PVS
Reasoning
Semantic
Web
Dong, J.S.
Feng, Y.
Li, Y.F.
Verifying OWL and ORL ontologies in PVS
description Lecture Notes in Computer Science
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Dong, J.S.
Feng, Y.
Li, Y.F.
format Conference or Workshop Item
author Dong, J.S.
Feng, Y.
Li, Y.F.
author_sort Dong, J.S.
title Verifying OWL and ORL ontologies in PVS
title_short Verifying OWL and ORL ontologies in PVS
title_full Verifying OWL and ORL ontologies in PVS
title_fullStr Verifying OWL and ORL ontologies in PVS
title_full_unstemmed Verifying OWL and ORL ontologies in PVS
title_sort verifying owl and orl ontologies in pvs
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40049
_version_ 1681082201063555072

Similar Items