Please use this identifier to cite or link to this item:
|Title:||Verifying OWL and ORL ontologies in PVS|
|Authors:||Dong, J.S. |
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 13, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.