Please use this identifier to cite or link to this item:
Title: Verifying OWL and ORL ontologies in PVS
Authors: Dong, J.S. 
Feng, Y.
Li, Y.F. 
Keywords: ORL
Issue Date: 2005
Citation: 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
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)

checked on Sep 22, 2022

Google ScholarTM


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