Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40049
Title: Verifying OWL and ORL ontologies in PVS
Authors: Dong, J.S. 
Feng, Y.
Li, Y.F. 
Keywords: ORL
OWL
PVS
Reasoning
Semantic
Web
Issue Date: 2005
Source: 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.
Abstract: The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and OWL Rules Language (ORL) provides basic machinery to the semantic mark-up for data. However, there is limited tool support for OWL and no tool support currently for ORL. In this paper, we propose to model OWL and ORL language semantics in PVS specification language so that OWL and ORL ontologies can be transformed and verified in the Prototype Verification System (PVS). PVS user-defined proof strategies are also developed to automate the proof process. © Springer-Verlag Berlin Heidelberg 2005.
Source Title: Lecture Notes in Computer Science
URI: http://scholarbank.nus.edu.sg/handle/10635/40049
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

43
checked on Dec 16, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.