Verification Test Case Ontology

Table of contents

• 1. Introduction
• 1.1 Namespace declarations
• 2. Verification Test Case: Overview
• 3. Verification Test Case: Description
• 4. Cross reference for Verification Test Case classes, properties and dataproperties
• 4.1 Classes
• 4.2 Object Properties
• 4.3 Data Properties
• 5. References
• 6. Acknowledgements

Acknowledgements back to ToC

The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.